Commit Graph

8445 Commits

Author SHA1 Message Date
Robby Findler
567ef6d95c added half-assed prompt-avoiding control-a keybinding
svn: r12089
2008-10-21 23:02:37 +00:00
Robby Findler
505cc65181 added note about experimenting with contracts
svn: r12088
2008-10-21 21:24:49 +00:00
Sam Tobin-Hochstadt
0ec881dc60 Fix type of odd and even.
svn: r12086
2008-10-21 20:55:07 +00:00
Eli Barzilay
b349b4baa2 look -- a let!
svn: r12085
2008-10-21 19:52:40 +00:00
Eli Barzilay
695c8979ec caml -> camel aka gamal
svn: r12084
2008-10-21 18:43:23 +00:00
Sam Tobin-Hochstadt
3a99284745 New error handling for type parsing errors.
New error type that is both top/bot.
Fix provide handling if identifier is provided twice.
Note that require/typed is really a definition.
Fix require of #%kernel.

svn: r12083
2008-10-21 18:01:03 +00:00
Sam Tobin-Hochstadt
c6c4a049ee Add new test for better error reporting.
svn: r12082
2008-10-21 17:58:57 +00:00
Eli Barzilay
428d407045 typed-scheme tests fail enough to create a lot of noise
svn: r12081
2008-10-21 14:47:01 +00:00
Matthew Flatt
d8a5a4e1c6 fix macro-introduced define-values-for-syntax in HtDP languages
svn: r12080
2008-10-21 11:26:35 +00:00
Eli Barzilay
facb6648bb Welcome to a new PLT day.
svn: r12079
2008-10-21 07:50:09 +00:00
Mike Sperber
f26fcdd82c Add `stepper-skipto/discard' property.
Like stepper-skipto, but discards the context.  This is for the
contracts implementation in the DMdA teaching languages.

svn: r12078
2008-10-21 07:06:48 +00:00
Matthew Flatt
e2d4bc0d2b finish decompiler on syntax objects
svn: r12077
2008-10-21 00:10:47 +00:00
Robby Findler
122f8d41dc PR 9852
svn: r12076
2008-10-20 20:08:05 +00:00
Sam Tobin-Hochstadt
b173fb073e revert this change to fix drscheme.
svn: r12075
2008-10-20 20:04:15 +00:00
Sam Tobin-Hochstadt
714e356fb4 revert previous change
svn: r12074
2008-10-20 19:01:52 +00:00
Sam Tobin-Hochstadt
aad41cc46e require/typed is really a definition for the purpose of provide.
svn: r12073
2008-10-20 16:55:55 +00:00
Sam Tobin-Hochstadt
2b4a60ced6 Document singleton symbol types.
svn: r12072
2008-10-20 14:04:10 +00:00
Eli Barzilay
79b0487270 Welcome to a new PLT day.
svn: r12070
2008-10-20 07:50:09 +00:00
Eli Barzilay
d90bf83f8c fix output contract (see PR9845)
svn: r12069
2008-10-20 03:28:01 +00:00
Eli Barzilay
72198bf856 a little improvement (see PR9847) but still not working
svn: r12068
2008-10-20 02:52:23 +00:00
Matthias Felleisen
d5e3fdf639 svn: r12067 2008-10-20 02:24:04 +00:00
Robby Findler
a559c81d63 svn: r12066 2008-10-19 12:40:31 +00:00
Matthew Flatt
46af55311d regexp contract refinemenets (follow-up on PR 9840)
svn: r12065
2008-10-19 11:20:13 +00:00
Eli Barzilay
a81f0b07db Welcome to a new PLT day.
svn: r12064
2008-10-19 07:50:11 +00:00
Robby Findler
860bbfe0a0 svn: r12063 2008-10-19 03:03:45 +00:00
Robby Findler
2288db4fc9 modernized notation
svn: r12059
2008-10-18 15:00:53 +00:00
Eli Barzilay
1d1aea5b2b Welcome to a new PLT day.
svn: r12055
2008-10-18 07:50:10 +00:00
Eli Barzilay
5e323e53b7 conract fixes (PR9840)
svn: r12053
2008-10-17 14:57:12 +00:00
Eli Barzilay
33bfa42df4 nice memory printout
svn: r12052
2008-10-17 08:36:29 +00:00
Eli Barzilay
c1d1405150 Welcome to a new PLT day.
svn: r12051
2008-10-17 07:50:18 +00:00
Eli Barzilay
ec506bc5e3 reorganize code a little
svn: r12049
2008-10-17 01:36:14 +00:00
Danny Yoo
614b8757de Fixed typo in time-apply's documentation.
svn: r12048
2008-10-16 14:48:37 +00:00
Eli Barzilay
a0eafb1e8d Welcome to a new PLT day.
svn: r12047
2008-10-16 07:50:11 +00:00
Matthew Flatt
7a55275a26 unit bug fixes related to new scoping of signature elements; change scribble/manual to compute ids typeset as variables at compile time, in preparation for moving from a parameter to syntax bindings; fix docs typos; extend decompiler's support for unmarshaling syntax objects
svn: r12046
2008-10-15 22:23:56 +00:00
Eli Barzilay
61aa266525 typo (PR9836)
svn: r12045
2008-10-15 19:34:22 +00:00
Robby Findler
2e9ac659bd svn: r12044 2008-10-15 13:00:01 +00:00
Robby Findler
eb7d9be3f0 fixed the contract? predicate so that it recognizes thigns that aren't yet turned into contract structs
svn: r12043
2008-10-15 12:54:37 +00:00
Eli Barzilay
f3d72831bb Welcome to a new PLT day.
svn: r12042
2008-10-15 07:50:10 +00:00
John Clements
44ff646c50 fixed incorrect change of appendbang to append, added test/exn
svn: r12041
2008-10-15 07:35:45 +00:00
Eli Barzilay
05db2f04af allow the arrow to appear anywhere (since no inputs is a possible case)
svn: r12039
2008-10-14 19:07:27 +00:00
Eli Barzilay
9cc7f90a0a Allow an implicit paren for (: <id> : T ... -> T)
svn: r12038
2008-10-14 18:44:05 +00:00
Kathy Gray
20e8888dad Turned blank window into a window with sensible content instead
svn: r12037
2008-10-14 16:44:20 +00:00
Sam Tobin-Hochstadt
e802682c4d add args to error
svn: r12036
2008-10-14 16:34:14 +00:00
Kathy Gray
c8dce8dccd Erase the contents of a test report after success.
svn: r12035
2008-10-14 16:29:24 +00:00
Sam Tobin-Hochstadt
453deb8a5d Better error message for extra ->.
svn: r12034
2008-10-14 15:58:34 +00:00
Robby Findler
b3701d6f76 PR 9833
svn: r12033
2008-10-14 13:52:25 +00:00
Matthew Flatt
8b595ed120 make-syntax-delta-introducer and adjusted binding in scheme/unit forms
svn: r12032
2008-10-14 13:27:43 +00:00
Eli Barzilay
62cfa88381 Welcome to a new PLT day.
svn: r12031
2008-10-14 07:50:08 +00:00
Matthew Flatt
81dfc14cc6 remove search box for Scribble HTML output unless requested; move some hardwired styles to CSS file
svn: r12029
2008-10-14 01:53:34 +00:00
Matthew Flatt
bad81f8bcd small edits to contract docs
svn: r12028
2008-10-14 00:13:12 +00:00
Robby Findler
7ace3962fa improved overview a little
svn: r12027
2008-10-13 22:31:43 +00:00
Matthew Flatt
d3397103a8 add some datatype deftechs
svn: r12026
2008-10-13 21:36:18 +00:00
Robby Findler
2ef287f107 added empty as a coerceable value
svn: r12025
2008-10-13 21:09:18 +00:00
Matthew Flatt
d3e26ef74d fix missing page numbers in index of latex output
svn: r12024
2008-10-13 20:34:45 +00:00
Matthew Flatt
077e5a4666 change reference and some other docs to use #f instead of false/c and or/c insteda of one-of/c
svn: r12023
2008-10-13 19:45:37 +00:00
Eli Barzilay
beec99c12e make-Listof -> -lst
svn: r12021
2008-10-13 17:17:30 +00:00
Carl Eastlund
cbe1b2dce4 Fixed scribble typesetting error in GUI docs.
svn: r12020
2008-10-13 16:43:24 +00:00
Sam Tobin-Hochstadt
6a0b9b4e20 Fix type of error.
svn: r12019
2008-10-13 16:22:52 +00:00
Matthew Flatt
ec68bafa9c add eqv hash tables; add hash-update
svn: r12018
2008-10-13 16:21:18 +00:00
Eli Barzilay
c08e09ae6c list-tail
svn: r12017
2008-10-13 16:16:18 +00:00
Eli Barzilay
72f8e1d3e6 rem{ove,q,v} and rem[qv]*
svn: r12016
2008-10-13 15:58:29 +00:00
Eli Barzilay
fd89ef7d41 gcd & lcm, move sqrt with its friends
svn: r12015
2008-10-13 15:56:06 +00:00
Eli Barzilay
b58b3d72fc sleep and time-apply
svn: r12014
2008-10-13 15:51:02 +00:00
Eli Barzilay
b9866e0af2 trigonometric functions
svn: r12013
2008-10-13 15:48:46 +00:00
Eli Barzilay
dbadf365a3 bitwise functions
svn: r12012
2008-10-13 15:47:52 +00:00
Eli Barzilay
757c51957e Some more arithmetic functions
svn: r12011
2008-10-13 15:47:24 +00:00
Eli Barzilay
d5028463f2 bad non-typo fix, go back, and change to Univ
svn: r12010
2008-10-13 15:42:53 +00:00
Eli Barzilay
86d70f52d8 some more sensible grouping of similar functions
svn: r12009
2008-10-13 15:42:19 +00:00
Eli Barzilay
1beabaf5e8 capitalization typo
svn: r12008
2008-10-13 15:37:16 +00:00
Eli Barzilay
e114ca005e * Grouped the ass* functions
* Made them all use -opt

svn: r12007
2008-10-13 15:36:59 +00:00
Eli Barzilay
f4ae28d714 use all of scheme/list, so the types for first and friends actually works
svn: r12006
2008-10-13 15:33:06 +00:00
Eli Barzilay
fea96706f1 (random) returns a floating point number
svn: r12005
2008-10-13 15:32:17 +00:00
Eli Barzilay
0209663ec7 * Move write' next to display'
* Make it have the same type (can write anything)
* Add `print' with the same type

