Commit Graph

1257 Commits

Author SHA1 Message Date
Matthew Flatt
2840ee474d added a clone operation to the send window
svn: r2005
2006-01-27 22:01:12 +00:00
Matthew Flatt
903a7c9f37 fix PLAI for revised private contract libs
svn: r2003
2006-01-27 19:38:48 +00:00
Jay McCarthy
a5b5653107 adding predicates
svn: r2001
2006-01-27 15:30:27 +00:00
Eli Barzilay
6962169e70 Welcome to a new PLT day.
svn: r1999
2006-01-27 09:20:02 +00:00
Matthew Flatt
44929bd21b mostly improvements for JIT testing
svn: r1995
2006-01-27 00:51:04 +00:00
John Clements
276fc41e53 date -> date?
svn: r1990
2006-01-26 20:07:10 +00:00
Carl Eastlund
3b3f379d22 Honu: (merging from branch)
- Updated testing framework to use SchemeUnit
- Added generalized environment implementation

svn: r1986
2006-01-26 19:51:30 +00:00
Kathy Gray
90685c3a3b Fixed typo bug
svn: r1982
2006-01-26 17:58:58 +00:00
Eli Barzilay
c1fb966d52 Welcome to a new PLT day.
svn: r1979
2006-01-26 09:20:02 +00:00
Eli Barzilay
e6253449d2 add current version number to the version url
svn: r1978
2006-01-26 08:15:53 +00:00
Carl Eastlund
98e601e72b Honu: merging fix to Honu interactions window into trunk.
svn: r1969
2006-01-25 20:58:25 +00:00
Matthias Felleisen
211b053f74 on-redraw: proc is now called on installation
svn: r1966
2006-01-25 18:39:09 +00:00
Carl Eastlund
f1b37e9793 Honu
tool.ss
- Added comments and contracts to all functions/methods
- Moved all definitions inside Honu language class
- Simplified some functions
- Removed Honu "configuration" option
format.ss
- Started new module for text formatting of Honu values

svn: r1964
2006-01-25 18:33:24 +00:00
Eli Barzilay
252304b43c Welcome to a new PLT day.
svn: r1958
2006-01-25 09:20:02 +00:00
Robby Findler
edc4b96987 improved expansion of -> contract combinator to generate less stuff and got a very slight performance improvement. also split up contract implementation into multiple files
svn: r1956
2006-01-25 04:44:49 +00:00
Jacob Matthews
879307289b A bug fix, an error-message improvement, and new docs.
svn: r1947
2006-01-24 20:15:37 +00:00
Carl Eastlund
114a4dab65 Honu: updating from branch
ast.ss
- Massive name changes for clarity
- Added structure contracts
private/tools/general.ss
- Moved from utils.ss
contract.ss
- Removed define and contract utilities (now using PLaneT tools)

