Sam Tobin-Hochstadt
055eb3cd0b
Source location in synthetic module begin.
2008-06-16 16:34:09 -04:00
Sam Tobin-Hochstadt
b952c54803
Fix code gen for PolyDots defs.
2008-06-16 16:32:34 -04:00
Sam Tobin-Hochstadt
fdb780fb00
Remove map*
2008-06-16 13:27:59 -04:00
Sam Tobin-Hochstadt
2ad4403108
Fix for-each type.
...
Improve ... error messages.
2008-06-16 13:26:15 -04:00
Stevie Strickland
c4e253d2d1
Change over some of the base environment over to dotted types.
2008-06-16 13:01:16 -04:00
Stevie Strickland
14da71b5c2
I don't see how this isn't a bug.
2008-06-15 15:56:44 -04:00
Sam Tobin-Hochstadt
52ed6fe0ca
All examples now work.
2008-06-13 17:04:31 -04:00
Stevie Strickland
9e78f5d0c0
Stars and dots living together, mass hysteria.
2008-06-13 11:59:30 -04:00
Stevie Strickland
1a7629ea3b
Pretty sure clist is going the way of the dodo, so I want this to
...
break for now if we use it. Also abstracting out the way you say
"Here's a variable with no constraints," though this might not end up
being used anywhere else anyway, so I'll not export it yet from
constraints^..
2008-06-13 09:59:43 -04:00
Sam Tobin-Hochstadt
34315ea7b3
Shortcut funs and remove first arg to cset-meet*
2008-06-13 09:56:21 -04:00
Sam Tobin-Hochstadt
7cecac2579
Use dmap code.
2008-06-13 09:55:03 -04:00
Sam Tobin-Hochstadt
e2c0b4e642
Implement dmap operations.
...
Remove lots of unneeded requires.
Add in-list-forever and extend to utils.ss
Add optional variable argument to c-meet.
2008-06-12 17:10:31 -04:00
Sam Tobin-Hochstadt
49be490b51
Unitize some more.
2008-06-12 15:43:42 -04:00
Sam Tobin-Hochstadt
bf61e29fac
Unitize infer.ss
2008-06-12 15:39:19 -04:00
Sam Tobin-Hochstadt
457339d9a8
Fix case-lambda type printing.
...
Begin work on handling case-lambda/varargs in ... inference.
Implement hash-union, and use to fix big bugs.
2008-06-11 17:16:40 -04:00
Sam Tobin-Hochstadt
1900cf10f4
Hook up new inference to tc-app.
...
Fix cset-meet handing of var maps and generated variables.
2008-06-11 14:40:34 -04:00
Sam Tobin-Hochstadt
07760164f0
* Split off cgen/arr into a named function
...
* Adding coersion for dotted arg types.
(Still need coersion between dotted<->starred.)
2008-06-11 12:22:33 -04:00
Sam Tobin-Hochstadt
dce8566c89
* Fixed variable promotion/demotion for dotted rest args
...
* Fixed constraint generation for starred functions with
different fixed arg lengths
2008-06-11 11:45:25 -04:00
Sam Tobin-Hochstadt
975f26b93d
Use new * syntax in prims.
...
Handle extra tables in infer.
2008-06-10 16:38:14 -04:00
Sam Tobin-Hochstadt
e29d4eb881
Add syntax for ...
2008-06-10 15:41:56 -04:00
Sam Tobin-Hochstadt
606ef69d20
Switch subtype to use infer.ss for unification.
2008-06-10 15:05:13 -04:00
Sam Tobin-Hochstadt
37c2f7f2c9
Move infer-ops to infer
2008-06-10 14:29:05 -04:00
Sam Tobin-Hochstadt
6afcb9aa96
Remove infer.ss
2008-06-10 14:27:49 -04:00
Sam Tobin-Hochstadt
e912818f86
Instantiation appears to work.
2008-06-10 14:10:40 -04:00
Sam Tobin-Hochstadt
5c8c2d3d96
Instantiate w/ dots
2008-06-10 12:29:53 -04:00
Sam Tobin-Hochstadt
a7f81d931d
Substituion now works
2008-06-10 12:21:59 -04:00
Sam Tobin-Hochstadt
017f756c77
Fix instantiate and abstract to handle bounds properly.
...
NEW INVARIANT - only use instantiate w/ names
2008-06-10 11:29:56 -04:00
Sam Tobin-Hochstadt
a7c63840e4
Add new datastructures for dots work.
2008-06-09 17:07:41 -04:00
Sam Tobin-Hochstadt
dc47e25c44
Refer to tech terms correctly.
...
svn: r10196
2008-06-09 16:08:04 +00:00
Sam Tobin-Hochstadt
3765c3591c
Use deftech instead of defterm for a bunch of terms.
...
svn: r10195
2008-06-09 16:07:52 +00:00
Matthew Flatt
f1bacbb166
ignore failures when writing the commentary-window position/size to the preferences file, mainly because a security guard might disallow it for nested slideshows
...
svn: r10194
2008-06-09 14:23:12 +00:00
Matthew Flatt
05d06d0c99
lower priority of Jewel screen refresh, in case the machine (like my Vista machine) is too slow to keep up
...
svn: r10193
2008-06-09 14:06:54 +00:00
Jacob Matthews
3ca9a0ab25
* fix incorrect planet client reporting
...
* clarify a contract
svn: r10192
2008-06-08 23:48:57 +00:00
Eli Barzilay
db98d5f66d
Welcome to a new PLT day.
...
svn: r10191
2008-06-08 17:25:57 +00:00
Matthew Flatt
6b721a04f0
fix index output where exporting module's name is not just an identifier
...
svn: r10190
2008-06-08 15:23:51 +00:00
Matthew Flatt
ec714113a4
fix uses of _ in foreign docs, and document the _ escape in 'schemblock'
...
svn: r10189
2008-06-08 11:46:07 +00:00
Matthew Flatt
31d9571a47
handle symbolic module names property in module-path-index->taglet
...
svn: r10188
2008-06-08 11:31:07 +00:00
Robby Findler
c9485454a9
liberalized the XML snips so they dont require the framework
...
svn: r10187
2008-06-08 03:43:33 +00:00
Matthew Flatt
301a91e0ad
fix moddep test for Windows
...
svn: r10186
2008-06-07 12:15:06 +00:00
Matthew Flatt
76732257c7
fix typo
...
svn: r10185
2008-06-06 21:21:27 +00:00
Matthew Flatt
b5ce45a15c
doc #:doc for 'techlink'
...
svn: r10184
2008-06-06 21:21:04 +00:00
Eli Barzilay
36809f291e
typo
...
svn: r10183
2008-06-06 19:46:56 +00:00
Eli Barzilay
3718da39a8
Welcome to a new PLT day.
...
svn: r10182
2008-06-06 19:30:28 +00:00
Eli Barzilay
05e530f443
Allow using `doc-path' for main docs only.
...
svn: r10181
2008-06-06 18:46:04 +00:00
Sam Tobin-Hochstadt
d9134861c4
Run tests in new namespaces.
...
svn: r10180
2008-06-06 17:19:53 +00:00
Matthew Flatt
26d4346984
moddep tests
...
svn: r10179
2008-06-06 15:57:56 +00:00
Eli Barzilay
a679c89cb6
fix next-links that climb up more than one level
...
svn: r10178
2008-06-06 15:53:42 +00:00
Matthew Flatt
f81d9ebf54
fix missing .plt in collapsed planet path
...
svn: r10177
2008-06-06 15:48:51 +00:00
Matthew Flatt
5f5c70eafb
fix some docs and tests
...
svn: r10176
2008-06-06 15:39:59 +00:00
Matthew Flatt
762e04ba60
fix modcollapse in some string planet path cases
...
svn: r10175
2008-06-06 15:35:06 +00:00