svn: r12004
2008-10-13 15:30:55 +00:00
Eli Barzilay
9ba08bc558 minor reformatting (brackets, spaces, indents)
svn: r12003
2008-10-13 15:29:13 +00:00
Casey Klein
9e316c3162 1. Improved support for generating random numbers.
2. Fixed bug in find-base-cases.

svn: r12002
2008-10-13 15:19:13 +00:00
Robby Findler
86671cf6dc PR 9814
svn: r12001
2008-10-13 13:45:55 +00:00
Eli Barzilay
b9cbd0a5c8 Welcome to a new PLT day.
svn: r12000
2008-10-13 07:50:10 +00:00
Robby Findler
4c010b7d4a fixed PR 9770
svn: r11999
2008-10-13 00:53:23 +00:00
Matthew Flatt
198b05897b adjust HTML rendering of paragraphs as table cells; avoiding 'p' tags makes cut-and-paste work better
svn: r11998
2008-10-12 16:14:39 +00:00
Matthew Flatt
4fe97848b2 fix HTML problems that affect Opera; add ++style to scribble executable; fix some Latex back-end issues
svn: r11997
2008-10-12 15:53:49 +00:00
Eli Barzilay
e1c4040072 Welcome to a new PLT day.
svn: r11995
2008-10-12 07:50:11 +00:00
Eli Barzilay
2bd0019110 register-finalizer is not unsafe
svn: r11994
2008-10-12 06:13:46 +00:00
Matthew Flatt
b46a5091ba fix change that avoids re-running documents just to get xref information when the .sxref files are up-to-date
svn: r11993
2008-10-12 01:49:42 +00:00
Eli Barzilay
078ce5f8c6 removed unused leftover file
svn: r11992
2008-10-11 19:17:17 +00:00
Eli Barzilay
cff6f07259 fix whitespace before open-brace issues
svn: r11991
2008-10-11 19:09:50 +00:00
Robby Findler
161f9301f4 clicking in the whitespace between circles no longer counts as your turn
svn: r11990
2008-10-11 18:17:20 +00:00
Matthew Flatt
95fa65b7b3 fix great awlful memory leak in scribble's collect phase (which was exposed most clearly by the web-server tutorial); change in.sxref to be use fasl (bytecode) format
svn: r11989
2008-10-11 14:50:22 +00:00
Eli Barzilay
14c4931da3 Welcome to a new PLT day.
svn: r11987
2008-10-11 07:50:11 +00:00
Eli Barzilay
4f57cbbf37 fix flushing issue
svn: r11986
2008-10-10 09:58:18 +00:00
Eli Barzilay
31c55616a9 Welcome to a new PLT day.
svn: r11985
2008-10-10 07:50:11 +00:00
Casey Klein
b2ce9f4cd3 1. Fixed bug in reduction-semantics.ss.
2. Fixed bug in generation of 'any pattern.
3. Added `check-metafunction' form.

svn: r11984
2008-10-09 19:09:11 +00:00
Eli Barzilay
18f05a6823 Welcome to a new PLT day.
svn: r11983
2008-10-09 07:50:08 +00:00
Eli Barzilay
a51ea08cb4 fix a bug, when there is no user field
svn: r11982
2008-10-09 01:33:35 +00:00
Eli Barzilay
98c8abeb3b use >>> for a marker, like the build does
svn: r11978
2008-10-08 16:09:45 +00:00
Sam Tobin-Hochstadt
3db02a50e1 Fix inference for simple fns with ...
svn: r11977
2008-10-08 15:34:05 +00:00
Eli Barzilay
c5b666026a Welcome to a new PLT day.
svn: r11970
2008-10-08 07:50:22 +00:00
Sam Tobin-Hochstadt
665da912c8 New test for bug found by eli.
svn: r11969
2008-10-07 21:55:45 +00:00
Sam Tobin-Hochstadt
dbf4462228 Fix bug in inference when tvars in env.
svn: r11968
2008-10-07 21:55:25 +00:00
Matthew Flatt
89f2315374 fix bug in exe creation where 'lib runtime-paths could be mis-parsed as mzlib paths
svn: r11966
2008-10-07 16:00:36 +00:00
Matthew Flatt
82ad7da253 change -S, -X, and -z flags for mz/mr
svn: r11964
2008-10-07 14:56:26 +00:00
Eli Barzilay
98975fc524 move the reader of make-module-evaluator inside the user context jail
svn: r11963
2008-10-07 14:20:18 +00:00
Eli Barzilay
bbceacae84 turn on read-accept-reader in the default-sandbox-reader
svn: r11962
2008-10-07 14:14:59 +00:00
Eli Barzilay
9f3161cf24 doc clarifications
svn: r11961
2008-10-07 14:14:23 +00:00
Eli Barzilay
0899471d32 use the default language if there was an error reading the preference file
svn: r11960
2008-10-07 14:07:56 +00:00
Matthew Flatt
06efa91709 scheme_malloc_code and scheme_free_code
svn: r11958
2008-10-07 11:58:51 +00:00
Eli Barzilay
8217dddd56 * The module-path place is now optional, and #:language can be used
with an expression (evaluated as usual, not quoted), or with a thunk
  that is invoked before reading the body begins.
* Added some missing tests that were not used for some reason...
* Some other documentation improvements.
* Improved the code a little more.

svn: r11957
2008-10-07 10:56:29 +00:00
Eli Barzilay
da389b03a9 better code layout (easier to add new options)
svn: r11956
2008-10-07 07:53:50 +00:00
Eli Barzilay
d2bd4c050e * Added (module <lang>) as a specification for using
`make-module-evaluator' accepting only modules with the specified
  language.
