suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12,953 Commits 17 Branches 54 Tags 278 MiB
01d15eb9b6
Commit Graph

11126 Commits

Author SHA1 Message Date
Mike Sperber
4a1ee8bb44 Check that the operands of `one-of' don't yield contracts. 
svn: r15936
 2009-09-09 15:18:14 +00:00
Mike Sperber
9a613d0d57 Remove invalid-arity tests: these fail directly now that we copy the 
arity to the enforcer.

svn: r15935
 2009-09-09 15:17:40 +00:00
Mike Sperber
332fdb8602 Export contract' from the DMdA languages, making define-contract' obsolete. 
svn: r15934
 2009-09-09 15:00:54 +00:00
Mike Sperber
38d9c6d8af In `make-property-contract', transfer arity from procedure to contract 
wrapper.

svn: r15933
 2009-09-09 14:43:26 +00:00
Matthew Flatt
34b48487f2 fix eopl/main 
svn: r15930
 2009-09-09 12:23:11 +00:00
Eli Barzilay
4c6cb1b01a Welcome to a new PLT day. 
svn: r15929
 2009-09-09 07:50:08 +00:00
Robby Findler
83728f04fe automatic compilation in drscheme now avoids the installed planet files 
svn: r15928
 2009-09-09 02:35:09 +00:00
Matthew Flatt
8958f1893a make build work on Mac OS 10.6 
svn: r15927
 2009-09-09 01:06:30 +00:00
Robby Findler
390145821a PR 10431, plus support for ->* with keywords in proc-doc 
svn: r15926
 2009-09-08 22:53:12 +00:00
Sam Tobin-Hochstadt
bc25b75eb3 Make type keywords show check syntax info 
svn: r15925
 2009-09-08 20:16:48 +00:00
Sam Tobin-Hochstadt
4907d266df Move parse-type2 to parse-type. 
Re-enable typed-scheme tests automatically.

svn: r15924
 2009-09-08 20:02:03 +00:00
Sam Tobin-Hochstadt
63d318fd4b New type parser, written using syntax/parse. 
- uses keywords with bindings
 - : macro in separate file so it can be used earlier
 - internal function in separate file
FilterSet/c and LatentFilterSet/c contracts
Avoid returning #f when `look-for-in-orig' fails
Add type for unsafe-cdr

svn: r15923
 2009-09-08 19:51:34 +00:00
Kathy Gray
cec5589f9b Removal of profj -- to appear in planet instead 
svn: r15922
 2009-09-08 16:37:25 +00:00
Eli Barzilay
b3d693c386 added main.ss 
svn: r15921
 2009-09-08 16:11:49 +00:00
Eli Barzilay
b1d0831d57 added main.ss 
svn: r15920
 2009-09-08 16:11:28 +00:00
Eli Barzilay
efaec81861 use #lang and reindent 
svn: r15919
 2009-09-08 16:10:57 +00:00
Kathy Gray
6806f21118 Consolidation of profj prior to removal from release 
svn: r15918
 2009-09-08 16:09:10 +00:00
Eli Barzilay
d2802e6c2a use #lang and reindent 
svn: r15917
 2009-09-08 16:07:36 +00:00
Eli Barzilay
70cf9b6d62 use #lang and reindent 
svn: r15916
 2009-09-08 16:06:35 +00:00
Robby Findler
49c447fe11 undid broken commit 
svn: r15915
 2009-09-08 13:30:52 +00:00
Robby Findler
910e721a89 changed order of evaluation to improve error message 
svn: r15914
 2009-09-08 13:18:19 +00:00
Kathy Gray
571eb2884a Step one in preparing collects for the removal of profj 
svn: r15913
 2009-09-08 13:05:13 +00:00
Matthew Flatt
3ada45a6c3 fix Scribble manual bib to refer to scheme.css 
svn: r15912
 2009-09-08 12:31:35 +00:00
Eli Barzilay
5a736e97a3 Welcome to a new PLT day. 
svn: r15911
 2009-09-08 07:50:16 +00:00
Robby Findler
5c283aa969 svn: r15910 2009-09-08 06:52:36 +00:00
Jon Rafkind
e95e50435c typo 
svn: r15909
 2009-09-08 04:44:41 +00:00
Matthew Flatt
98ce34dd77 fix chaining-language reader bug 
svn: r15908
 2009-09-08 00:11:02 +00:00
Matthew Flatt
3ebbd56865 fix cm problem tracking reader dependencies; add 'reader' reader language 
svn: r15907
 2009-09-08 00:07:11 +00:00
Ryan Culpepper
ee41d24bb9 syntax/parse: added head ~optional pattern, improved docs 
svn: r15906
 2009-09-07 23:32:41 +00:00