svn: r1946
2006-01-24 19:54:15 +00:00
Jacob Matthews
fbc5fc7555 Misc. bugfixes for exceptional cases
svn: r1945
2006-01-24 19:11:16 +00:00
Jacob Matthews
cfee2d5429 Fixing require that caused a cyclic dependency
svn: r1940
2006-01-24 16:42:05 +00:00
Jacob Matthews
a4adc29d52 .
svn: r1939
2006-01-24 16:41:36 +00:00
Eli Barzilay
aaaefa9bc3 Welcome to a new PLT day.
svn: r1937
2006-01-24 09:20:02 +00:00
Kathy Gray
e9ab189fcb Correction to int/float-double conversions, and Image printing
svn: r1936
2006-01-24 06:46:47 +00:00
Jacob Matthews
2b8e2efbb8 .
svn: r1935
2006-01-23 21:54:13 +00:00
Kathy Gray
8bb5b50cf9 svn: r1934 2006-01-23 21:47:05 +00:00
Jay McCarthy
46b83f1872 strange build-path bug
svn: r1933
2006-01-23 15:30:00 +00:00
Jay McCarthy
30b48f9b68 string->number is the worst
svn: r1932
2006-01-23 15:14:39 +00:00
Eli Barzilay
759365481a Welcome to a new PLT day.
svn: r1931
2006-01-23 09:20:02 +00:00
Jacob Matthews
b8666df469 .
svn: r1930
2006-01-23 06:15:23 +00:00
Robby Findler
a3a3b3ef13 fixed mime.types file
svn: r1929
2006-01-22 21:58:52 +00:00
Robby Findler
b270a847a9 added contract to build-struct-names
svn: r1928
2006-01-22 15:46:46 +00:00
Eli Barzilay
da843fd06c Welcome to a new PLT day.
svn: r1925
2006-01-22 09:20:02 +00:00
Kathy Gray
cbb9f7bdf6 Bug correction for classes with private methods
svn: r1920
2006-01-21 23:14:52 +00:00
Robby Findler
2577fe88f3 merged in Jacob's changes and fixed a few bugs
svn: r1919
2006-01-21 21:36:24 +00:00
Jay McCarthy
5009320ff3 supporting external mime-types file
svn: r1915
2006-01-21 19:10:11 +00:00
Jacob Matthews
b4b965180e Bugfix for package crashing bug
svn: r1914
2006-01-21 19:01:36 +00:00
Robby Findler
4b27eba829 partial fix for the bug where tabs scroll positions move around when switching tabs
svn: r1913
2006-01-21 18:12:56 +00:00
Eli Barzilay
f1c0a36200 Welcome to a new PLT day.
svn: r1912
2006-01-21 09:20:02 +00:00
Robby Findler
417571e4d8 pr 7833
svn: r1910
2006-01-21 02:02:14 +00:00
Jacob Matthews
e9b8eda964 .Added support for creating and deleting development links to the planet cmd-line tool.
svn: r1906
2006-01-20 22:48:29 +00:00
Eli Barzilay
e1df8982ca Welcome to a new PLT day.
svn: r1882
2006-01-20 09:20:01 +00:00
Kathy Gray
581ee0783c Correction to bugs with accessing fields of wrapped java objects, and using == in the presence of dynamic.
svn: r1880
2006-01-20 04:12:33 +00:00
Jacob Matthews
19435656d0 Added support for a hard-link file that will hopefully ease development burdens
svn: r1876
2006-01-20 00:40:38 +00:00
Chongkai Zhu
66074b867f Debug bottum added
svn: r1875
2006-01-19 23:23:27 +00:00
Guillaume Marceau
038c69c3ef implemented pattern matching locations
svn: r1872
2006-01-19 17:43:00 +00:00
Carl Eastlund
24b9e2f5c7 Reverted changes which broke setup-plt.
svn: r1871
2006-01-19 15:05:51 +00:00
Eli Barzilay
7efb1e0db6 fix sorting of "hw1a" "hw1b" etc
svn: r1868
2006-01-19 13:04:41 +00:00
Eli Barzilay
1f7cffecae changing the output file prefix changes some other defaults
svn: r1867
2006-01-19 09:54:00 +00:00
Eli Barzilay
6108f2dafd typo in log message
svn: r1865
2006-01-19 06:35:07 +00:00
Carl Eastlund
830f29891c Honu: continued implementation of contract helpers.
svn: r1860
2006-01-18 23:30:02 +00:00
Carl Eastlund
07c86de139 Honu: BROKEN (will fix in upcoming checkin)
- added current partial changes to todo list
- renamed most ast structs (haven't propagated)
- added contracts to some ast structs (haven't finished)
- removed define,provide,contract helpers from utils.ss
- started contracts.ss for those and others
- began writing define-structs,provide,contract
  for defining hierarchies of structs at once

svn: r1859
2006-01-18 22:54:17 +00:00
Eli Barzilay
bebce2bb3d Welcome to a new PLT day.
svn: r1857
2006-01-18 09:20:02 +00:00
Kathy Gray
455a1c65a7 Bug fixes for inheriting from a compiled class (loss of modifiers), inner class lookup in composite files, and
code to recompile java files when the version number changes.

svn: r1856
2006-01-18 05:18:15 +00:00
Carl Eastlund
3bdd7c603d Updated Honu goals
svn: r1855
2006-01-17 23:52:17 +00:00
Carl Eastlund
8efd89de41 Honu:
- Updated todo list
- Promoted "name" field of member ASTs to member (rather than field/method/etc.)
- Added false? function
- Added extend-fenv for formal parameters
- Removed class env (folded in with lexical env)
- Added abstraction for member names of a type
- Added abstractions for enforcing distinct types and names
- Updated mixin typing rule

svn: r1854
2006-01-17 23:07:15 +00:00
Kathy Gray
6a2fb814ea Corrected a bug where empty boxes were not being erased of cue-text after
the first focus. Added a call to clear-cue-text on write.

svn: r1853
2006-01-17 22:29:15 +00:00
Matthew Flatt
f81cf986b5 Java example boxes: omit cue text from save-and-loaded or cut-and-paste boxes
svn: r1850
2006-01-17 20:35:57 +00:00
Eli Barzilay
9e6f6a67b0 removed debugging line
svn: r1849
2006-01-17 20:24:44 +00:00
Matthew Flatt
6bfe687783 put mzscheme in charge of freeing getaddrinfo records that it creates
svn: r1848
2006-01-17 19:45:27 +00:00
Eli Barzilay
b1442e74c4 deal with :eval? properly
svn: r1846
2006-01-17 10:40:06 +00:00
Eli Barzilay
7f8bb5c68f Welcome to a new PLT day.
svn: r1845
2006-01-17 09:20:02 +00:00
Eli Barzilay
513fcbca40 fix and set svn:eol-style
svn: r1843
2006-01-16 20:32:19 +00:00
Jay McCarthy
7a35f717ba adding test
svn: r1842
2006-01-16 20:00:21 +00:00
Robby Findler
12c7c0b6c6 added this, bound in ->r and ->pp contracts, when used in object-contract
svn: r1841
2006-01-16 18:42:11 +00:00
Carl Eastlund
d93594fe2a Honu: Added todo list to cce-notes.txt
svn: r1840
2006-01-16 18:25:03 +00:00
Eli Barzilay
ac89eb6ef2 Welcome to a new PLT day.
svn: r1839
2006-01-16 09:20:01 +00:00
Eli Barzilay
af997454e0 gui fix?
svn: r1838
2006-01-16 07:39:35 +00:00
Carl Eastlund
48a8dac067 Honu:
tenv.ss
- Moved provides to end of file
typecheck-utils.ss
- Added check-valid-types!
typechecker.ss
- Used check-valid-types!
- Added helpers for mixin name checking

svn: r1837
2006-01-15 22:05:40 +00:00
Eli Barzilay
029beb046a fix and set svn:eol-style
svn: r1836
2006-01-15 19:08:07 +00:00
Carl Eastlund
e90709d65c Changed names of some typechecking functions.
svn: r1835
2006-01-15 18:57:34 +00:00
Carl Eastlund
10d276dd7b Honu:
util.ss
- Added curry function
- Reorganized provide list
typecheck-utils.ss
- Added module of general typechecker helpers
typechecker.ss
- Made use of typecheck-utils.ss

svn: r1834
2006-01-15 18:53:00 +00:00
Carl Eastlund
fde1701b71 Honu: split up typecheck-defns into separate functions.
svn: r1832
2006-01-15 17:24:00 +00:00
Eli Barzilay
ca2fc959c2 Welcome to a new PLT day.
svn: r1830
2006-01-15 09:20:02 +00:00
Eli Barzilay
26b1b6207d Welcome to a new PLT day.
svn: r1825
2006-01-13 13:09:51 +00:00
Eli Barzilay
665a396d6b type
svn: r1824
2006-01-13 13:01:32 +00:00
Eli Barzilay
c311a402bc added plaintext password option
svn: r1823
2006-01-13 12:38:47 +00:00
Eli Barzilay
55da91c556 fix minor gui bug
svn: r1822
2006-01-13 10:29:48 +00:00
John Clements
de85dc16e7 ...
svn: r1818
2006-01-12 23:57:44 +00:00
John Clements
b5d041c429 ...
svn: r1817
2006-01-12 23:57:31 +00:00
John Clements
634d76c5af ...
svn: r1816
2006-01-12 22:34:11 +00:00
John Clements
2ab94a5bf3 ...
svn: r1815
2006-01-12 18:15:22 +00:00
Jay McCarthy
5426be858d better url decoding
svn: r1814
2006-01-12 15:25:21 +00:00
John Clements
8012ebb396 ...
svn: r1813
2006-01-12 08:34:10 +00:00
Jay McCarthy
723bf14c5b fixing url induced bugs
svn: r1811
2006-01-12 00:33:25 +00:00
Eli Barzilay
4f4a6353c0 it is now possible to have hidden user fields
svn: r1810
2006-01-12 00:24:42 +00:00
Eli Barzilay
3cd38a3d25 it is now possible to have hidden user fields
svn: r1809
2006-01-12 00:21:45 +00:00
Eli Barzilay
7a0fc6091a get only extra field names from the server
svn: r1808
2006-01-11 23:21:04 +00:00
Eli Barzilay
26531d4405 if there is no config file, use defaults instead of throwing an error
svn: r1807
2006-01-11 21:47:52 +00:00
Eli Barzilay
1d0d583739 doc typo
svn: r1806
2006-01-11 20:59:06 +00:00
Jay McCarthy
efdc8a6486 url bugs
svn: r1805
2006-01-11 16:10:43 +00:00
Jay McCarthy
38c86f0638 remove bogus test directory
svn: r1804
2006-01-11 12:55:17 +00:00
Eli Barzilay
32199bbe11 fix and set svn:eol-style
svn: r1802
2006-01-11 09:03:18 +00:00
Eli Barzilay
49dc4350a4 fix and set svn:eol-style
svn: r1801
2006-01-11 08:51:52 +00:00
Eli Barzilay
f10e1e5b29 set svn:eol-style
svn: r1800
2006-01-11 08:48:17 +00:00
John Clements
4940782d12 added string? & vector? to check-arg
svn: r1799
2006-01-10 22:21:46 +00:00
John Clements
c7ae528945 slightly better error messages from check-arg
svn: r1798
2006-01-10 22:15:42 +00:00
Greg Cooper
33dbc6f4ef - fixed a doc bug
svn: r1797
2006-01-10 19:05:47 +00:00
Greg Cooper
fdb7c27f6d -cleaned up the gui demos and added Dan's new spreadsheet and documentation
svn: r1796
2006-01-10 17:33:31 +00:00
Eli Barzilay
c43bffa4c0 Welcome to a new PLT day.
svn: r1794
2006-01-10 09:20:02 +00:00
Greg Cooper
2ae50edfbf - added gui wrapper and merged its documentation with top-level frtime doc.txt
svn: r1793
2006-01-09 23:17:52 +00:00
Robby Findler
179f9ce01d removed reduction-semantics collection
svn: r1791
2006-01-09 18:09:28 +00:00