* Fix a bug with deciding on how to convert values for printing.
* Improved code in checker.ss.

svn: r11955
2008-10-06 21:44:23 +00:00
Eli Barzilay
433819df52 Added a #:language argument to `make-module-evaluator' to enforce a
particular language module.

svn: r11954
2008-10-06 21:34:24 +00:00
Sam Tobin-Hochstadt
c953007f63 Fix automated TS tests.
svn: r11953
2008-10-06 19:41:30 +00:00
Eli Barzilay
499fc08d0d set props and a little better code for syntax in scribble file
svn: r11952
2008-10-06 17:24:16 +00:00
Eli Barzilay
dd20d88776 Welcome to a new PLT day.
svn: r11950
2008-10-06 07:50:04 +00:00
Eli Barzilay
f205e32302 clarify and give an example for PLTCOLLECTS
svn: r11949
2008-10-06 04:52:21 +00:00
Robby Findler
c556fd74aa svn: r11948 2008-10-06 03:42:33 +00:00
Robby Findler
d2d85b39b3 cleaned up chat noir
svn: r11947
2008-10-06 02:32:37 +00:00
Robby Findler
a01a8a962f svn: r11946 2008-10-05 23:12:37 +00:00
Eli Barzilay
191d6fbf48 set svn:* props
svn: r11945
2008-10-05 21:39:14 +00:00
Robby Findler
baf98c4136 added chat noir
svn: r11944
2008-10-05 20:32:26 +00:00
Eli Barzilay
115e2d9b91 Welcome to a new PLT day.
svn: r11941
2008-10-05 04:43:23 +00:00
Eli Barzilay
062152e711 fixed PR9806 and PR9807
svn: r11940
2008-10-05 04:42:48 +00:00
Eli Barzilay
9c92ce8cc9 disable htdp languages context for now
svn: r11939
2008-10-05 04:17:26 +00:00
Eli Barzilay
a1bbd7dd3c oops, revert this line
svn: r11938
2008-10-05 03:41:17 +00:00
Eli Barzilay
2899c1f1cc planet-requires moved to tests/typed-scheme/util-tests
svn: r11937
2008-10-05 03:40:55 +00:00
Eli Barzilay
0d6a9d73dc proper fix for the latex problem (blockquote was used unnecessarily)
svn: r11936
2008-10-05 02:23:21 +00:00
Eli Barzilay
76172dd0f3 bad hack to make compilation go through
svn: r11935
2008-10-04 21:20:35 +00:00
Eli Barzilay
202535a7f4 typo
svn: r11934
2008-10-04 20:33:22 +00:00
Eli Barzilay
4dbd674671 Welcome to a new PLT day.
svn: r11933
2008-10-04 19:16:54 +00:00
Eli Barzilay
8d06e0c707 rename holder -> keep
svn: r11932
2008-10-04 19:10:38 +00:00
Eli Barzilay
2886a95318 * Exported `cvector-ptr'
* Added `#:hold' to `_fun' for callbacks (will be changed to `#:keep'
  soon, but better to have a checkpoint)