Robby Findler
8f24d026d6 PR 10433 
svn: r15905
 2009-09-07 21:43:50 +00:00
Matthew Flatt
d92ac1c2fd fix docs for syntax-local-name, syntax-local-infer-name, and 'inferred-name 
svn: r15904
 2009-09-07 21:02:03 +00:00
Matthew Flatt
a65ad71fad clarification on closing pipe ports 
svn: r15903
 2009-09-07 20:49:35 +00:00
Jay McCarthy
bfe82b2f3d Changing from exn? to exn:fail? 
svn: r15902
 2009-09-07 19:56:45 +00:00
Mike Sperber
89ec442c04 Merge branches/mike/quickcheck: 
Add QuickCheck-based property testing to the DeinProgramm/DMdA languages.

svn: r15901
 2009-09-07 16:31:18 +00:00
Eli Barzilay
3d3cb4cbd3 Welcome to a new PLT day. 
svn: r15900
 2009-09-07 07:50:24 +00:00
Matthew Flatt
8ae0ea9d14 unsafe ops (v4.2.1.8) 
svn: r15899
 2009-09-06 18:24:46 +00:00
Eli Barzilay
d2ecc840a9 Welcome to a new PLT day. 
svn: r15895
 2009-09-06 07:50:31 +00:00
Mike Sperber
a3c947806c Make DMdA language contracts do right wrt. immediate tail recursion. 
svn: r15892
 2009-09-05 19:38:46 +00:00
Mike Sperber
be9ba61d7a Synch German string constants with latest. 
svn: r15891
 2009-09-05 18:21:27 +00:00
Stevie Strickland
3c5511e5b0 We shouldn't blame the context for both positive and negative here -- the 
positive blame should be the struct itself.  We'll get that blame via
(current-contract-region), since the expression is within the with-contract.

svn: r15890
 2009-09-05 17:33:28 +00:00
Jon Rafkind
03be1db63e add examples for define-contract/struct 
svn: r15889
 2009-09-05 17:04:14 +00:00
Jon Rafkind
260ef74035 add define-struct/contract sub-typing tests 
svn: r15888
 2009-09-05 16:48:15 +00:00
Jon Rafkind
e9e1d4b5b7 define-struct/contract can handle sub-typing now 
svn: r15887
 2009-09-05 16:47:59 +00:00
Robby Findler
72d6f85c47 PR 10416 
svn: r15886
 2009-09-05 10:29:00 +00:00
Robby Findler
8838409b44 minor cleanup 
svn: r15885
 2009-09-05 10:18:08 +00:00
Robby Findler
33680c1b9c fixed bug where non-existent planet development paths would break setup-plt 
svn: r15884
 2009-09-05 10:17:55 +00:00
Eli Barzilay
7a4f3eb2bc Welcome to a new PLT day. 
svn: r15883
 2009-09-05 07:50:20 +00:00
Ryan Culpepper
985bf7bd11 macro-debugger: create new eventspace for macro stepper 
svn: r15882
 2009-09-04 21:56:17 +00:00
Robby Findler
5f688d1144 added scheme/exists lang and some docs in the guide about #:exists contracts 
svn: r15879
 2009-09-04 17:58:08 +00:00
Matthias Felleisen
bc404aaa54 re-directed image 
svn: r15878
 2009-09-04 08:38:40 +00:00
Matthias Felleisen
217b1b0464 re-directed image 
svn: r15877
 2009-09-04 08:36:44 +00:00
Matthias Felleisen
e10f8ca80a re-directed image 
svn: r15876
 2009-09-04 08:36:05 +00:00
Robby Findler
302cfd2800 updated to new coloring of set!'d variables 
svn: r15875
 2009-09-04 07:54:42 +00:00
Eli Barzilay
fd01fdf63a Welcome to a new PLT day. 
svn: r15874
 2009-09-04 07:50:18 +00:00
Robby Findler
40222e5daa color assigned variables in red 
svn: r15873
 2009-09-04 06:35:07 +00:00
Robby Findler
5c94d7fe25 svn: r15872 2009-09-04 05:03:12 +00:00
Robby Findler
937d2efab3 added exists to provide/contract 
svn: r15871
 2009-09-04 04:52:02 +00:00
Matthias Felleisen
5d000d425e re-directed image 
svn: r15870
 2009-09-03 22:54:41 +00:00
Matthias Felleisen
8cc54bc495 re-directed image 
svn: r15869
 2009-09-03 22:50:15 +00:00
Matthias Felleisen
96d2064888 re-directed image 
svn: r15868
 2009-09-03 22:49:51 +00:00
