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

2757 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Asumu Takikawa
ddaf1b7825 Avoid doing the 2nd pass twice at the top-level 
Thanks to Eric for pointing this out.

original commit: d7f29d3636e49fa2987e71f9fe4a3b1ace05dd09
 2013-05-17 00:02:06 -04:00
Eric Dobson
d458037de6 Massive cleanup of requriements in TR. 
original commit: f332affa5ad8816caf1ca59dbb7e7e9017ca999d
 2013-05-15 23:18:29 -07:00
Eric Dobson
4326fc15c2 Clean up lam-result. 
Make drest a list instead of a pair, replace an int-err with a match error
which has source location, and remove static name for rest argument in error
case.

original commit: 4fcda73adfa2529b5ff90ff33ae948b9fccc061a
 2013-05-15 21:12:54 -07:00
Asumu Takikawa
be29737ef1 Whitespace and comment fixes 
original commit: 09cf079453a162bb742ee7d44e1295ccc34934e9
 2013-05-14 15:25:44 -04:00
Asumu Takikawa
f865e1501c Refactor to reduce right-ward drift 
original commit: e0cff038c8e086add98f996d343bb49c60c3e3c0
 2013-05-14 15:25:44 -04:00
Asumu Takikawa
7afeada73d Make require/typed work at top-level 
Closes PR 13747

original commit: 67beb11cf69ac827f35e8cdc9af7cbae3c34bbe4
 2013-05-14 15:25:43 -04:00
Asumu Takikawa
a9a79c0e4a Fix tc-toplevel-form for ignored syntax 
original commit: 2c042998b9e8d6a62cd9a3ad4c7d576a6a3b052e
 2013-05-14 15:25:43 -04:00
Vincent St-Amour
e8ce1afc29 Fix test for TR's for source locations. 
original commit: ab5075bc762356f86bb7dfd34dac8d24ada1a140
 2013-05-14 12:04:15 -04:00
Vincent St-Amour
7bd409e927 Fix source locations for TR for. 
original commit: 8638a661ccd890912e3b9df6a39b628230f38127
 2013-05-14 10:35:19 -04:00
Asumu Takikawa
f6230841c0 Make define-type work at top-level 
Closes PR 12913

original commit: f3e6276f9b2e0a50d54cc83ba05dcf670b5146da
 2013-05-13 17:14:22 -04:00
Vincent St-Amour
02bc10ef98 Limit memory in all sandboxes used by the TR random tester. 
original commit: a857256c778e920301f4765f2cac6e79cf16b240
 2013-05-13 16:46:00 -04:00
Vincent St-Amour
88ddace934 Fix type of sinh. 
Found using random testing.

original commit: 5de08f06b4d254d4816b8e8320fd339be5c78038
 2013-05-13 16:46:00 -04:00
Asumu Takikawa
52fd460618 Remove debugging instrumentation 
original commit: ec8e126a90acfb71e335351261c9227ec3cf4d14
 2013-05-10 15:43:11 -04:00
Asumu Takikawa
826c793324 Add tests for commit e53b0858c32b845482 
original commit: ae7741fe60c29fab381e3bd1a84c94d659bcf53b
 2013-05-10 15:42:41 -04:00
Eric Dobson
1b953365ea Cleanup tc-lambda-unit. 
original commit: 2a94ca90300373e3da6f5f45a198bf18b64a1857
 2013-05-08 22:59:40 -07:00
Sam Tobin-Hochstadt
6947e1d558 Refactor subtype.rkt not to use exceptions. 
Matthew suggests that using exceptions for failure
in the implementation of `subtype` is a performance
problem.  This commit removes all use of exceptions
for failure in subtype.rkt, replacing it with the
standard Racket #f/value option.

Extensive use is made of the `subtype-seq` form,
which is basically do-notation for the subtyping
monad.

original commit: a6f110893f988b9e5d2b0899c7389da1d9a17365
 2013-05-08 15:25:02 -04:00
