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

11890 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sam Tobin-Hochstadt
e92a8dd2f5 Avoid spurious quoting. 
Use display instead of printf.

svn: r14936
 2009-05-22 20:23:15 +00:00
Sam Tobin-Hochstadt
2ee1d2b596 Untyped top-level variables are not an internal error. 
Handle latent filter of LBot in values->tc-results when there are no formals.
Use check-below properly in tc/mono-lambda/type

svn: r14935
 2009-05-22 20:07:36 +00:00
Sam Tobin-Hochstadt
23a735ee2f Add contract for make-pred-ty 
svn: r14934
 2009-05-22 19:43:31 +00:00
Sam Tobin-Hochstadt
7237ad6046 Fix construction of predicate type for `declare-refinement'. 
svn: r14933
 2009-05-22 19:26:06 +00:00
Sam Tobin-Hochstadt
7e6c1be6b0 Handle return of Bottom to context which expectes multiple values. 
Check values length before using for/and.
Add back ormap/andmap special case for ... args.

svn: r14930
 2009-05-22 19:09:19 +00:00
Sam Tobin-Hochstadt
e772687a58 Add unit tests for andmap of ..., Bot return to MV context 
svn: r14929
 2009-05-22 19:08:12 +00:00
Sam Tobin-Hochstadt
5b7249eea5 Add test of andmap. 
svn: r14928
 2009-05-22 19:04:22 +00:00
Sam Tobin-Hochstadt
c8828d0638 Fix keyword argument handling - sort of hackish. 
svn: r14924
 2009-05-22 18:18:34 +00:00
Sam Tobin-Hochstadt
06e252b1a1 Convert to syntax-parse. 
Use tc-results->values where appropriate.

svn: r14891
 2009-05-20 23:54:14 +00:00
Sam Tobin-Hochstadt
c4762078e3 Remove lots of debugging code. 
Use `needs-resolving?' in subtype.
Make resolve-{app,name} handle not-yet-bound names.

svn: r14890
 2009-05-20 23:40:03 +00:00
Sam Tobin-Hochstadt
19c4aa6ba4 Sort unions on re-construction to make contract happy. 
Use resolve-once more.
Improve `overlap', in particular use keys.
Resolve names and apps before doing structure comparison.

svn: r14884
 2009-05-20 18:35:59 +00:00
Sam Tobin-Hochstadt
6d1257e624 Pass the right argument to unfold. 
Fix tc/rec-lambda/check for tc-results in appropriate places.

svn: r14871
 2009-05-19 16:27:44 +00:00
Sam Tobin-Hochstadt
eedafc034b Add flag for testing unreachability in env+. 
Use flag in if-unit.

svn: r14870
 2009-05-19 15:24:55 +00:00
Sam Tobin-Hochstadt
0cd135c3bb Add test for unreachble code with expected type. 
svn: r14869
 2009-05-19 15:24:12 +00:00
Sam Tobin-Hochstadt
f712495009 add syntax locations to cond* macro 
svn: r14868
 2009-05-19 15:23:57 +00:00
Sam Tobin-Hochstadt
676f827ab0 sync to trunk 
svn: r14861
 2009-05-18 22:19:46 +00:00
Sam Tobin-Hochstadt
5f1895cfb5 Remove tc/if-twoarm/check 
svn: r14860
 2009-05-18 22:19:05 +00:00
Sam Tobin-Hochstadt
b8f944679e take path elems from the end 
svn: r14859
 2009-05-18 22:18:47 +00:00
Sam Tobin-Hochstadt
e269f7aa7c Parse (A -> B : C) correctly, B can't be a `values' 
svn: r14858
 2009-05-18 22:18:19 +00:00
Sam Tobin-Hochstadt
ef095c931a Make env struct transparent. 
svn: r14857
 2009-05-18 22:17:32 +00:00
Eli Barzilay
7ef0e8258e Welcome to a new PLT day. 
svn: r14853
 2009-05-18 07:50:40 +00:00
Robby Findler
a6b38844ee added an error check to colorize and removed dependency on mzlib/etc 
svn: r14852
 2009-05-18 00:48:55 +00:00
