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

3368 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
163f6c627f Add quotes to error messages from tc-apply. 
original commit: 209be3b9ac76ab3d611b5800aae0bd1c77426abf
 2014-04-30 23:38:55 -07:00
Eric Dobson
8066e77839 Merge checks for empty case-lambdas in apply. 
original commit: de1c9a1162ffd11f4b61229e9a88f367d3cd54f6
 2014-04-30 23:38:55 -07:00
Eric Dobson
5e3baa82c9 Cleanup non poly case in apply. 
original commit: c91a91212955641e8b7fba1feac6b22b5bd65fab
 2014-04-30 23:38:54 -07:00
Eric Dobson
f7380b0a09 Cleanup Poly cases in tc-apply 
original commit: ab2877ed7f09dd8e3b2142ea8a1bcc9aa7d3beaa
 2014-04-30 23:38:54 -07:00
Eric Dobson
e0a792bd78 Make apply work with more initial args than in the type. 
original commit: 33a31d28681d3e382f0395e1fb77f0ccdd6db027
 2014-04-30 23:38:54 -07:00
Eric Dobson
34575cbb0f Allow apply to work on lists with minimum length. 
original commit: 3e3e79cf1f1fa46f085da41c3f20d7286dc65940
 2014-04-30 23:38:54 -07:00
Eric Dobson
b0da322f03 Replace uses of untuple with List:. 
original commit: 347b15661a5ed3fb478257618e397c4722e03744
 2014-04-30 23:38:54 -07:00
Eric Dobson
3219e6ca6b Cleanup PolyDotted case of apply. 
original commit: e6b2268f2ce2d75d06ec8e26ade6b3d4b49667f7
 2014-04-30 23:38:54 -07:00
Asumu Takikawa
63e2fa1bda Improve TR's overlap checking for StructTop types 
Closes PR 14458

original commit: eb006a0e9ec78d0d0657fbf8587ba8b5106419aa
 2014-04-30 15:03:17 -04:00
Eric Dobson
fe6cdbc35b Make tc-results: and Results: not use ... over patterns. 
This avoids a case where match is silently wrong.

original commit: 2f032184ca98d02cdf330ac8d3f5095d37c09252
 2014-04-30 09:48:39 -07:00
Eric Dobson
22eb5e27b8 Allow more inference on ... lists. 
original commit: 78fbdfec0be3d8173856737f46db6809d75e76ed
 2014-04-29 22:27:39 -07:00
Asumu Takikawa
ef5b55b293 Refactor TR's no-check-helper module 
original commit: f60908c7aa2eebc65a539f215d2a174e1833367c
 2014-04-29 22:47:03 -04:00
Asumu Takikawa
bab7477b80 Fix require/typed in no-check mode for structs 
The constructor name was handled incorrectly for TR's current
defaults. Also support the extra keyword arguments.

original commit: 6e8ad865240aa9a92b6dd6fef91f42dcb117e4b2
 2014-04-29 22:35:17 -04:00
Asumu Takikawa
36a34fd3ea Update require/typed in no-check mode for keywords 
Closes PR 14463

original commit: 2a32c588157263489c4928fa90c50409dbb3b87b
 2014-04-29 21:28:08 -04:00
Asumu Takikawa
23b147607f Remove code that handles #<undefined> in TR 
TR no longer needs to handle #<undefined> because the value
no longer leaks out from uninitialized variables. However, uses
of uninitialized variables are not caught by TR (they are treated
like errors from the `error` function).

original commit: 715d596e47b7c5cbd7b17ff36ceea73678c7071f
 2014-04-28 14:14:00 -04:00
Eric Dobson
f49ef7b662 Add tests for new letrec semantics. 
Closes existing bugs because the old broken semantics is now right
because of undefined changes.

Closer PR 13303.
Closer PR 13333.

original commit: 8372ee9f6d5a08e6fe89ca681ea63be5ed34496e
 2014-04-27 12:51:03 -07:00
Eric Dobson
69f5da8531 Add a test suite for infer. 
original commit: d38737836e483b78cc6697a474f9fcb26573d092
 2014-04-26 09:48:11 -07:00
Eric Dobson
fcb558d2b1 Fix apply with (Listof A) args. 
Closes PR 14465.

original commit: b42e0d8d68f19c4cc80bb23f1cb1a383edeba322
 2014-04-25 21:34:27 -07:00
Vincent St-Amour
de03b2dee5 Revert edit to expected result. 
original commit: 6341cb3026ca5671dd228d9c110f378b8166c3b5
 2014-04-25 16:57:06 -04:00
Vincent St-Amour
9688d1a083 Keep dead case-lambda clauses around to avoid changing arity. 
Closes PR14468.

original commit: ce3033a0c7e0c3f0eede89ddd18862161d89e18b
 2014-04-25 13:44:56 -04:00
Vincent St-Amour
5af4daf7d9 Avoid precision problems in TR tests. 
original commit: d30546cb7ddd80e6fd2eeaa0ab3da7ebfb2f35be
 2014-04-24 10:48:26 -04:00
Vincent St-Amour
b00549fc38 Add missing forms to TR docs. 
original commit: 842137fc295e98663d1d5ec8f1f5ea188ca014b8
 2014-04-24 10:48:26 -04:00
Eric Dobson
9bf4fa62e0 Fix inference for dotted and starred arr types. 
original commit: 7a435b154ca517b1fcae2ddd3f4387e8f2f82ef0
 2014-04-23 23:57:11 -07:00
Asumu Takikawa
7d10ce5d54 Add remaining racket/list functions to TR base-env 
original commit: d731a02fa5d795809eef3b094f8cd10da29e14d1
 2014-04-23 18:42:12 -04:00