Robby Findler
83ddd5aeda changed the default for fixing up parentheses 
svn: r15867
 2009-09-03 12:51:05 +00:00
Matthias Felleisen
1a571f09fb some clean up 
svn: r15866
 2009-09-03 10:47:31 +00:00
Robby Findler
a422185219 saved the decimal style for fractions in drs repl 
svn: r15865
 2009-09-03 10:04:52 +00:00
Sam Tobin-Hochstadt
799027d40f fix keyword application handling for new expansion 
svn: r15864
 2009-09-03 07:54:32 +00:00
Sam Tobin-Hochstadt
9e25d28a28 remove extra whitespace 
svn: r15863
 2009-09-03 07:53:39 +00:00
Eli Barzilay
514b0a845d Welcome to a new PLT day. 
svn: r15862
 2009-09-03 07:50:19 +00:00
Eli Barzilay
a04517452f new require format 
svn: r15861
 2009-09-03 00:16:35 +00:00
Casey Klein
1d4da3df4c Term generator now less aggressive about producing weird variables and 
strings.

svn: r15860
 2009-09-02 19:51:30 +00:00
Jon Rafkind
e6b536edba remove tabs 
svn: r15859
 2009-09-02 16:59:26 +00:00
Eli Barzilay
9f13cd3766 Welcome to a new PLT day. 
svn: r15858
 2009-09-02 07:50:31 +00:00
Sam Tobin-Hochstadt
b3dde2ca7f Handle type ascription and type instantiation better with expected type. 
Add remove-ascription
Identify incorrect element of wrongly typed list.
Use function argument types as expected types.
Allow multiple uses of orig-module-stx, older one takes precedence.

svn: r15857
 2009-09-01 22:25:35 +00:00
Sam Tobin-Hochstadt
95cb438a9c New tests 
svn: r15856
 2009-09-01 22:22:37 +00:00
Stevie Strickland
acce62b181 Add in one test that uses unit/c (via define-unit/contract) instead of just 
the signature based contracts.

svn: r15855
 2009-09-01 22:00:15 +00:00
Robby Findler
4532602b5a svn: r15854 2009-09-01 21:43:41 +00:00
Ryan Culpepper
2acdfd6eb5 syntax/parse: fixed error-reporting bugs, added error-reporting tests 
svn: r15853
 2009-09-01 19:16:33 +00:00
Robby Findler
0a4bfe6d3c svn: r15852 2009-09-01 16:44:32 +00:00
Jon Rafkind
9bbbec05b3 add examples for booleans 
svn: r15851
 2009-09-01 16:31:08 +00:00
Robby Findler
5c73253e03 changed the low-level api for contracts so the projections accept an extra argument indicating if the contract is being used positively or negatively 
svn: r15850
 2009-09-01 16:25:08 +00:00
Robby Findler
a06f5921f8 svn: r15849 2009-09-01 15:59:16 +00:00
Ryan Culpepper
0bd68c6813 syntax/parse: 
added #:defaults arg to ~optional
  cleaned up error-reporting of special forms (not generated code)

svn: r15848
 2009-09-01 15:25:17 +00:00
Ryan Culpepper
38fc6c8e67 fixed PR 10418 (keyword args in procedure contracts) 
svn: r15847
 2009-09-01 15:08:06 +00:00
Matthew Flatt
941d8c47c3 restore focus ring on text-field% (by chaining to superclass on-set/kill-fpcus in editor-canvas%) 
svn: r15846
 2009-09-01 14:31:58 +00:00
Eli Barzilay
47efa1c6fb Welcome to a new PLT day. 
svn: r15843
 2009-09-01 07:50:08 +00:00
Robby Findler
c93d1d8ad1 drscheme's error print handler now respects error-print-source-location 
svn: r15842
 2009-09-01 05:23:22 +00:00
Robby Findler
e0bd8a6cf0 improved responsiveness of interactive searching 
svn: r15841
 2009-09-01 05:19:32 +00:00
Eli Barzilay
5606aefcb5 Welcome to a new PLT day. 
svn: r15840
 2009-08-31 07:50:14 +00:00
Ryan Culpepper
1a2ce72089 syntax/keyword: renamed and added selection procedures 
syntax/parse: documented #:context option

svn: r15839
 2009-08-30 18:22:09 +00:00
Matthias Felleisen
8c20ce344d added state display to world programs 
svn: r15837
 2009-08-30 18:11:19 +00:00
Matthias Felleisen
68fb5e42fa added state display to world programs 
svn: r15836
 2009-08-30 18:11:02 +00:00
Eli Barzilay
6708347021 Welcome to a new PLT day. 
svn: r15835
 2009-08-30 07:50:20 +00:00