Sam Tobin-Hochstadt
8824502b79 Add contract for seen parameter. 
original commit: da3f8f8ec0a8389dad070700708e6915805aa3e2
 2013-05-08 15:25:02 -04:00
Sam Tobin-Hochstadt
db1dc2104f Remove contract on unit-exported definition. 
original commit: a07cdf39ffa5e91bf4f44d6eb11cf8092c6c24bd
 2013-05-08 15:25:02 -04:00
Vincent St-Amour
983b94994f Fix type of tanh. 
Found using random testing.

original commit: 89f9b860cdcbdc8f401ac92436d3c17f98eda35d
 2013-05-07 17:06:35 -04:00
Eric Dobson
1c4fa12acd Move tc/send to new file because it doesn't belong in tc-expr-unit. 
original commit: 8db95d007a09b0ebad8d10d6b321dd36dd142355
 2013-05-07 09:32:04 -07:00
Eric Dobson
b10ead12a1 Move tc-literal to seperate file, as it doesn't belong in tc-expr. 
original commit: adbc516edfc66c5990ae2271c29e991837332de0
 2013-05-07 09:32:04 -07:00
Asumu Takikawa
9bd2ec6917 Remove commented code and random line breaks 
original commit: 1c9fe6a83a5ee09449c9d7772d36d5b621c76362
 2013-05-07 11:05:29 -04:00
Asumu Takikawa
addfa108a6 Style guideline compliance 
original commit: 37d44ebb38bb1d8cf57b5c3a0e13e274a931773f
 2013-05-07 11:05:29 -04:00
Asumu Takikawa
33bda830b4 Remove unnecessary prefab struct declaration 
original commit: 541966daaae08ecace866b5a13087c0291410fe6
 2013-05-07 11:05:28 -04:00
Asumu Takikawa
a68d2c2029 Add comments, purpose statements, and contracts 
original commit: bb2ecbf8cb066021bc6b1360b488580b3cf2ffc2
 2013-05-07 11:05:28 -04:00
Asumu Takikawa
bf3afb8383 Fix printing of tc-any-results in type errors. 
In the long run, these error messages should get
simplified so that this printing is not necessary.

Closes PR 13577 and PR 13526

original commit: e53b0858c32b845482d8d9b5f5559df6f143cff7
 2013-05-03 15:13:18 -04:00
Asumu Takikawa
e484bddc23 Refactor and add purpose statements/contracts 
original commit: 64e1b68c8d1718a0cd7ace92e12d1d6055a22628
 2013-05-03 15:13:18 -04:00
Asumu Takikawa
3dd4d70d65 Fix docs for Opaque 
Closes PR 13531

original commit: 7c96321cd43540aad9f444000fb1fb1449d086e8
 2013-05-03 13:10:31 -04:00
Asumu Takikawa
685597c05d Clean up struct: and disallow unsupported options 
Related to PR 13562

original commit: c3b80bee410ca42a7c2f22e907bfdd91ac6ca7c7
 2013-05-02 18:31:58 -04:00
Eric Dobson
7334565445 Fix require/untyped-contract to generate better names in contracts. 
Related to PR 13716.

original commit: 9c71dafb630e66035a102636cdc5aa84c0ae7940
 2013-05-01 20:35:20 -07:00
Eric Dobson
2e802bc3bc Fix contract generation for mutable structures. 
original commit: de96643fbe9e50b9554805b2aec199b8bc38962a
 2013-04-29 20:45:49 -07:00
Eric Dobson
bb3f8c1885 Make structs initialize to constant instead of covariant. 
original commit: 7735aa57998c1107913578fce954376977f197c4
 2013-04-27 11:50:57 -07:00
Eric Dobson
1c04aec678 Cleanup names-of-struct 
original commit: 154ab046fe58bf15c7cc6eb5e2a4671d07edea14
 2013-04-27 11:21:29 -07:00
