Sam Tobin-Hochstadt
b57519d398
Be AR about order of arguments to cgen* (cgen/list took X V, not V X)
2008-06-20 14:52:53 -04:00
Sam Tobin-Hochstadt
a6cd9ea2cd
* Fixed calls to infer that didn't give must-vars argument
...
* Fixed promote/demote so they check the dotted bound, not free vars of type
* Stopped promote/demote from promoting/demoting away dotted bound
* Stopped promotion/demotion of dotted bound in cgen/arr
* Improved debug macro
2008-06-20 14:48:47 -04:00
Sam Tobin-Hochstadt
89cb3a4b09
Small changes needed after changes to infer.
2008-06-20 14:46:24 -04:00
Sam Tobin-Hochstadt
bec9c11fd4
Correct and incorrect uses of dotted identity
2008-06-20 13:07:42 -04:00
Sam Tobin-Hochstadt
6296ffbfcf
* Added code to check that substitution gets rid of all appropriate
...
variables (and fails if not)
* Added weird dotted as subtype of * case (dcon-exact)
2008-06-20 13:07:08 -04:00
Matthias Felleisen
e60a2cddee
svn: r10393
2008-06-20 15:15:14 +00:00
Matthias Felleisen
32f514f78e
commented out tests
...
svn: r10392
2008-06-20 14:41:19 +00:00
Matthias Felleisen
8be693c6aa
svn: r10391
2008-06-20 14:41:04 +00:00
Robby Findler
b8edbf8336
fixed tab handling for docked mode
...
svn: r10390
2008-06-20 13:26:55 +00:00
Eli Barzilay
0c23336cbf
Welcome to a new PLT day.
...
svn: r10389
2008-06-20 08:24:17 +00:00
Robby Findler
b24674c889
PR 9510
...
svn: r10388
2008-06-20 06:05:52 +00:00
Stevie Strickland
654d7e2f46
* Add the ability to substitute in starred types for dotted when
...
we've inferred it.
* Try and consolidate a lot of the error printing with domain mismatches.
2008-06-19 19:14:32 -04:00
Stevie Strickland
a1f078fb59
Another change.
2008-06-19 19:12:39 -04:00
Stevie Strickland
af12feb729
Another example, putting in starred for dots.
2008-06-19 19:10:05 -04:00
Sam Tobin-Hochstadt
2bf691991c
New test
2008-06-19 18:04:30 -04:00
Sam Tobin-Hochstadt
0f142d97e3
Do substitution properly from dmap.
2008-06-19 18:04:19 -04:00
Sam Tobin-Hochstadt
e62598ef08
More tests!
2008-06-19 16:55:26 -04:00
Sam Tobin-Hochstadt
b9e1676a55
* Add constraints when matching t1...a to t2...b
...
* Do inference when you have (apply f ... xs), f and xs are dotted,
and on different bounds.
* Add fold-right to extra-procs and its type to base-env
2008-06-19 16:55:06 -04:00
Kathy Gray
1ff835d4b3
Fix PR#9526
...
svn: r10380
2008-06-19 20:43:51 +00:00
John Clements
89c5ff2f18
...
...
svn: r10379
2008-06-19 19:04:10 +00:00
Sam Tobin-Hochstadt
2a7dbe2a80
Add unit test for dotted instantiation, and add version of
...
fold-left/fold-right that explicitly instantiates the
recursive call.
2008-06-19 14:59:19 -04:00
Sam Tobin-Hochstadt
bb8d8e23d8
* Split apart identifier typechecking and type instantiation
...
* Add dotted instantiation (replacing bounds with different bounds)
* Fix some macro issues, including syntax locations
* Fix more effect inference
2008-06-19 14:57:35 -04:00
Sam Tobin-Hochstadt
36408a32d5
Fix test to expecte effects.
...
Remove useless annotation.
2008-06-19 13:23:27 -04:00
Sam Tobin-Hochstadt
1af866586e
Fix tests, add filter tests.
2008-06-19 12:41:06 -04:00
Sam Tobin-Hochstadt
1880eb4afb
Fix filter type.
...
svn: r10374
2008-06-19 16:07:12 +00:00
Sam Tobin-Hochstadt
3fd969651f
Fix type of filter, and inference w/ effects.
2008-06-19 11:57:07 -04:00
Sam Tobin-Hochstadt
23aeff8c3b
Fix macro impl.
2008-06-19 11:12:32 -04:00
Kathy Gray
08015efba8
Indenter bug corrections; indented files according to indenter
...
svn: r10371
2008-06-19 13:40:25 +00:00
Robby Findler
707315b1b4
restored Eli's syntax error improvements
...
svn: r10370
2008-06-19 06:19:16 +00:00
Robby Findler
a37493f58f
svn: r10369
2008-06-19 05:48:53 +00:00
Robby Findler
c08b692afb
svn: r10368
2008-06-19 05:45:46 +00:00
Stevie Strickland
f68efe9e31
Lift out the recursive call, since that'll be shared across all substitutions.
2008-06-18 23:48:31 -04:00
Greg Cooper
4dadad2d71
add support for arc-drawing to animation library
...
svn: r10366
2008-06-19 00:33:00 +00:00
Stevie Strickland
51ec643172
I'm not sure what to do about this, given the recursive sb call.
2008-06-18 18:53:46 -04:00
Stevie Strickland
8256f922f9
Instantiation... seems to be broken. Adding unit tests to alert us to that
...
fact.
2008-06-18 18:22:16 -04:00
Stevie Strickland
052849c1bb
Otherwise we don't handle nesting.
2008-06-18 18:09:50 -04:00
Sam Tobin-Hochstadt
082545adc9
Just handle PolyDots of stuff not involving dots like the other cases.
2008-06-18 17:36:38 -04:00
Sam Tobin-Hochstadt
8a66c759dc
Fix identifier issues in fold-left/fold-right.
2008-06-18 17:36:12 -04:00
Sam Tobin-Hochstadt
b5bfb18961
Tests in here that now succeed
2008-06-18 17:22:16 -04:00
Sam Tobin-Hochstadt
7f0a330c0c
Adding drest capability to lambda formal checking.
2008-06-18 17:21:53 -04:00
Sam Tobin-Hochstadt
e77ad12feb
Add debug macro, and fix check-below to return appropriate values.
2008-06-18 16:52:04 -04:00
Stevie Strickland
f1211df156
I don't know why this wasn't caught before, but with recent changes, it's now
...
caught correctly.
2008-06-18 16:16:11 -04:00
Stevie Strickland
3e4e5af03c
Thinkoed, all of them should have -lst added.
2008-06-18 16:10:54 -04:00
Stevie Strickland
449a784c1d
Remove this, as it isn't needed.
2008-06-18 16:03:45 -04:00
Stevie Strickland
6986b12618
Fix extra -lst call that shouldn't be there.
2008-06-18 16:03:33 -04:00
Stevie Strickland
5299c9fd5a
Consolidate errors so they only happen once (could get rest arg-related
...
error and formal number mismatch error), and then consolidate code.
2008-06-18 15:57:41 -04:00
Stevie Strickland
f80711bc9e
Split this out into what should succeed and what should fail.
2008-06-18 15:07:00 -04:00
Stevie Strickland
0c6ad7f08b
Forgot to add stars here.
2008-06-18 15:06:48 -04:00
Stevie Strickland
467b138cda
New test for lambda formal list mismatches.
2008-06-18 15:03:12 -04:00
Stevie Strickland
948286f0c6
Rework how lambda formals are handled to try and guess something more
...
correct when there's a mismatch.
2008-06-18 15:02:54 -04:00