Ryan Culpepper
93b6f59264 syntax/parse: worked on docs, fixed error reporting bug 
svn: r15834
 2009-08-30 04:20:29 +00:00
Jon Rafkind
19de92f5fd document generator forms 
svn: r15833
 2009-08-30 02:43:35 +00:00
Ryan Culpepper
e0395f6d68 syntax/parse: fixed bug in unbound-literal checking 
svn: r15832
 2009-08-30 00:26:41 +00:00
Ryan Culpepper
783d37a0d3 syntax/parse 
added #:opaque syntax class option
  changed expectation handling

svn: r15831
 2009-08-30 00:15:48 +00:00
Ryan Culpepper
d015699db5 fixed typo 
svn: r15830
 2009-08-29 23:02:55 +00:00
Ryan Culpepper
927a4b45cb fixed typo, added line breaks 
svn: r15829
 2009-08-29 22:59:33 +00:00
Ryan Culpepper
43d10b5179 added syntax/keyword library 
updated syntax/parse to add #:context argument

svn: r15828
 2009-08-29 22:58:08 +00:00
Mike Sperber
2900922d1c Synch German string constants with latest. 
svn: r15827
 2009-08-29 10:05:03 +00:00
Eli Barzilay
2c78422229 Welcome to a new PLT day. 
svn: r15825
 2009-08-29 07:50:19 +00:00
Eli Barzilay
d94bdaeb74 Welcome to a new PLT day. 
svn: r15824
 2009-08-28 07:50:13 +00:00
Eli Barzilay
cb78ec3bf6 a bunch of typos 
svn: r15823
 2009-08-28 04:06:14 +00:00
Matthew Flatt
a12ec5fd23 improve speed of writing long byte strings with lots of escapes in WXME 
svn: r15822
 2009-08-28 03:45:38 +00:00
Matthew Flatt
0796519b44 fix doc typo 
svn: r15821
 2009-08-28 03:45:06 +00:00
Matthew Flatt
a0705f29de more slideshow/play additions 
svn: r15820
 2009-08-28 03:44:48 +00:00
Robby Findler
1f7266614d used wrong method name 
svn: r15819
 2009-08-27 22:13:41 +00:00
Eli Barzilay
9ecbffa70e svn: r15818 2009-08-27 20:34:18 +00:00
Jon Rafkind
40115cb251 add generator tests back in 
svn: r15817
 2009-08-27 16:42:17 +00:00
Jon Rafkind
e4f86edbed a few name changes 
svn: r15816
 2009-08-27 16:42:12 +00:00
Eli Barzilay
78471a5b86 better name-age 
svn: r15815
 2009-08-27 16:08:27 +00:00
Eli Barzilay
8eb158b863 Welcome to a new PLT day. 
svn: r15814
 2009-08-27 12:37:05 +00:00
Eli Barzilay
caf1c21d3f removed tests for now 
svn: r15813
 2009-08-27 12:17:28 +00:00
Eli Barzilay
572f7f849b suggested revision 
svn: r15812
 2009-08-27 12:16:26 +00:00
Eli Barzilay
ec9fc2571a Added `in-producer'. 
(Note that `test-generator' tests use quasiquote for the expected result).

svn: r15811
 2009-08-27 09:15:52 +00:00
Jon Rafkind
f63a9046af comment about define-sequence-syntax 
svn: r15810
 2009-08-26 22:05:13 +00:00
Jon Rafkind
11091ee8fe add a few generator tests 
svn: r15809
 2009-08-26 21:44:14 +00:00
Jon Rafkind
4697b7fd6f use gensym and dont keep track of position 
svn: r15808
 2009-08-26 21:43:42 +00:00
Jon Rafkind
56c4fe6c7d cosmetic fixes. add in-generator 
svn: r15807
 2009-08-26 21:29:02 +00:00
Eli Barzilay
98f9472dd4 reformat 
svn: r15806
 2009-08-26 21:07:42 +00:00
Eli Barzilay
ab7caff9bc reformat 
svn: r15805
 2009-08-26 21:05:04 +00:00
Jon Rafkind
f61f933b8b add library for creating generator sequences 
svn: r15803
 2009-08-26 20:54:22 +00:00
Matthew Flatt
a57b1e71a5 tweaks to support princess movie 
svn: r15802
 2009-08-26 18:54:55 +00:00
Jon Rafkind
49e57413bf scribble: fix typo 
svn: r15801
 2009-08-26 16:08:33 +00:00
Jay McCarthy
e49bd5d60a Small bug in tutorial 
svn: r15800
 2009-08-26 15:00:01 +00:00
Eli Barzilay
7bc34a406e Welcome to a new PLT day. 
svn: r15799
 2009-08-26 07:50:20 +00:00