Vincent St-Amour
f324fecbe1 Explicitly flush output after printing random testing seed. 
original commit: 056a6044e59a9a44ea4acac1d682e5824583b2d6
 2013-04-26 14:16:55 -04:00
Vincent St-Amour
9998f2c0b2 Document VectorTop and HashTableTop. 
original commit: 457ca0982f941372409dec2c03ed46ca9847a097
 2013-04-26 12:27:02 -04:00
Vincent St-Amour
e00e836160 Allow read-only hash operations to accept HashTop. 
Closes PR13710.

original commit: e6ff57f3bda3f7521722351ed8c3a799d6b99464
 2013-04-25 17:29:10 -04:00
Eric Dobson
479f3be677 Make type->contract correctly respect variance. 
Track whether we are protecting values from the typed side and/or the
untyped side.

Closes PR 13662.
Closes PR 13663.
Closes PR 13665.

original commit: b5b13222c8eaf7e2152b77ab21d21568103c55c8
 2013-04-25 08:29:37 -07:00
Eric Dobson
083f913c7c Allow requiring functions with filters in contravariant positions. 
original commit: dbcb1414dadd6fb125b5527d9b0d8853dd1ce616
 2013-04-25 08:29:37 -07:00
Eric Dobson
5aec0c0c1b Switch out? to from-typed? as it has the same meaning. 
original commit: 03e1ffda3e1c27c982b6ed4681d7d1bc2037b643
 2013-04-25 08:29:25 -07:00
Eric Dobson
c07428390d Cleanup tc-app-helper.rkt. 
original commit: 62f74cda0e559ac322236f63a32c5b344dbd9181
 2013-04-24 23:31:12 -07:00
Eric Dobson
d66ef4fb11 Cleanup requires in tc-apply. 
original commit: 11bd5314e278e15b44ecc2b224954c5104ff3bec
 2013-04-24 23:13:04 -07:00
Eric Dobson
deb336738c Minor cleanup in subtype.rkt 
original commit: b9c4582746524c1063564ad306194fd0ba4069a0
 2013-04-24 23:13:03 -07:00
Eric Dobson
68d34aa059 Fix subtyping of (ListDots t 'a) <: (Listof t). 
Closes PR 13636.

original commit: 6898a7c880f1a37219e61d420ed6610a4d24f384
 2013-04-24 21:08:18 -07:00
Eric Dobson
a0d7d71599 Fix expected type when typechecking map 
original commit: 863ac053328b0df54cc10a0724274f7d110d6d49
 2013-04-24 20:13:39 -07:00
Eric Dobson
7e7641c8e9 Don't let map introduce type variables. 
Closes PR 13581.

original commit: 67dd956b6acf5533cd2551cac7fd618eca839261
 2013-04-24 20:13:39 -07:00
Eric Dobson
929134d7ce Fix up lazy-requires and dynamic-requires in TR. 
original commit: 611b22ff0421d46288f987a7668fb942cb70a01e
 2013-04-24 18:46:44 -07:00
Eric Dobson
4d72cbffa0 Small TR fixes. 
original commit: a94c449ff1d7e6eb299c06d8be2da681d1b99d9f
 2013-04-24 18:46:44 -07:00
Eric Dobson
211f0fcd58 Use information of application site, to reduce possible arities. 
Closes PR12905.

original commit: 55aba088decf0c243a7d5d0cf912e03efc524d40
 2013-04-24 18:46:44 -07:00
Eric Dobson
7a5f8c29ac Add polydots to all things that support it. 
Closes PR 13612.
Closes PR 13584.

original commit: 2e2ef0b57aa5ca5c87d86e035e633cd265f94d9f
 2013-04-22 21:03:00 -07:00
Eric Dobson
6b45173588 Correctly protect Procedures in TR. 
Closes PR 13664.

original commit: fc36c12ce4df96cca4df053fa5e0f4c4969b7e8a
 2013-04-22 21:00:52 -07:00