Sam Tobin-Hochstadt
3dd83a4e1c
remove this junk
...
svn: r13625
2009-02-15 22:29:27 +00:00
Sam Tobin-Hochstadt
c9377a1f9d
sync again
...
svn: r13624
2009-02-15 22:03:05 +00:00
Sam Tobin-Hochstadt
7991ce3ce6
sync to trunk
...
svn: r13623
2009-02-15 22:02:31 +00:00
Sam Tobin-Hochstadt
72e118d92f
Remove eta expansion, match is now fixed.
...
svn: r13622
2009-02-15 21:59:55 +00:00
Stevie Strickland
1943083cf9
Fix nested with-contracts by checking explicitly for ssps. Apparently
...
painting the bindings causes the ssp to later fail when you try to access
the parameter. Not sure if this is a bug or not, will talk to Matthew.
svn: r13621
2009-02-15 21:59:22 +00:00
Sam Tobin-Hochstadt
427241612c
mergeinfo
...
svn: r13620
2009-02-15 21:58:23 +00:00
Sam Tobin-Hochstadt
204806a13a
revert back to regular parse type
...
svn: r13619
2009-02-15 21:57:30 +00:00
Sam Tobin-Hochstadt
bf1aaa9dcb
add contract conversion for hashtables
...
svn: r13617
2009-02-15 21:55:03 +00:00
Sam Tobin-Hochstadt
2518d54da1
syncheck.ss now uses typed code
...
svn: r13616
2009-02-15 21:48:41 +00:00
Sam Tobin-Hochstadt
ed83737d5f
subtype caching
...
svn: r13615
2009-02-15 21:30:02 +00:00
Robby Findler
965110bc55
svn: r13614
2009-02-15 21:05:03 +00:00
Robby Findler
e99c3dc3d9
split things up so that there are two modes for running the file. See the README
...
svn: r13613
2009-02-15 20:57:25 +00:00
Sam Tobin-Hochstadt
aefaaa26d0
re-enable code
...
svn: r13612
2009-02-15 20:47:49 +00:00
Eli Barzilay
ea51547cae
Fix typo found by offby1
...
svn: r13611
2009-02-15 20:26:21 +00:00
Eli Barzilay
4820a0d007
remove svn:executable
...
svn: r13610
2009-02-15 18:44:52 +00:00
Sam Tobin-Hochstadt
738b8311af
sync to trunk
...
svn: r13609
2009-02-15 17:45:53 +00:00
Matthew Flatt
7daedece49
getting-started doc improvements, and small change to raise-syntax-error
...
svn: r13607
2009-02-15 15:15:06 +00:00
Robby Findler
435adfea0a
PR 10073
...
svn: r13606
2009-02-15 14:44:12 +00:00
Stevie Strickland
e453483b09
Okay, after some deep thought, I think I finally have a mental model for
...
exactly what unit/c is doing here that's appropriate for fixing this
section of code. ASCII art diagrams for the win!
This also shows how a unit/c contract addition differs from the use
of unit/new-import-export to switch sigs, which means that I'll likely
not be able to unify as much of the guts of the two as I'd like. Schade.
svn: r13605
2009-02-15 09:59:51 +00:00
Eli Barzilay
85e38ec26a
Welcome to a new PLT day.
...
svn: r13604
2009-02-15 08:50:25 +00:00
Stevie Strickland
534c50d900
Revise that test. The current behavior is correct, if odd.
...
svn: r13603
2009-02-15 08:40:54 +00:00
Stevie Strickland
b6fdabcd73
Going ahead and adding this test, but need to think about how to attack it.
...
svn: r13602
2009-02-15 08:31:13 +00:00
Stevie Strickland
af1e57d33e
Fix scoping of name.
...
svn: r13601
2009-02-15 06:36:00 +00:00
Stevie Strickland
62d82ca9be
Clean up some bindings, moving them from defines to letrec-syntax.
...
svn: r13599
2009-02-15 05:20:30 +00:00
Sam Tobin-Hochstadt
345abb820b
Use stxclass for defintern.
...
Use stxclass for dt and de, and refactor/simplify.
Don't use the real union for unfolding mu types.
Add some descriptions to syntax classes for type parsing.
svn: r13597
2009-02-15 04:01:30 +00:00
Matthew Flatt
154cb8d1fd
fix raise-syntax-error
...
svn: r13596
2009-02-15 03:05:02 +00:00
Robby Findler
eed5f52878
PR 10073
...
svn: r13595
2009-02-15 02:49:35 +00:00
Matthew Flatt
8a2c68cffc
improve hash docs to better point to the caveats (PR 10074)
...
svn: r13594
2009-02-15 02:31:42 +00:00
Matthew Flatt
089b9aed9e
,
...
svn: r13593
2009-02-15 02:08:34 +00:00
Matthias Felleisen
80bad96d24
fixed scheme{}
...
svn: r13592
2009-02-15 01:41:18 +00:00
Matthias Felleisen
f302dbfb91
integer-sqrt and make-rectangular added
...
svn: r13591
2009-02-15 01:34:54 +00:00
Matthias Felleisen
d43f58df4c
annotated integer inputs
...
svn: r13590
2009-02-15 01:31:08 +00:00
Matthias Felleisen
39736ecebd
renamed world to iworld, for internal
...
svn: r13589
2009-02-15 01:13:41 +00:00
Matthias Felleisen
4f24983d29
renamed world to iworld, for internal
...
svn: r13588
2009-02-15 01:11:24 +00:00
Matthias Felleisen
203ba8e2db
renamed world to iworld, for internal
...
svn: r13587
2009-02-15 00:57:41 +00:00
Robby Findler
7ac7491d53
svn: r13586
2009-02-14 22:40:42 +00:00
Robby Findler
7cc349eab4
Added Eli's check syntax-friendly let expression generation
...
svn: r13585
2009-02-14 21:47:33 +00:00
Stevie Strickland
cbcad0528c
There is now a new form, define-unit/contract, that basically mixes
...
define-unit with the application of a unit contract. So you can think
of it as a define/contract for units that keeps the static info needed
for link inference.
svn: r13584
2009-02-14 21:32:02 +00:00
Robby Findler
093a897708
svn: r13583
2009-02-14 20:59:45 +00:00
Sam Tobin-Hochstadt
f5c60e9282
now fully typechecks
...
svn: r13582
2009-02-14 20:48:40 +00:00
Sam Tobin-Hochstadt
7830091d42
re-enable printing
...
svn: r13581
2009-02-14 20:48:26 +00:00
Sam Tobin-Hochstadt
e198478055
type keys now work, mostly
...
svn: r13580
2009-02-14 20:27:37 +00:00
Sam Tobin-Hochstadt
b5ccbb45bd
branch
...
svn: r13579
2009-02-14 16:03:42 +00:00
Sam Tobin-Hochstadt
e13c4b690d
new branch initial commit
...
svn: r13578
2009-02-14 16:03:25 +00:00
Matthew Flatt
a1cd265b84
add tex2page.sty
...
svn: r13576
2009-02-14 13:40:41 +00:00
Matthew Flatt
8cf310d8fc
doc scribble/comment-reader
...
svn: r13575
2009-02-14 13:34:58 +00:00
Ryan Culpepper
44efc7cb48
stxclass:
...
fixed scoping of attributes (wrt declare)
added 'attribute' form
added internal/external literals form
svn: r13574
2009-02-14 12:17:14 +00:00
Eli Barzilay
ccce0e4d70
Welcome to a new PLT day.
...
svn: r13573
2009-02-14 08:50:16 +00:00
Stevie Strickland
ba534102e8
Changed the name in the grammar, but not here.
...
svn: r13572
2009-02-14 08:11:16 +00:00
Stevie Strickland
ebe06e9572
Allowing _all_ types of tagged-sig-specs in unit/c, though whether that
...
makes sense or not, we'll see. Easy enough to set up, and it also sets
up the plan for a new form I'd like to add, which is why I've factored out
the syntax classes into their own file.
svn: r13570
2009-02-14 07:40:50 +00:00