Jay McCarthy
ea84b8d182 Fixing a problem with the contracts I committed 
svn: r15798
 2009-08-25 17:21:32 +00:00
Matthew Flatt
78ad4f9615 editor pasteboard bug fix from Jordan Johnson 
svn: r15797
 2009-08-25 11:20:03 +00:00
Eli Barzilay
96c23c6212 Welcome to a new PLT day. 
svn: r15796
 2009-08-25 07:50:25 +00:00
Robby Findler
fcfa572e02 PRS 10379 and 10377 
svn: r15795
 2009-08-25 04:51:05 +00:00
Eli Barzilay
d162f8b316 Welcome to a new PLT day. 
svn: r15794
 2009-08-24 07:50:27 +00:00
Eli Barzilay
e7f9103454 Welcome to a new PLT day. 
svn: r15793
 2009-08-23 07:50:20 +00:00
Eli Barzilay
e9bad827c3 Change the location information: avoid adjusting the source information 
of `@foo' to include the `@'.  This applies for both identifiers and
full @-forms.

svn: r15792
 2009-08-21 13:16:08 +00:00
Eli Barzilay
82f0d336d4 Added syntax property checking (only locations for now, but will be extended). 
svn: r15791
 2009-08-21 13:04:19 +00:00
Eli Barzilay
d863e07492 minor reorganization 
svn: r15790
 2009-08-21 11:40:29 +00:00
