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
Sam Tobin-Hochstadt
af623cbdc7
add test of `apply values'
...
svn: r14816
2009-05-14 18:57:23 +00:00
Sam Tobin-Hochstadt
1047f7625d
Handle ValuesDots in check-below.
...
Fix typo in valuesdots handling in values->tc-results
Handle ValuesDots in do-ret.
Don't try to construct silly wrappers for `apply values'
Don't use rest as list extension if it's #f
Fix tc-result handling for check-subforms/check
Add stronger contracts for Scope
Always generate substitution for infer/dots.
Fix type of `time-apply'
svn: r14815
2009-05-14 18:57:02 +00:00
Eli Barzilay
40467a005e
added tests for topological-sort
...
svn: r14814
2009-05-14 15:33:25 +00:00
Eli Barzilay
9c99a32d29
added tests for topological-sort
...
svn: r14813
2009-05-14 15:33:20 +00:00
Sam Tobin-Hochstadt
775fa34f5f
Add some contracts in tc/plambda.
...
Fix handling of tc-results vs types.
svn: r14812
2009-05-14 15:11:33 +00:00
Eli Barzilay
ccca3b3df6
fix dropping cycles
...
svn: r14811
2009-05-14 15:08:56 +00:00
Sam Tobin-Hochstadt
d8c613494e
Fix type->contract of function types.
...
svn: r14810
2009-05-14 14:45:24 +00:00
Sam Tobin-Hochstadt
b30338e0c5
Add start of type->contract test suite.
...
Add test for poly annotation failure.
svn: r14809
2009-05-14 14:45:07 +00:00
Eli Barzilay
bc22c8a824
print the *-node appropriately
...
svn: r14808
2009-05-14 10:34:09 +00:00
Eli Barzilay
35acf760cd
Welcome to a new PLT day.
...
svn: r14807
2009-05-14 07:50:20 +00:00
Eli Barzilay
0d933c3f86
subsort is really any function to apply on a level
...
svn: r14806
2009-05-14 07:47:28 +00:00
Eli Barzilay
76574dc619
tests need the structs too
...
svn: r14805
2009-05-14 07:36:46 +00:00
Eli Barzilay
86519ae414
Forgot to actually move the topological sort code
...
svn: r14804
2009-05-14 07:35:03 +00:00
Eli Barzilay
8bea8abc75
* Factor out the struct definitions into a separate file
...
* Move the topological sort into utils.ss
svn: r14803
2009-05-14 07:31:36 +00:00
Eli Barzilay
133f044a33
finally, make the topological-sort do a topological sort instead of a BFS
...
svn: r14802
2009-05-14 07:23:09 +00:00
Eli Barzilay
975b4d2fa8
use hash-ref!
...
svn: r14801
2009-05-14 05:49:15 +00:00
Eli Barzilay
09502205e2
typo in comment
...
svn: r14800
2009-05-14 05:47:18 +00:00
Sam Tobin-Hochstadt
a47bb9e8c3
inference for filters and objects
...
svn: r14799
2009-05-13 21:25:56 +00:00
Sam Tobin-Hochstadt
88159e2479
add require
...
svn: r14798
2009-05-13 21:25:41 +00:00
Sam Tobin-Hochstadt
5f1b4a7daf
Fix two tests
...
svn: r14797
2009-05-13 16:17:01 +00:00
Sam Tobin-Hochstadt
a3fb3575f9
rationalize get-type/infer to handle tc-results.
...
Fix tc-let to handle tc-results in various places.
svn: r14796
2009-05-13 16:16:39 +00:00
Sam Tobin-Hochstadt
8de55a4207
sync to trunk
...
svn: r14795
2009-05-13 14:35:24 +00:00
Sam Tobin-Hochstadt
8ca532220a
Enable inference for ((lambda with rest args when no annotation on rest arg
...
svn: r14794
2009-05-13 14:34:44 +00:00
Eli Barzilay
b23449ef00
Welcome to a new PLT day.
...
svn: r14793
2009-05-13 07:50:18 +00:00
Sam Tobin-Hochstadt
f349525244
Contracts for lexical-env
...
Fix type of quotient/remainer function
svn: r14792
2009-05-12 21:51:01 +00:00
Sam Tobin-Hochstadt
54eb4cc314
formatting
...
svn: r14791
2009-05-12 21:50:16 +00:00
Sam Tobin-Hochstadt
8fc6e38b11
Fix inference when filters/objects are not needed
...
svn: r14790
2009-05-12 21:31:21 +00:00
Matthew Flatt
0f1fc2d664
redex doc corrections
...
svn: r14789
2009-05-12 21:30:28 +00:00
Sam Tobin-Hochstadt
a8a64cfa7c
Special case for `call-with-values'
...
handle subtyping with ... args
svn: r14788
2009-05-12 20:56:32 +00:00
Sam Tobin-Hochstadt
82c6720bc9
Fix more tests for false info
...
svn: r14787
2009-05-12 19:54:09 +00:00
Sam Tobin-Hochstadt
5300481176
Move `hashof' contract combinator to utils/utils.ss
...
Fix frees for arr to use `fix-bounds' properly.
Match : symbolically in ->*
svn: r14786
2009-05-12 19:53:48 +00:00
Sam Tobin-Hochstadt
ce9f98098d
Type goes before symbol in drest.
...
Handle tc-results properly in a few places.
svn: r14785
2009-05-12 16:53:24 +00:00
Sam Tobin-Hochstadt
f24cbf9952
Fix more tests with truth info.
...
svn: r14784
2009-05-12 16:52:55 +00:00