* _cprocedure also has a `hold' argument, and is now using keyword
  arguments (it was getting crowded in the optional arguments
  department)
* Documented everything that changed, with a longish descrption for
  options for holding callback values.
* More tests, including tests for callbacks that would crash if the
  callback values are not held.

svn: r11931
2008-10-04 19:01:17 +00:00
Matthias Felleisen
b51e02b81a revised world documentation
svn: r11927
2008-10-02 20:25:20 +00:00
Matthias Felleisen
df9ce08681 revised world documentation
svn: r11926
2008-10-02 20:21:15 +00:00
Robby Findler
a7217aed0e improved error checking when the response is badly malformed
svn: r11925
2008-10-02 19:49:33 +00:00
Matthew Flatt
e99645136b fix sirmail header checking, since encoding was moved to later
svn: r11924
2008-10-02 11:54:03 +00:00
Matthew Flatt
ab864d4888 declare htdp/image as original source for docs
svn: r11923
2008-10-01 22:17:45 +00:00
Matthew Flatt
37d6c77066 fix docs for bibliography
svn: r11922
2008-10-01 16:04:05 +00:00
Matthew Flatt
6c2f070bb8 fix docs for bib-entry
svn: r11921
2008-10-01 15:59:46 +00:00
Matthew Flatt
7c88dd9c2a fix PS citation typesetting
svn: r11920
2008-10-01 15:56:17 +00:00
Matthew Flatt
01c2214d80 doc clarifications on dc-path
svn: r11919
2008-10-01 15:54:36 +00:00
Matthew Flatt
1097cb35a6 add ++xref-in flag to scribble
svn: r11918
2008-10-01 13:03:06 +00:00
Matthew Flatt
086f3c3b44 fix int-def context binding problems, fix scheme/splicing, change rnrs/base-6 to use scheme/splicing
svn: r11917
2008-09-30 22:03:55 +00:00
Robby Findler
33d52cb379 performance improvement
svn: r11916
2008-09-30 20:18:55 +00:00
Matthew Flatt
d6ba5a2820 minor typos in FFI doc
svn: r11914
2008-09-30 14:37:46 +00:00
Matthew Flatt
a529b45e7c add __isnan and __isinf (PR 9802)
svn: r11911
2008-09-30 12:08:09 +00:00
Eli Barzilay
2ee9f2979c Welcome to a new PLT day.
svn: r11910
2008-09-30 07:50:08 +00:00
Chongkai Zhu
cd8e24b02b fix equal?
svn: r11909
2008-09-30 01:46:37 +00:00
Robby Findler
07cfcb4f07 updated tests for newest stuff
svn: r11908
2008-09-29 21:06:13 +00:00
Robby Findler
025c1d2637 removed the (useless) mouse-over-the-overview-window-and-it-shows-you-one-line-of-text feature because it made the window jump around in annoying ways and made clicking on the overview window not work properly
svn: r11907
2008-09-29 18:44:27 +00:00
Sam Tobin-Hochstadt
b81ba54dae fix for automated running
svn: r11903
2008-09-29 15:15:50 +00:00
Kathy Gray
5844ef4a3d Corrected error in using libraries
svn: r11902
2008-09-29 15:09:29 +00:00
Robby Findler
0ad2b06c66 added shift-return to go backwards
svn: r11901
2008-09-29 13:51:42 +00:00
Eli Barzilay
772760f197 Welcome to a new PLT day.
svn: r11899
2008-09-29 07:50:10 +00:00
Eli Barzilay
ad2928e32a typo (PR9789)
svn: r11898
2008-09-28 22:59:34 +00:00
Eli Barzilay
d892cb243e * Move the help functionality into the search collection, so it is not
packaged with the mzscheme distribution
* Make scheme/help throw a helpful message if the file is missing

svn: r11896
2008-09-28 20:43:13 +00:00
Eli Barzilay
6342131e6d fix dropping of duplicate items & multi-line items
svn: r11895
2008-09-28 20:42:18 +00:00
Eli Barzilay
ab9e4edc85 Welcome to a new PLT day.
svn: r11894
2008-09-28 07:50:14 +00:00
Robby Findler
a2314a8f0e fixed a bug in the last commit
svn: r11893
2008-09-28 04:12:23 +00:00
Robby Findler
eadcced90d some attempts to lower the profj footprint
svn: r11892
2008-09-28 04:06:33 +00:00
Eli Barzilay
232c61be27 Welcome to a new PLT day.
svn: r11890
2008-09-27 07:50:23 +00:00
Eli Barzilay
c8be2b6f57 make _cpointer types return the result of the scheme->c function, if any
svn: r11888
2008-09-27 06:35:08 +00:00
Eli Barzilay
856fb22152 use 'infinity instead of +inf.0 for pretty-print
fix error messages to use ~e instead of ~s

svn: r11887
2008-09-27 02:19:47 +00:00
Eli Barzilay
4efab4f12f removed some unnecessary old autoloading, reformat some stuff
svn: r11886
2008-09-27 02:12:02 +00:00
Eli Barzilay
59b1eea0bc fixed help with #:search, made most of the help-related overhead loaded when help is used
svn: r11885
2008-09-27 02:07:59 +00:00
Eli Barzilay
989a17ede4 added master
svn: r11884
2008-09-26 20:40:11 +00:00
Robby Findler
d1b2bf63c7 added metafunction result caching
svn: r11883
2008-09-26 16:13:03 +00:00
Eli Barzilay
c0bc68f35b pull out the right bindings from the right places
svn: r11882
2008-09-26 13:16:02 +00:00
Sam Tobin-Hochstadt
98c02cb887 Fix handling of explicit maker in tc-struct.
svn: r11881
2008-09-26 12:23:33 +00:00
Eli Barzilay
63397d1edd Welcome to a new PLT day.
svn: r11880
2008-09-26 07:50:16 +00:00
Eli Barzilay
e328ad4136 stupid typo
svn: r11878
2008-09-25 20:41:39 +00:00
Eli Barzilay
fa86e9ee9f minor formatting
svn: r11877
2008-09-25 20:07:07 +00:00
Eli Barzilay
0c6b7c4e26 fix typo
svn: r11876
2008-09-25 19:57:33 +00:00
Sam Tobin-Hochstadt
cd6a37ff4c Fix error in use of tc-error/delayed.
Fix expansion of with-handlers:
add test

svn: r11875
2008-09-25 19:35:00 +00:00
Eli Barzilay
9373be4b3d some macro cleanup
svn: r11874
2008-09-25 19:21:01 +00:00
Eli Barzilay
7695ee44e3 added !eval and documented it
svn: r11873
2008-09-25 19:17:50 +00:00
Sam Tobin-Hochstadt
77e9b026b3 fix type of assq
svn: r11872
2008-09-25 15:56:55 +00:00
Sam Tobin-Hochstadt
23db0aa366 Add test for assq
svn: r11871
2008-09-25 14:55:36 +00:00
Sam Tobin-Hochstadt
814bfb189e Test for print-convert of keyword.
svn: r11870
2008-09-25 14:53:55 +00:00
Eli Barzilay
8380372d46 oops
svn: r11869
2008-09-25 08:43:11 +00:00
Eli Barzilay
3b6ca1b7a6 Welcome to a new PLT day.
svn: r11868
2008-09-25 07:50:14 +00:00
Eli Barzilay
18d0028d35 Added `guess' as a fake teachpack. See additional note in
"overridden-collects/readme.txt".