Eli Barzilay
1ea8c66511 In Scheme mode @|| will also throw an error instead of being read as a 
comment.  This is to avoid confusing situations like

  (define foo (list x '@|| y))

which quoted the `y' since @|| was read as a comment.

svn: r15789
 2009-08-21 11:11:21 +00:00
Eli Barzilay
7d69ec01c2 Welcome to a new PLT day. 
svn: r15787
 2009-08-21 07:50:27 +00:00
Eli Barzilay
5497e7b65b Welcome to a new PLT day. 
svn: r15786
 2009-08-20 07:50:15 +00:00
Robby Findler
0645fa16ec use some of the original parameter values when compiling planet packages to avoid bad interactions with module language's automatic compilation 
svn: r15785
 2009-08-20 04:43:20 +00:00
Matthew Flatt
8da19de7b2 improve readable-snip<%> and related docs 
svn: r15784
 2009-08-19 20:51:23 +00:00
Matthew Flatt
543f586a97 orig paramz to planet resolver (v4.2.1.7) 
svn: r15783
 2009-08-19 16:40:33 +00:00
Robby Findler
d3ececcee6 cleaned up rotation 
svn: r15782
 2009-08-19 12:14:09 +00:00
Eli Barzilay
a18bbc154b Welcome to a new PLT day. 
svn: r15781
 2009-08-19 07:50:31 +00:00
Stevie Strickland
7d551aa0f2 Small change so that failures due to the implicit compound-unit/infer (like 
init-depend failures) will show define-values/invoke-unit/infer as the
original source of the problem.

svn: r15780
 2009-08-18 23:22:32 +00:00
Matthias Felleisen
3c6f5e5c98 append takes 1 or more arguments now in ISL+ 
svn: r15779
 2009-08-18 20:01:31 +00:00
Eli Barzilay
616224ace5 Welcome to a new PLT day. 
svn: r15777
 2009-08-18 07:50:28 +00:00
Matthew Flatt
663a24dad6 slideshow play: allow procedure as name 
svn: r15776
 2009-08-18 01:24:59 +00:00
Matthew Flatt
6d68894263 fix some problems with slide layout and names; extend play functions 
svn: r15775
 2009-08-18 01:20:57 +00:00
Robby Findler
accd344975 started changing the representation so that the rotation angles are always at the bottom of the pictures 
svn: r15774
 2009-08-17 21:09:33 +00:00
Robby Findler
be2dc50990 moved tests into the tests collection 
svn: r15773
 2009-08-17 20:17:45 +00:00
Robby Findler
5b6f0381fa moved test suite to test/ directory, minor change to try to understand normalization bug 
svn: r15771
 2009-08-17 17:01:51 +00:00
Robby Findler
efbd58d93e identified a problem with normalization (not sure how to fix it yet, tho) 
svn: r15770
 2009-08-17 15:57:01 +00:00
Robby Findler
77a94fac04 changed defaults back to including errortrace 
svn: r15769
 2009-08-17 15:55:11 +00:00
Matthew Flatt
a4fa5e4bb7 fix 'last' field from some pict constructors 
svn: r15768
 2009-08-17 15:42:01 +00:00
Matthew Flatt
549edd6a3d refine slideshow/play 
svn: r15767
 2009-08-17 15:35:45 +00:00
Matthew Flatt
1a37d891ac change slideshow pict's 'last' field to contain a pict path 
svn: r15759
 2009-08-17 12:51:04 +00:00
Mike Sperber
bb3818ee07 Zap leftover file. 
svn: r15755
 2009-08-17 09:33:50 +00:00
Eli Barzilay
6af41919ee Welcome to a new PLT day. 
svn: r15752
 2009-08-17 07:50:15 +00:00
Robby Findler
eb304cf4c3 first cut checkin (still problems, of course) 
svn: r15750
 2009-08-17 00:33:19 +00:00
Robby Findler
6de735bf59 added sqrt 
svn: r15749
 2009-08-16 22:00:15 +00:00
Robby Findler
02e4426d06 PR 10406 
svn: r15748
 2009-08-16 09:56:24 +00:00
Eli Barzilay
914df66e15 Welcome to a new PLT day. 
svn: r15747
 2009-08-16 07:50:18 +00:00
John Clements
97196f5c26 no description of 'lst' argument 
svn: r15746
 2009-08-15 20:41:55 +00:00
Mike Sperber
e7e65bd4d1 Re-raise check-expect exception after registering the failure, not 
before. (PR10402)

svn: r15745
 2009-08-15 12:19:39 +00:00
Eli Barzilay
2de19a243b Welcome to a new PLT day. 
svn: r15744
 2009-08-15 07:50:29 +00:00
Matthias Felleisen
ae0822ac9f checking keystrokes properly in universe 
svn: r15743
 2009-08-15 01:25:02 +00:00
Matthias Felleisen
fd813e111e added make-pair to beginner 
svn: r15742
 2009-08-14 23:27:54 +00:00
Matthias Felleisen
fb206a23d5 added last-picture option to stop-when 
svn: r15740
 2009-08-14 23:15:29 +00:00
Matthias Felleisen
6514185518 added last-picture option to stop-when 
svn: r15739
 2009-08-14 23:15:01 +00:00
Matthias Felleisen
cd1d7d3985 matrix bug fixed 
svn: r15738
 2009-08-14 22:59:52 +00:00
Sam Tobin-Hochstadt
5174bbb5f0 when result type is dotted, pass it through tc-expr/check 
svn: r15737
 2009-08-14 20:27:53 +00:00
Sam Tobin-Hochstadt
83e0ec2b40 return a better type 
svn: r15736
 2009-08-14 19:44:46 +00:00
Eli Barzilay
824a461335 Welcome to a new PLT day. 
svn: r15732
 2009-08-14 07:50:29 +00:00
Robby Findler
afc056306d added in a for-label to catch the missing links 
svn: r15731
 2009-08-13 21:14:09 +00:00
Robby Findler
4c9dcdc36d moved some of the module language compiler setup code into the compiler/cm library so others can use it outside of DrScheme 
svn: r15730
 2009-08-13 21:09:15 +00:00
Robby Findler
adbec1785e explained the Module language settings 
svn: r15729
 2009-08-13 21:04:01 +00:00
Ryan Culpepper
38e256e6eb syntax/parse: fixed error in ~bounds form 
svn: r15728
 2009-08-13 18:28:33 +00:00
Matthew Flatt
f37c71c6ee setup-plt -D skips compilation of .scrbl files 
svn: r15727
 2009-08-13 16:24:33 +00:00
Robby Findler
1bf5188e2e started adding detail about the module language, moving to another machine to finish 
svn: r15726
 2009-08-13 15:44:58 +00:00
Eli Barzilay
2b81e233fa Welcome to a new PLT day. 
svn: r15725
 2009-08-13 07:50:33 +00:00
Mike Sperber
28d27a5074 Make sure the test results are displayed, even when an exception 
occurs running the tests.

svn: r15724
 2009-08-13 06:42:40 +00:00
Sam Tobin-Hochstadt
79c4f9651e improve docs for opaque types 
fix pr 10106

svn: r15723
 2009-08-12 22:22:54 +00:00
Sam Tobin-Hochstadt
614980f6ec fix pr 10097 
svn: r15722
 2009-08-12 22:05:41 +00:00
Sam Tobin-Hochstadt
1e5cb7d603 fix 9979 
svn: r15721
 2009-08-12 21:55:04 +00:00
Sam Tobin-Hochstadt
6af7d32709 fix 9967 
svn: r15720
 2009-08-12 21:52:21 +00:00
Eli Barzilay
95f4d1eefe use spaces instead of tabs to indent output 
svn: r15719
 2009-08-12 21:37:33 +00:00
Jay McCarthy
829c8416b6 Fix a bug suggested by Robby and add a test case 
svn: r15718
 2009-08-12 20:43:10 +00:00
Sam Tobin-Hochstadt
50b7a0b190 improve types for numeric predicates 
fix pr 9767

svn: r15717
 2009-08-12 20:42:20 +00:00
Sam Tobin-Hochstadt
35336e77b8 Improve error messages from require/contract 
svn: r15716
 2009-08-12 20:28:08 +00:00
Jay McCarthy
1dba4edcb9 A fix for my example hide hole based models 
svn: r15715
 2009-08-12 20:08:36 +00:00
Robby Findler
485785176a drscheme now saves its compiled files in its own directory 
svn: r15714
 2009-08-12 19:44:14 +00:00
Robby Findler
4c420d4a64 svn: r15713 2009-08-12 19:43:26 +00:00
Robby Findler
3f0b94e58a svn: r15712 2009-08-12 19:42:53 +00:00
Matthew Flatt
5ff1429b6d more latex accented characters 
svn: r15711
 2009-08-12 18:58:49 +00:00
Eli Barzilay
1b110d2680 Welcome to a new PLT day. 
svn: r15710
 2009-08-12 07:50:20 +00:00
Jay McCarthy
3432cf282f Adding more specific contracts 
svn: r15709
 2009-08-11 22:31:44 +00:00
Jay McCarthy
d8bc61ae41 Adding more specific contracts 
svn: r15708
 2009-08-11 22:10:47 +00:00
Jay McCarthy
18093d26e1 Adding doc based contracts 
svn: r15707
 2009-08-11 21:24:45 +00:00
Sam Tobin-Hochstadt
50545830f2 Allow filters/objects to be provided to untyped code. 
svn: r15706
 2009-08-11 21:00:57 +00:00
Sam Tobin-Hochstadt
c27783830a add getenv and pretty-print etc. 
svn: r15705
 2009-08-11 20:44:45 +00:00
Sam Tobin-Hochstadt
28be0897c3 Move student expansion above or. 
Improve printing when no object.

svn: r15704
 2009-08-11 20:19:19 +00:00
Sam Tobin-Hochstadt
9649e10df8 document define-struct/exec: 
svn: r15703
 2009-08-11 20:05:31 +00:00
Matthew Flatt
5207a215af add missing core form to kernel-form-identifier-list, improve docs 
svn: r15702
 2009-08-11 19:48:05 +00:00
Sam Tobin-Hochstadt
b23016f86a Prohibit predicates, unions of tvars in contracts 
Add vector?

svn: r15701
 2009-08-11 19:35:34 +00:00
Eli Barzilay
aae1fb9508 Welcome to a new PLT day. 
svn: r15700
 2009-08-11 07:50:23 +00:00
Matthew Flatt
3cb2775f7c preserve original id use in expansion of first-order->higher-order 
svn: r15699
 2009-08-11 01:58:03 +00:00
Robby Findler
86d0ef6b1b PR 10375 
svn: r15698
 2009-08-11 01:02:56 +00:00
Robby Findler
5604144718 svn: r15697 2009-08-11 01:02:01 +00:00
Matthew Flatt
2414f4f880 print-syntax-width (4.2.1.6) 
svn: r15696
 2009-08-10 22:01:57 +00:00
Matthew Flatt
bdeaa475b3 Scribble latex output and 'never-indents 
svn: r15695
 2009-08-10 22:01:32 +00:00
Eli Barzilay
4e2e7c1421 Welcome to a new PLT day. 
svn: r15694
 2009-08-10 07:50:21 +00:00
Matthew Flatt
a195a5defd within a single document for multi-HTML rendering, add section prefix in generated file names 
svn: r15693
 2009-08-09 14:05:43 +00:00
Matthew Flatt
3170f05da2 correctly handle multiple registrations of the same snipclass name 
svn: r15692
 2009-08-09 13:48:09 +00:00
Matthew Flatt
a090aa60a9 fix multiple registration of make-line-snip snipclass 
svn: r15691
 2009-08-09 13:46:20 +00:00
Eli Barzilay
d045ab43f6 Welcome to a new PLT day. 
svn: r15690
 2009-08-09 07:50:18 +00:00
Eli Barzilay
fdb34adc36 Welcome to a new PLT day. 
svn: r15689
 2009-08-08 07:50:22 +00:00
Eli Barzilay
7340beddde align expected and result on separate lines 
svn: r15688
 2009-08-08 07:21:39 +00:00
Eli Barzilay
ab544948e2 no plural if only one test 
svn: r15687
 2009-08-08 06:49:36 +00:00
Matthias Felleisen
1fe887fd9a doc bug for replicate fixed 
svn: r15686
 2009-08-07 18:37:09 +00:00
Matthew Flatt
450d9b604e DrScheme: only correct a paren if the inserted character would be colored as a parenthesis (which matters for @-form coloring) 
svn: r15685
 2009-08-07 14:59:14 +00:00
Matthew Flatt
d1bd8a7a40 fix problems parsing old WXME files 
svn: r15684
 2009-08-07 12:40:55 +00:00
Eli Barzilay
9e38ed6809 Welcome to a new PLT day. 
svn: r15683
 2009-08-07 07:50:33 +00:00
Robby Findler
60c0d623ee svn: r15682 2009-08-06 19:48:29 +00:00
Matthew Flatt
015e926c04 fix delete-time callback to release caret focus 
svn: r15681
 2009-08-06 16:37:49 +00:00
Eli Barzilay
2038edda70 Welcome to a new PLT day. 
svn: r15680
 2009-08-06 07:50:18 +00:00
Robby Findler
b1a9a7e3bc svn: r15679 2009-08-06 04:26:17 +00:00
Robby Findler
46f5ef44bd added the computer language info back in 
svn: r15678
 2009-08-05 23:58:05 +00:00
Robby Findler
7c62f8caa0 PR 10385 
svn: r15677
 2009-08-05 23:08:42 +00:00
Robby Findler
8bee13c680 Matthias asked me to remove this definition 
svn: r15676
 2009-08-05 21:30:55 +00:00
Robby Findler
0646de8473 cleaned up a little bit, here and there 
svn: r15675
 2009-08-05 19:44:06 +00:00
Eli Barzilay
160d30d81d Welcome to a new PLT day. 
svn: r15672
 2009-08-05 07:50:17 +00:00
Robby Findler
3e8c91337f added check-color 
svn: r15671
 2009-08-04 20:36:07 +00:00
Robby Findler
fbb31a1393 changed to scheme/base 
svn: r15670
 2009-08-04 18:19:52 +00:00
Robby Findler
e7fdc0887d added support for number-based argument specification 
svn: r15669
 2009-08-04 18:16:53 +00:00
Matthew Flatt
08166c165c fix universe.ss doc formatting 
svn: r15668
 2009-08-04 11:31:30 +00:00
Matthew Flatt
39b2764a70 Scribble: fix generic sub-flow CSS 
svn: r15667
 2009-08-04 11:30:58 +00:00
Eli Barzilay
fec5f472ef Welcome to a new PLT day. 
svn: r15666
 2009-08-04 07:50:29 +00:00
Stevie Strickland
8ae58f1244 Primarily this is a change so that the negative party entering into 
with-contract based contracts is the syntactic context of the with-contract
expression.  Also, there's some code cleanup.

svn: r15665
 2009-08-03 21:15:44 +00:00
Eli Barzilay
c4e9c9283f Welcome to a new PLT day. 
svn: r15663
 2009-08-03 07:50:27 +00:00
Matthew Flatt
5cdac2722a add accented a 
svn: r15662
 2009-08-02 16:55:39 +00:00
Matthew Flatt
f1af318776 fix some contracts 
svn: r15661
 2009-08-02 13:36:25 +00:00
Eli Barzilay
4b6808f2b8 Welcome to a new PLT day. 
svn: r15660
 2009-08-02 07:50:34 +00:00
Robby Findler
2da5e8c633 skip files that don't exist and let the original compilation handler take care of them 
svn: r15658
 2009-08-01 17:54:43 +00:00
Matthias Felleisen
a3cb24d195 fixed small universe bug 
svn: r15657
 2009-08-01 16:18:27 +00:00
Matthew Flatt
2850d101f3 clear bitmap created for a snip->cached-image-snip conversion 
svn: r15656
 2009-08-01 16:17:35 +00:00
Mike Sperber
32353b76d2 Synch German string constants with latest. 
svn: r15655
 2009-08-01 16:17:19 +00:00
Robby Findler
39f139c617 svn: r15654 2009-08-01 15:55:06 +00:00
Eli Barzilay
c9acc96c84 Welcome to a new PLT day. 
svn: r15653
 2009-08-01 07:50:18 +00:00
Robby Findler
4592139c0e tweak to the search results printout 
svn: r15652
 2009-08-01 02:48:07 +00:00
Matthew Flatt
021a65020f fix thaw-colorer, as reflected in restoring coloring in an edtor after test-coverage coloring 
svn: r15651
 2009-08-01 02:31:51 +00:00
Robby Findler
a6624f11e2 better job of checking module language setting invariants when reading from the prefs file 
svn: r15649
 2009-07-31 16:00:15 +00:00
Robby Findler
6a4c6a5535 fixed buggy contract 
svn: r15648
 2009-07-31 15:59:47 +00:00