Matthew Flatt
aba257c816 fix shadowing of language-supplied bindings when loading from bytecode (merge to 4.2) 
svn: r14851
 2009-05-17 13:47:28 +00:00
Matthew Flatt
70859f0d0b identifier-prune-lexical-context (4.2.0.2) 
svn: r14850
 2009-05-17 12:31:51 +00:00
Eli Barzilay
7efdd033bf Welcome to a new PLT day. 
svn: r14849
 2009-05-17 06:41:49 +00:00
Eli Barzilay
00cab7cfd2 update version numbers for the v4.2 release 
svn: r14847
 2009-05-17 01:45:49 +00:00
Matthew Flatt
ee7b4404ab -Wl,--export-dynamic for OpenBSD 
svn: r14845
 2009-05-16 16:11:17 +00:00
Eli Barzilay
a793d3b021 Welcome to a new PLT day. 
svn: r14844
 2009-05-16 07:50:18 +00:00
Eli Barzilay
8ecbe78e98 typo (PR10242) 
svn: r14843
 2009-05-16 06:08:47 +00:00
Matthew Flatt
b09e905da0 fix intm+ function export to omit replaced beg math ops 
svn: r14841
 2009-05-16 02:20:13 +00:00
Matthias Felleisen
399d07907a error in tp uses contract exn now, misc 
svn: r14839
 2009-05-15 22:01:11 +00:00
Eli Barzilay
8e79a2aed5 don't include the *-node in the topological-sort output 
svn: r14835
 2009-05-15 19:28:38 +00:00
Eli Barzilay
27e4c708c7 better layout for topological-sort 
svn: r14834
 2009-05-15 19:16:56 +00:00
Matthias Felleisen
305a38a0c0 arithmetic functions should be standard 
svn: r14833
 2009-05-15 18:26:16 +00:00
Robby Findler
dff15857f0 svn: r14832 2009-05-15 17:39:09 +00:00
Matthias Felleisen
6a4c101859 arithmetic functions should be standard 
svn: r14831
 2009-05-15 16:30:39 +00:00
Matthias Felleisen
0e43e6a0dc added functins for analyzing strings as 1-letter strings 
svn: r14830
 2009-05-15 16:22:17 +00:00
Matthias Felleisen
2453bc3c6e added functins for analyzing strings as 1-letter strings 
svn: r14829
 2009-05-15 16:21:57 +00:00
Sam Tobin-Hochstadt
7a24d39348 make struct-exec a little more interesting 
svn: r14828
 2009-05-15 15:47:57 +00:00
Sam Tobin-Hochstadt
ddefd28d6d Fix handling of structs-as-functions. 
Subtyping should look up names in both positions.

svn: r14827
 2009-05-15 15:47:22 +00:00
Sam Tobin-Hochstadt
b2cf9c0006 Fix typo so cdrs in paths are handled. 
svn: r14826
 2009-05-15 15:05:53 +00:00
Matthew Flatt
05113c4a8f doc typos and guarantee on thread-dead-evt result 
svn: r14825
 2009-05-15 08:53:05 +00:00
Eli Barzilay
cfcc1c1093 Welcome to a new PLT day. 
svn: r14824
 2009-05-15 07:50:16 +00:00
Matthias Felleisen
299cba5adf svn: r14823 2009-05-14 22:50:43 +00:00
Robby Findler
6551dbfaa0 PR 10237 
svn: r14822
 2009-05-14 20:23:31 +00:00
Robby Findler
34c2dfe021 svn: r14821 2009-05-14 19:49:22 +00:00
Matthew Flatt
cee5d694ad fix pasteboard rubber-band drawing 
svn: r14820
 2009-05-14 19:37:08 +00:00
Robby Findler
ef9ee828bf svn: r14819 2009-05-14 19:25:27 +00:00
Robby Findler
ad856384a3 svn: r14818 2009-05-14 19:23:24 +00:00
Sam Tobin-Hochstadt
792bacbd55 turn printing back on 
svn: r14817
 2009-05-14 18:57:43 +00:00