svn: r11866
2008-09-25 07:05:48 +00:00
Eli Barzilay
b465a25656 teachpacks -> requires (keep :teachpacks for compatibility)
svn: r11865
2008-09-25 06:26:18 +00:00
Matthew Flatt
cc5a495f87 fix SRFI 63 'equal?'
svn: r11864
2008-09-25 05:17:57 +00:00
Eli Barzilay
516647216d some more stuff about text related options
svn: r11862
2008-09-25 00:34:23 +00:00
Eli Barzilay
d981ea63ec fix the make-evaluator call
svn: r11861
2008-09-24 23:23:19 +00:00
Eli Barzilay
95526fbc5a formatting
svn: r11860
2008-09-24 20:38:57 +00:00
Eli Barzilay
6bb96f95b0 minor
svn: r11859
2008-09-24 20:14:56 +00:00
Eli Barzilay
943b22ebeb set svn:eol-style
svn: r11858
2008-09-24 20:08:05 +00:00
Sam Tobin-Hochstadt
15e7be91f5 Reorg to separate out files.
svn: r11857
2008-09-24 19:56:48 +00:00
Sam Tobin-Hochstadt
9b6a8d2e5a Fix print-convert on keywords.
svn: r11856
2008-09-24 19:55:52 +00:00
Sam Tobin-Hochstadt
89171c0329 Make contract error regexps more flexible.
svn: r11855
2008-09-24 19:55:29 +00:00
Eli Barzilay
ea52bc06ad more clarifications
svn: r11854
2008-09-24 19:02:34 +00:00
Eli Barzilay
06baadf3a8 clarify the docs for text-related options
svn: r11853
2008-09-24 18:41:49 +00:00
Eli Barzilay
d35ceb9f4f better to use begin
svn: r11852
2008-09-24 18:05:46 +00:00
Sam Tobin-Hochstadt
9c08df4789 Add kw test
svn: r11850
2008-09-24 14:03:25 +00:00
Sam Tobin-Hochstadt
81b9f63852 Remove output redirection.
svn: r11849
2008-09-24 14:02:20 +00:00
Eli Barzilay
6d93ceb809 Welcome to a new PLT day.
svn: r11848
2008-09-24 07:50:16 +00:00
Eli Barzilay
956e290b03 use mred-text in the instructions for starting the server
svn: r11847
2008-09-24 04:01:59 +00:00
Eli Barzilay
5b70b732a5 remove old unnecessary function definition
svn: r11845
2008-09-23 20:46:58 +00:00
Robby Findler
cde0dc2566 svn: r11843 2008-09-23 13:56:47 +00:00
Eli Barzilay
add3676853 Welcome to a new PLT day.
svn: r11842
2008-09-23 07:50:13 +00:00
Sam Tobin-Hochstadt
917307bd2e Fix delay/force.
svn: r11841
2008-09-22 21:37:13 +00:00
Eli Barzilay
9728740294 sample code for diverting searches somewhere online
svn: r11840
2008-09-22 20:05:38 +00:00
Robby Findler
ba975f0ed2 added plt version to bug report submission
svn: r11839
2008-09-22 19:58:20 +00:00
Sam Tobin-Hochstadt
091089f27d add char?
svn: r11838
2008-09-22 18:37:48 +00:00
Sam Tobin-Hochstadt
88d44f9c5b Catch error before internal error, more informative internal error.
svn: r11837
2008-09-22 18:35:24 +00:00
Sam Tobin-Hochstadt
e7a7036a48 Fix internal errors in error reporting.
svn: r11836
2008-09-22 18:09:49 +00:00
Matthias Felleisen
52b9740042 added an example
svn: r11835
2008-09-22 18:07:36 +00:00
Matthew Flatt
ce10c4a5fc fix 'module-langugage tracking
svn: r11832
2008-09-22 13:08:40 +00:00
Eli Barzilay
afb21c32b5 Welcome to a new PLT day.
svn: r11831
2008-09-22 07:50:18 +00:00
Eli Barzilay
f5a019f23d better message if no results and we have a context
svn: r11830
2008-09-22 04:30:31 +00:00
John Clements
862aff6f6d added kill-enclosing-parens (c:c,c:e)
svn: r11829
2008-09-22 01:15:48 +00:00
John Clements
ed306e1e18 documented kill-enclosing-parens
svn: r11828
2008-09-22 01:15:12 +00:00
Matthew Flatt
dd7db9ff7b add read-language, module-compiled-language-info, and module->language-info
svn: r11827
2008-09-21 16:00:42 +00:00
Eli Barzilay
cc8d16d300 Welcome to a new PLT day.
svn: r11826
2008-09-21 07:50:13 +00:00
Mike Sperber
f5326ecb0f Synch with latest.
svn: r11825
2008-09-21 04:34:07 +00:00
Eli Barzilay
056ca07a7f avoid showing the lock thread
svn: r11824
2008-09-20 13:53:22 +00:00
Matthew Flatt
6f9b5ad586 correct error message for bad formal argument after keyword
svn: r11823
2008-09-20 11:24:53 +00:00
Matthew Flatt
b43f0456fc fix some r6rs printing problems
svn: r11822
2008-09-20 11:20:15 +00:00
Eli Barzilay
a79058812e Welcome to a new PLT day.
svn: r11821
2008-09-20 07:50:07 +00:00
Eli Barzilay
5f0f50863b no scribblings until this collection moves up
svn: r11820
2008-09-19 16:49:04 +00:00
Casey Klein
12bba4996f Improved performance of `check' by factoring language and pattern
pre-processing out of its loop.

svn: r11819
2008-09-19 13:22:00 +00:00
Eli Barzilay
967dca08e3 Welcome to a new PLT day.
svn: r11818
2008-09-19 07:50:18 +00:00
Eli Barzilay
23c4073c44 clarification
svn: r11817
2008-09-19 02:37:25 +00:00
Eli Barzilay
5072b8d0c4 clarification
svn: r11816
2008-09-19 01:08:35 +00:00
Jay McCarthy
905d0b3566 Spelling
svn: r11814
2008-09-18 20:56:23 +00:00
Eli Barzilay
b8c1988ada clarification
svn: r11811
2008-09-18 19:47:29 +00:00
Eli Barzilay
bafb87990d create directories that are specified but missing, use open-output-nowhere
svn: r11810
2008-09-18 19:42:30 +00:00
Ryan Culpepper
f22c42d8a4 stxclass: minor improvements to syntax, docs, literals, etc
svn: r11808
2008-09-18 19:37:09 +00:00
Eli Barzilay
d44850f515 check handin-server directory exists
svn: r11807
2008-09-18 19:13:25 +00:00
Casey Klein
bab55e4e20 Changed syntax for `check'
svn: r11806
2008-09-18 18:58:39 +00:00
Jay McCarthy
ff43b3ec42 Adding formlet documentation
svn: r11805
2008-09-18 18:16:43 +00:00
Casey Klein
3177457e0b 1. Generation of string/symbol/variable now uses compiled-lang-literals.
2. `check' prints counterexamples to current-error-port rather than
returning a string.
3. Non-terminals and built-ins (e.g., variable, number, etc.) now
properly bind in generation.

svn: r11804
2008-09-18 17:42:39 +00:00
Eli Barzilay
0dfca67442 clarify https-port-number in the quickstart section
svn: r11803
2008-09-18 16:28:25 +00:00
Eli Barzilay
8b2bf40f55 reorganize docs into separate files
svn: r11802
2008-09-18 16:24:35 +00:00
Eli Barzilay
bb1e10bd1c forgot to include this too
svn: r11801
2008-09-18 15:14:53 +00:00
Eli Barzilay
011301e80d some fixes, put stuff in common.ss
svn: r11800
2008-09-18 15:12:35 +00:00
Robby Findler
db9c864d0f svn: r11798 2008-09-18 13:38:52 +00:00
Robby Findler
c7e4af29c6 more little typo fixes
svn: r11797
2008-09-18 13:26:15 +00:00
Robby Findler
4600e4639e svn: r11796 2008-09-18 13:17:48 +00:00
Eli Barzilay
f9c83af415 Welcome to a new PLT day.
svn: r11795
2008-09-18 07:50:22 +00:00
Casey Klein
189ef12cd0 Fixed bug in generation of ellipses.
svn: r11794
2008-09-18 04:51:02 +00:00
Jay McCarthy
432a1424ef Refactoring API
svn: r11793
2008-09-17 15:34:16 +00:00
Jay McCarthy
130be7b597 Refactoring API
svn: r11792
2008-09-17 15:32:22 +00:00
Kathy Gray
a454479345 Correction for setup-plt error
svn: r11791
2008-09-17 14:54:11 +00:00
Eli Barzilay
064eb9a147 Rename input files so they get compiled too.
(And also see that the resulting .dep files are good re `include')

