suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
214 Commits 13 Branches 1 Tag 9.2 MiB
dbb5151b31
Commit Graph

139 Commits

Author SHA1 Message Date
Eli Barzilay
dbb5151b31 svn: r11773 
original commit: 7d00e626c94bd8f67bf6a5891177bbd9b2e30f64
 2008-09-16 04:14:03 +00:00
Eli Barzilay
5b6cf7448d properly use module-reader 
svn: r11770

original commit: 52f0e100a7b7825a76e82cfb9a9ffc7b99c78118
 2008-09-15 23:09:25 +00:00
Sam Tobin-Hochstadt
593b26228e revert contracts 
svn: r11739

original commit: 35244d474e300136949539b6690d8d0124426d31
 2008-09-13 23:51:16 +00:00
Sam Tobin-Hochstadt
c7f2971ecb contracts for infer, and keyword argument for expected 
svn: r11735

original commit: 9d53eab27d39b0a978ae6dfb183cabf0e2eda087
 2008-09-13 23:00:24 +00:00
Sam Tobin-Hochstadt
c08c477ba6 provide tc-result? for contracts 
svn: r11734

original commit: 302e28da620581ce928a346e43f9d3109c694f0c
 2008-09-13 22:48:19 +00:00
Sam Tobin-Hochstadt
a17e62cca0 Fix call to *Keyword - thanks Matthew. 
svn: r11733

original commit: 49c816cfaa30ba7caa343d4d3fbf2cc9a1472acf
 2008-09-13 22:47:52 +00:00
Sam Tobin-Hochstadt
dd509b80f3 Doc changes. 
svn: r11732

original commit: 37796884d8599d6411bff0ebbf6fc88e6f6bf285
 2008-09-13 22:45:22 +00:00
Sam Tobin-Hochstadt
2b288b2582 Add eof and read-accept-reader. 
Fix find-mutated-vars

original commit: 7cf9b36c1501aa994d29e1bbd61b1785b5e92655
 2008-09-11 09:01:49 -04:00
Sam Tobin-Hochstadt
9b7d945049 Add no-check language 
original commit: c7b51cfd2d1dece6ac2254f44e278f3c18ee13a7
 2008-09-10 14:49:15 -04:00
Sam Tobin-Hochstadt
f54d163224 reorg 
original commit: 5ac64589baffabf3e7045e5c0c877a1c484207ea
 2008-09-09 17:40:26 -04:00
Sam Tobin-Hochstadt
53e3814a54 Improve errors. 
original commit: 8df7a464931969dd782f3efe6db7e322643be2f4
 2008-09-08 13:27:38 -04:00
Sam Tobin-Hochstadt
8701782f17 more stuff works 
original commit: a1825082df673c1fd4bf8e288230c63bb142d9f3
 2008-09-05 16:52:00 -04:00
Sam Tobin-Hochstadt
9a357ebf84 Fixed printing for new rep. 
Handle mandatory and optional keyword args.

original commit: 801156229a9a8498f9860aed405b3a61ed252d03
 2008-09-04 17:59:36 -04:00
Sam Tobin-Hochstadt
f4eec91021 New representation that accomodates mandatory and optional keyword args. 
original commit: 79e3a0c4c68070d6a558a006d70c326f4ee2d28a
 2008-09-04 17:02:33 -04:00
Sam Tobin-Hochstadt
aa2a031828 progress 
original commit: 85a0fa22d10e17df8a9d0dc1dcff56c2cc9a43a2
 2008-09-02 20:25:23 -04:00
Eli Barzilay
2152be6b8c use the new facility for the typed-scheme reader 
svn: r11504

original commit: 989aedc09a6c562fc5a8fdf414ccc5db948125fb
 2008-09-01 04:26:54 +00:00
Sam Tobin-Hochstadt
7b3ad3a27f start on keywords 
original commit: a8417c7c1c5eaa5996caab91fc150b901669a9e8
 2008-08-29 18:23:59 -04:00
Sam Tobin-Hochstadt
a23827e048 Fix docs to work around schememod bug 
svn: r11342