Vincent St-Amour
6e6538269a Optimize expt on floats. 
original commit: 4d36910026c5be17cd2e9b5ac98ace11345659e6
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
da4f537424 Be more conservative when reporing potentially exact arithmetic. 
original commit: 2adc374fc681d5ab031cf8889103bf77fadabfcc
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
a376f2946d Typo. 
original commit: e8e007badf3fcc9e64fb5c9f47bbdc2ef870a2ff
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
59703ec524 Fix extflonum tests for line numbers. 
original commit: 47abc2f00b928088893afdeac0bc6f77478d9f1c
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
7ebc2f2f32 Add extflvector optimizations. 
original commit: e41e91f55146e735c4dd67d02e0cf4c3c78a1f9a
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
a4378704a2 Export the ExtFlVector type. 
original commit: e5e5a4547f998da31ad22d9595ee458bc0eecf1e
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
236e27b9ec Tests for extflonum optimizations. 
original commit: b96776105c0f2bf1ccfec56d10832c0486a181f2
 2014-04-23 12:45:37 -04:00
Vincent St-Amour
1d360bdcb0 More extflonum optimizations. 
original commit: 0a8b3845dd657865c6b39f83f7226bf952a04ce1
 2014-04-23 12:45:36 -04:00
Vincent St-Amour
b5de283ce4 Add missing forms to TR docs. 
original commit: 228687226a8269b68dce5b05f2cd81b463621b08
 2014-04-23 12:45:36 -04:00
Vincent St-Amour
ebf87fd795 Basic optimizations for extflonums. 
original commit: 171d874757ffd111aa3bd5c4d17ca01251144c68
 2014-04-23 12:45:36 -04:00
Asumu Takikawa
ff31fe4e07 Re-enable and fix a TR class test 
It turns out the test was wrong instead of the implementation.
In particular, it reversed the internal/external name and thus
the error it failed with was correct (though not the intention of
the test).

original commit: e230456fd7fe971204d5c11978e12576d2e4619c
 2014-04-23 12:16:20 -04:00
Asumu Takikawa
63efae6fff Remove unnecessary class typechecking code 
Also add a test for this part of TR. In particular, it
handles registering syntax definitions that are found in
a class body.

original commit: 92bdd84b079b23f91c0d6088dd5f3690d2d7f796
 2014-04-23 12:16:12 -04:00
Vincent St-Amour
ceb3a6d5ef Small oversight in random testing. 
original commit: 22ff5d15633968f86e42d3e88b07437608ef2917
 2014-04-22 17:25:02 -04:00
Vincent St-Amour
fb70969f1a Add single flonums to TR random testing. 
original commit: 4c19f273cd785929ef84d6c2020ffd3115fcb387
 2014-04-22 17:24:34 -04:00
Vincent St-Amour
d0f6cac951 Consider underflow in float conversion functions. 
Closes PR14462.

original commit: a39b89bb7dae491f779fbcfa51ea0105c3b46c9a
 2014-04-22 17:16:50 -04:00
Vincent St-Amour
42ee5977b6 Reminder to add optimizations for extflonums. 
original commit: 1d50afca0cc73435a8e1860410aa3497a46fb022
 2014-04-22 17:16:50 -04:00
Neil Toronto
aebf0385e4 Added ExtFlonum (and subtypes) and ExtFlVector to the base type environment 
original commit: 85deab7cb83fd7010b3310f74eb397a4a2be50e1
 2014-04-22 10:45:40 -06:00
Eric Dobson
04482d9cc2 Add contract enforcing expected values don't get returned. 
original commit: 67805b9f046bfba716d04c3f7395b115250be7d6
 2014-04-22 08:57:01 -07:00
Sam Tobin-Hochstadt
404fceb7d6 Fix definition of defined?. 
original commit: d47c85be22f5c55149a458c8940fa53567b241b7
 2014-04-22 09:57:43 -04:00
Eric Dobson
039db05530 Fix case lambda to only check cases with arities that haven't been covered yet. 
Closes PR 14459.

original commit: 00e05020d8140e9ea8beee8ab87f7c0bee2dcd75
 2014-04-21 22:54:36 -07:00
Eric Dobson
5cffd676b3 Fix broken case in case-lambda. 
original commit: 2613994ca7de79fead425b376f9a12ee3f54a763
 2014-04-21 22:54:35 -07:00
Eric Dobson
55f79f9403 Fix removed require. 
original commit: fdbe0d3f275a619c4c232d0a428dfa843d363de5
 2014-04-21 22:54:35 -07:00
Matthew Flatt
9c58e1e8cd fix taint-transparent syntax to lose lexical context 
When submodules were introduced, the handling of taint-transparent
syntax changed to keep its lexical context. Restore the original
behavior, which is necessary to protect bindings, and fix taint
handling on submodules.

original commit: 4e3ff69798b4d1037fd865fa7715a2e77dd7a9ba
 2014-04-20 20:20:33 -06:00
Asumu Takikawa
2b3e3d11d5 Improve code for checking init args for TR classes 
original commit: b2f9bf6e9eed9c1e71923225adb5340046c725b4
 2014-04-19 00:08:28 -04:00
Asumu Takikawa
3e9cb6c332 Adjust TR class error messages 
Use the new error message format for most cases.
Convert some internal errors to use int-err.

original commit: 39aacf8239523a7eb45b307d9fd4bb0b45babc10
 2014-04-19 00:08:28 -04:00
Asumu Takikawa
12e85ba9b6 Improve source location tracking for TR classes 
Closes PR 14400

original commit: e3349674a64571793accb7ee83fd3865baab0e20
 2014-04-19 00:08:28 -04:00