svn: r11789
2008-09-17 14:26:40 +00:00
Eli Barzilay
ffde7e7b42 preprocessor tests
svn: r11787
2008-09-17 14:19:55 +00:00
Eli Barzilay
639ba223cc Welcome to a new PLT day.
svn: r11785
2008-09-17 07:50:18 +00:00
John Clements
829b27f343 changed module-syntax/module-reader to syntax/module-reader
svn: r11784
2008-09-17 04:14:26 +00:00
Jay McCarthy
b1a0d785ba Adding formlets
svn: r11782
2008-09-16 22:59:19 +00:00
Sam Tobin-Hochstadt
6d228898ee Documentation for define-struct:
svn: r11781
2008-09-16 22:26:34 +00:00
Sam Tobin-Hochstadt
405ed4de3f Document `Parameter'
svn: r11780
2008-09-16 22:21:44 +00:00
Robby Findler
ce217355f8 PR 9761
svn: r11779
2008-09-16 20:26:15 +00:00
Robby Findler
1fa518f9d8 PR 9762
svn: r11776
2008-09-16 11:34:17 +00:00
Eli Barzilay
081611f574 Welcome to a new PLT day.
svn: r11775
2008-09-16 07:50:15 +00:00
Eli Barzilay
7d00e626c9 svn: r11773 2008-09-16 04:14:03 +00:00
Eli Barzilay
26b9bd6c3d * Added text utilities
* begin/collect, and a begin/text that is based on it (ignoring
  inter-defns spaces)
* include/text, available as `include' in the scribble/text langauge
* tests, only for begin/collect for now

svn: r11772
2008-09-16 00:46:35 +00:00
Eli Barzilay
52f0e100a7 properly use module-reader
svn: r11770
2008-09-15 23:09:25 +00:00
Eli Barzilay
0b2f559e29 module-reader constructs proper source information, fix s-exp reader to use it
svn: r11769
2008-09-15 23:01:06 +00:00
Robby Findler
d165c586af PR 9760
svn: r11766
2008-09-15 21:58:59 +00:00
Matthew Flatt
186bf67630 msvs9-friendly patches; preliminary splicing let-syntax library; export and doc GC_resolve and GC_fixup_self
svn: r11758
2008-09-15 19:08:50 +00:00
Robby Findler
9c1f3eda0c removed a race condition in the way the colors were initialized
svn: r11757
2008-09-15 12:52:55 +00:00
Eli Barzilay
f25da8fd7d require at least one test expression
svn: r11756
2008-09-15 09:57:56 +00:00
Eli Barzilay
99dc711ac0 Removed the redundant uncaught-exception-handler setting, use with-handlers except for the mzscheme tests
svn: r11755
2008-09-15 09:57:16 +00:00
Eli Barzilay
d32f0a9692 * Made run-automated-tests invoke the original exception handler when
need to
* comment out stepper tests for now
* lazy/main has a single batch of tests
* added lazy/main to the tests