original commit: a16f879e2451d64f0aab125852cada27f8ba3e12
 2008-08-19 19:57:59 +00:00
Sam Tobin-Hochstadt
b0817bce2a Better error messages for require/opaque-type 
svn: r11341

original commit: d546d6e045b10fa5e433800378ee6f75d96ede9c
 2008-08-19 19:48:24 +00:00
Sam Tobin-Hochstadt
84dd8c4d51 Print struct names without []. 
svn: r11340

original commit: 79b4f2d078f09f89ecc5a12d0fc179bb4ffb77c5
 2008-08-19 19:40:38 +00:00
Matthew Flatt
5cf33a8aff assign authors to manuals 
svn: r11287

original commit: 9453aaaccf2f0007bae450c291e1cd29a7a14696
 2008-08-15 20:16:06 +00:00
Sam Tobin-Hochstadt
ec6c2bde88 Fix handling of `, delay, and this-language using Matthew's advice 
svn: r11127

original commit: 513174a2bd9274cd73a24fb12153e3386432945c
 2008-08-07 19:05:32 +00:00
Sam Tobin-Hochstadt
eda70bdaf9 Provide some names 
svn: r11114

original commit: 24a98cf0618fc3b0593c4a355f6355064a30d404
 2008-08-06 20:48:02 +00:00
Sam Tobin-Hochstadt
fee0250ffb Fix typo 
svn: r11113

original commit: 44e0c09d75e10fc4d3cd9e21ad60fd24e41d23c5
 2008-08-06 20:47:28 +00:00
Sam Tobin-Hochstadt
6f4fa61276 Add types for char comparison functions. 
svn: r11085

original commit: 5f787a63d499fe32dfbc1d11d2ba8e48a4a9323f
 2008-08-05 18:17:27 +00:00
Sam Tobin-Hochstadt
50bf0a65a4 fix some dumb bugs 
svn: r11082

original commit: ad2b2b31995ea2ef7c5b0f65b240b90cc3808bf2
 2008-08-05 15:05:25 +00:00
Sam Tobin-Hochstadt
4f7c6aff6a Fix bug 9649. 
svn: r11029

original commit: 28c5e71b01454eda4328a8abceed12f11aaeb865
 2008-08-01 20:57:48 +00:00
Sam Tobin-Hochstadt
ef047be955 Fix docs of -> to talk about varargs. 
svn: r11028

original commit: d7b4d81e04b656a814e9f82af201c8794fcae9d9
 2008-08-01 20:42:30 +00:00
Sam Tobin-Hochstadt
10735f4a35 Allow ... rest variables to be used as lists. 
Bind Values as a type.

svn: r11010

original commit: fa857a40acbb475ca2c2ab3b40d02c547d798129
 2008-07-31 19:26:46 +00:00
Stevie Strickland
6e2786758e Yes, we need the hyphen. 
svn: r10968

original commit: 402de6f0903d05b7651204c8595a60972f9b2337
 2008-07-29 17:10:01 +00:00
Stevie Strickland
b641a326cd Actually, revert that last change. What we'll do is: 
* Fix up things so that we actually use 'temp-dir via find-system-path
    instead of using /tmp always
  * Turn off logging via the logging? for-syntax definition.

svn: r10967

original commit: be456fec946e791ac3e1cfa76d705c8b9a568921
 2008-07-29 17:06:11 +00:00
Stevie Strickland
4056c657b2 This shouldn't have been left in. 
svn: r10966

original commit: 2d9a48a11d7c22bb4ba509336ecdb6a8e242b3b0
 2008-07-29 16:58:21 +00:00
Stevie Strickland
f76a46dc8c Add the forall Unicode symbol as an acceptable replacement for the 
All type constructor.

svn: r10797

original commit: 91291ba2bc31e599ec703b5bdd091a6238ce6c71
 2008-07-16 17:37:05 +00:00
Stevie Strickland
a42d2b6dd9 Add filter-map to base-env.ss 
original commit: 39c343ec18dc9a850e1461869979a7c06e8d05b4
 2008-07-15 00:33:14 -04:00
Stevie Strickland
b6fc5b6d36 This is too long for the paragraph, just separate it. 
original commit: 1fd8f6c2c315a6ab1b374091bc8f3511b36d934c
 2008-07-15 00:10:04 -04:00
Sam Tobin-Hochstadt
18810e108a logging 
original commit: 2866efd3485b19c98dd858b1db7e09928f0213c6
 2008-07-14 08:48:14 -04:00
Stevie Strickland
8a0c610699 I'm not sure how best to add this as a hit for "rest argument(s)" without 
actually putting that in the section title -- and truthfully, maybe it
should be, for those who aren't deeply versed in PL but know enough
Lisp/Scheme to ask for this.

original commit: e92c35d90c6558ef54f5d81191eb4c1eaf88249c
 2008-07-13 22:33:37 -04:00
Sam Tobin-Hochstadt
d77d7ba57f Fix handling of mutable structs (setters != getters) 
Allow use of #:mutable as define-typed-struct arg
Fix types of random andmap ormap

original commit: 2456dcc18b10a10a7bad3b1f9af8e33fad03231f
 2008-07-13 17:31:58 -04:00
Stevie Strickland
5a2792932f Put the beginnings of documentation here. 
original commit: 4e7f527cb8ad3c2bdfc872c4da8d8e8d6725df1f
 2008-07-13 16:50:05 -04:00
Stevie Strickland
c9a76891bc Starting to expand out the documentation in preparation of merging this 
branch back to trunk.

original commit: d6f527a96f05fe949ef032c471e2abca9bc89da9
 2008-07-13 16:07:29 -04:00
Eli Barzilay
362100e41e * Newlines at EOFs 
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind

svn: r10689

original commit: 7d50e61c7f6831936e13e6af5140db65db18fe1c
 2008-07-09 07:18:06 +00:00
Sam Tobin-Hochstadt
89696cbcd4 Finally found a nasty bug involving variables not appearing in the hash table. 
original commit: b835002d72e06f13991ea4adbc6d052fa6fe0c0e
 2008-07-07 19:21:42 -04:00
Sam Tobin-Hochstadt
ea5d2b8f5f Add require of scheme/promise for force. 
Handle call-with-values more appropriately.

original commit: 589ba9d77a6d120f5cf0ebcc926518db69d391bf
 2008-07-07 16:43:12 -04:00
Sam Tobin-Hochstadt
13384db457 make-Values now checks its argument for having only 1 element 
original commit: 2844dec0a109157a05db51e8494d3f317c96c379
 2008-07-07 14:58:22 -04:00
Sam Tobin-Hochstadt
e8621eecf0 Fix up singleton values 
original commit: d0939ffa1e57894a076bfd6326c4d977cfdf3e2e
 2008-07-07 14:49:46 -04:00
Sam Tobin-Hochstadt
bbb3e251f8 More info in internal errors. 
Fix substitution in nested ... case.

original commit: 61cefef89c8120ffc46d9cc9095637d8337c924e
 2008-07-07 14:25:15 -04:00
Sam Tobin-Hochstadt
6fac649e7a remove trace 
original commit: e06a22c29b3e36cc4f51822b3d4b8ddcff6d682e
 2008-07-07 12:27:08 -04:00
Sam Tobin-Hochstadt
70d1b6b497 values with dots 
original commit: c43c3baa67512954b0f2e477aafde6f8461bd99a
 2008-07-07 11:01:42 -04:00
Stevie Strickland
028aeadc4b Revert last change. 
original commit: a6ea8d79543ba3db69a859700dde9c78d583dd8b
 2008-06-20 15:47:56 -04:00
Sam Tobin-Hochstadt
34df17ddb4 Use the X from cgen/list to create the empty cmap. 
This allows (vector) to have type (Vectorof (U))

original commit: 0366745cbf3e8308b9700305c7e187aa260119ba
 2008-06-20 15:27:46 -04:00