Robby Findler
4f06b9e5da
fixed PR 9515
...
svn: r10408
2008-06-21 14:54:52 +00:00
Robby Findler
a367e81f3a
removed some latexisms
...
svn: r10407
2008-06-21 14:44:47 +00:00
Matthew Flatt
8b68ced640
slight clarification on 'with-handlers*'
...
svn: r10406
2008-06-21 13:13:45 +00:00
Stevie Strickland
705685af8b
Add stuff that isn't useful yet, but might be useful for a lattice for future
...
work.
2008-06-20 20:03:56 -04:00
Stevie Strickland
48961eb551
Remove the bits and pieces used to diagnose the original file, and add the
...
non-outer-apply versions (that have no reason not to work).
2008-06-20 17:50:15 -04:00
Stevie Strickland
6a8b7e2e14
We should infer on the dotted var also, for the case where the underlying
...
function's type and/or the arguments to said function use it.
2008-06-20 17:49:43 -04:00
Stevie Strickland
a6ea8d7954
Revert last change.
2008-06-20 15:47:56 -04:00
Stevie Strickland
ce58c4c676
Revert last change.
2008-06-20 15:47:22 -04:00
Sam Tobin-Hochstadt
b2edd9d197
Remove no-longer-needed inst.
2008-06-20 15:27:59 -04:00
Sam Tobin-Hochstadt
0366745cbf
Use the X from cgen/list to create the empty cmap.
...
This allows (vector) to have type (Vectorof (U))
2008-06-20 15:27:46 -04:00
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