svn: r11754
2008-09-15 08:01:06 +00:00
Eli Barzilay
1e40590ea4 Use a parameter for nested uses of test
svn: r11753
2008-09-15 07:19:41 +00:00
Eli Barzilay
e281030aba fix lcons example (PR9751)
svn: r11752
2008-09-15 04:59:59 +00:00
Robby Findler
bd954710f6 fixed some bugs in the yellow highlighting
svn: r11750
2008-09-14 23:19:42 +00:00
Eli Barzilay
c870eadf03 a nested (test ...) expression is implicitly in a 'do' block for convenicnce
svn: r11749
2008-09-14 22:15:20 +00:00
Matthew Flatt
afd3cd3729 release mred internal lock during canvas set-editor super call
svn: r11748
2008-09-14 14:48:08 +00:00
Matthew Flatt
18176568c7 exit status clarifications in reference doc
svn: r11747
2008-09-14 14:15:49 +00:00
Eli Barzilay
3d4c42a442 Welcome to a new PLT day.
svn: r11746
2008-09-14 07:50:32 +00:00
Robby Findler
4302033e82 svn: r11741 2008-09-14 03:50:20 +00:00
Sam Tobin-Hochstadt
35244d474e revert contracts
svn: r11739
2008-09-13 23:51:16 +00:00
Sam Tobin-Hochstadt
9d53eab27d contracts for infer, and keyword argument for expected
svn: r11735
2008-09-13 23:00:24 +00:00
Sam Tobin-Hochstadt
302e28da62 provide tc-result? for contracts
svn: r11734
2008-09-13 22:48:19 +00:00
Sam Tobin-Hochstadt
49c816cfaa Fix call to *Keyword - thanks Matthew.
svn: r11733
2008-09-13 22:47:52 +00:00
Sam Tobin-Hochstadt
37796884d8 Doc changes.
svn: r11732
2008-09-13 22:45:22 +00:00
Robby Findler
fb17d339ef oops, committed too soon...
svn: r11731
2008-09-13 22:38:21 +00:00
Robby Findler
d69957455c a bunch more values are now converted into contracts automatically (added bytes)
svn: r11730
2008-09-13 22:37:16 +00:00
Robby Findler
85e489219c a bunch more values are now converted into contracts automatically
svn: r11729
2008-09-13 22:35:09 +00:00
Robby Findler
06a4d0df4a got rid of define-struct/prop since scheme/base has a define-struct that does all that (and more) now
svn: r11727
2008-09-13 16:29:01 +00:00
Robby Findler
c6c876a821 a little more, inspired by PR 9742
svn: r11725
2008-09-13 15:27:15 +00:00
Robby Findler
bd7cf63ed0 alt-return and control-return now insert returns
svn: r11724
2008-09-13 15:07:48 +00:00
Robby Findler
5566ec2ef2 PR 9742
svn: r11723
2008-09-13 13:22:22 +00:00
Eli Barzilay
1f9ee1aac3 Welcome to a new PLT day.
svn: r11722
2008-09-13 07:50:30 +00:00
John Clements
bafd239ef0 changed result of check-expect
svn: r11721
2008-09-13 06:32:42 +00:00
John Clements
7d5e704058 went to simple true/false for stepper results
svn: r11720
2008-09-13 06:28:46 +00:00
Eli Barzilay
42e33b7d94 minor tweaks
svn: r11710
2008-09-13 00:51:21 +00:00
Matthew Flatt
72055191b4 add printable<%>
svn: r11705
2008-09-12 22:50:09 +00:00
Stevie Strickland
f7cd4784de Need the #:exists keyword here.
svn: r11704
2008-09-12 22:43:58 +00:00
Robby Findler
3c2cb93f74 adjusted colors, hopefully better for colorblind people
svn: r11703
2008-09-12 22:31:57 +00:00
John Clements
5895f67bfe fixed stepper tests
svn: r11694
2008-09-12 18:19:33 +00:00
Eli Barzilay
5541890dd5 yet more v4-isms
svn: r11684
2008-09-12 15:41:34 +00:00
Eli Barzilay
0c0630d50d more v4-isms
svn: r11683
2008-09-12 15:30:38 +00:00
Eli Barzilay
78632e178d svn: r11682 2008-09-12 15:23:05 +00:00
Eli Barzilay
5675f4574c more v4-updates
svn: r11679
2008-09-12 15:18:00 +00:00
Eli Barzilay
41a4f4b2ae macro -> function
svn: r11678
2008-09-12 15:03:54 +00:00
Eli Barzilay
854d52d987 mzlib/* -> scheme/*, for-each -> for
svn: r11677
2008-09-12 14:56:10 +00:00
Eli Barzilay
4f1b829413 switch to #lang, reindent, minor fix (when -> if), merge stuff with csu660 version
svn: r11675
2008-09-12 14:49:22 +00:00
Eli Barzilay
ef92bf90f4 svn: r11674 2008-09-12 13:23:52 +00:00
Eli Barzilay
a3930ea088 improved reader documentation
svn: r11673
2008-09-12 13:22:31 +00:00
Eli Barzilay
c7dc9e73f3 Welcome to a new PLT day.
svn: r11672
2008-09-12 07:50:12 +00:00
Robby Findler
cce9d7d6e5 improved keybindings for search
svn: r11668
2008-09-12 02:57:21 +00:00
Eli Barzilay
21640dcc36 put scribble property on escape expressions (no []s or {}s)
svn: r11667
2008-09-12 02:47:13 +00:00
John Clements
92df21d9df added stepper to automatic tests
svn: r11652
2008-09-11 21:12:50 +00:00
Sam Tobin-Hochstadt
4f5a412230 Merge in keywords branch and directory reorg.
svn: r11643
2008-09-11 14:07:10 +00:00
Sam Tobin-Hochstadt
7cf9b36c15 Add eof and read-accept-reader.
Fix find-mutated-vars
2008-09-11 09:01:49 -04:00
Eli Barzilay
c2dfbc3559 Welcome to a new PLT day.
svn: r11639
2008-09-11 07:50:17 +00:00
John Clements
041cfa3264 ...
svn: r11638
2008-09-11 05:22:37 +00:00
Sam Tobin-Hochstadt
c7b51cfd2d Add no-check language 2008-09-10 14:49:15 -04:00
Stevie Strickland
12bcac14d3 Converting utils.ss and checker.ss to scheme/base.
svn: r11633
2008-09-10 17:59:24 +00:00
John Clements
a115dc3d8b re-added run-nightly-tests.ss
svn: r11632
2008-09-10 15:31:33 +00:00
Robby Findler
95b35a43f6 PR 9739
svn: r11630
2008-09-10 12:55:47 +00:00
Eli Barzilay
f865a37c3d Welcome to a new PLT day.
svn: r11628
2008-09-10 07:50:16 +00:00
Stevie Strickland
594c89f8c4 Doesn't take an event, just the button being clicked.
svn: r11627
2008-09-10 02:38:45 +00:00
Stevie Strickland
19ac32d5f6 Have the handin button match the styles of other toolbar buttons, including
correctly working when the toolbar is not horizontal.

svn: r11626
2008-09-10 02:34:37 +00:00
Eli Barzilay
bb470554a5 optimizations: use vectors instead of move-procs, avoid mapping symbols, tighten loops, use bytes, keep only min+max solutions etc
svn: r11624
2008-09-10 00:52:11 +00:00
John Clements
9c928f7e82 got mz tests working again
svn: r11623
2008-09-09 22:49:33 +00:00
John Clements
d7d9d32b26 moved mz tests to scheme/base
svn: r11622
2008-09-09 22:43:23 +00:00
John Clements
6547db5039 misspelling
svn: r11621
2008-09-09 22:10:17 +00:00
Sam Tobin-Hochstadt
5ac64589ba reorg 2008-09-09 17:40:26 -04:00
Sam Tobin-Hochstadt
dfeef03875 new dirs 2008-09-09 15:34:28 -04:00
Kevin Tew
7068de8f67 Change place_wait and place_sleep to place-wait and place-sleep
svn: r11589
2008-09-09 15:52:13 +00:00
Casey Klein
823338e262 Generator support for `cross' pattern and syntax errors for non-terminals
with no productions.

svn: r11588
2008-09-09 15:16:45 +00:00
Matthew Flatt
3ce9fd1953 note in docs that scheme_weak_reference isn't available in 3m
svn: r11587
2008-09-09 11:28:09 +00:00
Eli Barzilay
a67e1df015 Welcome to a new PLT day.
svn: r11586
2008-09-09 09:28:39 +00:00
Eli Barzilay
59af2e57d2 a vector version
svn: r11585
2008-09-09 08:32:31 +00:00
Eli Barzilay
9c5166ac6a misc improvements
svn: r11584
2008-09-09 08:31:33 +00:00
Eli Barzilay
d574d1461a new shootout comment, indentation, parens, etc
svn: r11583
2008-09-09 04:21:56 +00:00
Chongkai Zhu
d793555e1d svn: r11582 2008-09-09 03:53:05 +00:00
Robby Findler
805d4eb73f refined searching
svn: r11581
2008-09-09 03:43:57 +00:00
Matthew Flatt
b6b0d96bb8 don't match plain-module-begin in module, since its phase is potentially different
svn: r11580
2008-09-09 00:16:03 +00:00
John Clements
81d31e973e added pattech annotation to side-condition
svn: r11579
2008-09-08 22:06:00 +00:00
Ryan Culpepper
402697e2d4 macro-debugger/expand: added new expand function with docs
svn: r11578
2008-09-08 20:40:46 +00:00
Matthew Flatt
1a8b6cb824 fix mistakes in augment corrections; fix runtime-path handling of lib paths
svn: r11577
2008-09-08 19:44:32 +00:00
Sam Tobin-Hochstadt
8df7a46493 Improve errors. 2008-09-08 13:27:38 -04:00
Sam Tobin-Hochstadt
ff85152f59 fix error message 2008-09-08 13:03:56 -04:00
Matthew Flatt
74addc1b71 fix checking of augment on a method that is overridable but was formerly augmentable
svn: r11574
2008-09-08 14:41:56 +00:00
Eli Barzilay
9e3e6b7444 New gmp-based solution, based on the perl solution
svn: r11572
2008-09-08 09:40:11 +00:00
Eli Barzilay
c6a69d8d5c Welcome to a new PLT day.
svn: r11571
2008-09-08 07:54:56 +00:00
Robby Findler
4f24a1c0cd fixed a bug replating to zero sized images
svn: r11569
2008-09-07 13:28:44 +00:00
Robby Findler
2ece9d9e95 PR 9729
svn: r11567
2008-09-07 12:46:17 +00:00
Matthew Flatt
a0b85a2210 add linker flags for linux for embeddig test
svn: r11565
2008-09-07 12:43:34 +00:00
Matthew Flatt
fb1ee7d8cf add test for embedding MzScheme and resetting via scheme_basic_env
svn: r11564
2008-09-07 12:41:20 +00:00
Eli Barzilay
bf61a21e11 Welcome to a new PLT day.
svn: r11563
2008-09-06 07:50:12 +00:00
John Clements
803c3051e8 added link for redex-match
svn: r11562
2008-09-05 21:17:57 +00:00
Ryan Culpepper
bac74a3759 restored macro-debugger/expand module (expand-only, expand/hide)
svn: r11561
2008-09-05 20:57:59 +00:00
Sam Tobin-Hochstadt
a1825082df more stuff works 2008-09-05 16:52:00 -04:00
Eli Barzilay
60e001000a Start revising scribble/text (include temporarily removed).
svn: r11557
2008-09-05 18:53:50 +00:00
Eli Barzilay
0ccfb6f8b4 switch to plain-module-begin, to avoid redundant extra outputs
svn: r11556
2008-09-05 18:44:06 +00:00
Eli Barzilay
5028fe513a avoid using state, and add getting rid of pre-definition indentations
svn: r11555
2008-09-05 18:43:22 +00:00