suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,345 Commits 13 Branches 1 Tag 9.2 MiB
remove-tests-output-pr323
Commit Graph

4345 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Asumu Takikawa
8e2a45002d Fix typecheck-fail in TR 
Closes PR 14449

original commit: 9e7b013a7d61dabe48785377f2e5f39f04def90b
 2014-04-18 11:15:35 -04:00
Asumu Takikawa
8a4093f154 More TR class adjustments for expansion changes 
original commit: 0ce0abb2c2a003872961be56fb24f290e2e3f023
 2014-04-17 15:34:58 -04:00
Matthew Flatt
bdc9416c8a make assignment-before-initialization an error 
Recent changes made use-before-initialization an error for
`letrec` bindings, `class` fields, and `unit` definitions.
Now, assignment-before-initialization is also an error.

original commit: 22b48e03c84305068c76881c8b0ab0d25d9273de
 2014-04-17 06:37:15 -06:00
Asumu Takikawa
3b079c5c86 Minor fix for TR docs for struct 
Please merge to v6.0.1

original commit: 4d7703770f3a2c139091893badb0768044fcb956
 2014-04-16 17:48:08 -04:00
Asumu Takikawa
98af937641 Fix TR reference docs for for 
Please merge to v6.0.1

original commit: e3f7aa4df200bf6250adb02d1ba8c547639960cb
 2014-04-16 17:30:19 -04:00
Asumu Takikawa
d31088b6cb Mark class support as experimental in the TR docs 
Please merge to v6.0.1

original commit: d6a3d27e54f778c29e46831b48e63d1f90029d05
 2014-04-16 14:58:48 -04:00
Asumu Takikawa
34872124d5 Fix TR class support for new class expansion 
Also add a type for `check-not-unsafe-undefined` which shows
up in the expanded code now.

original commit: 9aaaf98b321d3d39dc19a4a781c528b879e9a7a5
 2014-04-15 21:18:04 -04:00
Matthew Flatt
6e17926ba7 reduce racket/undefined to just undefined 
original commit: 4c947f188dd2701ccca7a8dc2c8146647c9eba57
 2014-04-15 15:06:28 -06:00
Claire Alvis
8e300317ee all necessary changes to check references to uninitialized letrec variables 
includes a new pass, letrec_check, two new primitives, and
changes to packages that grabbed the letrec undefined value

original commit: 72c958df628690ebc52a626d35cd4edcab0c7089
 2014-04-15 15:03:10 -06:00
Asumu Takikawa
0fa48211d8 Use racket/base instead of racket in TR 
original commit: ea8781e444873fe5adcee769f90f0015a8584232
 2014-04-14 00:56:15 -04:00
Asumu Takikawa
b9998344a6 Remove several unnecessary TR requires 
original commit: e4a7c83c5658906b055bcc6415eb51d35055142e
 2014-04-14 00:56:14 -04:00
Asumu Takikawa
0ca3e003cb Reduce dependencies of TR's base-contracted.rkt 
This reduces the dependencies of typed/racket/base. Avoid
bringing in type environment dependencies by manually constructing
a #%type-decl submodule.

original commit: 08bec9de9cc7a7bb93ff014ab1cab3287d9355d0
 2014-04-13 12:38:41 -04:00
Vincent St-Amour
addb3efe8c Fix type of sequence-filter. 
original commit: 6080e20ddf3f168776ff56ede0dfe2095b13d649
 2014-04-11 12:35:13 -04:00
Asumu Takikawa
0739eea863 Fix types in typed/file/gif 
Thanks to WarGrey Gyoudmon Ju for reporting the bug

Please merge to v6.0.1

original commit: 8c1206c06303b5ee3635bec2c04c6b8b594fd2ea
 2014-04-08 22:45:47 -04:00
Asumu Takikawa
527a0cb935 Fix internal-external name mapping for TR classes 
Please merge to v6.0.1

original commit: a11144c8f85d0d0c788e8139c22ed663dd7f5597
 2014-04-08 16:05:10 -04:00
Asumu Takikawa
c4b6f2d0ea Fix identifier-binding docs and types 
Closes PR 14262

Please merge to v6.0.1

original commit: 5eb1110040f73f21b68329c90fa3eee369dc5357
 2014-04-08 16:05:10 -04:00
Asumu Takikawa
61396f79ae Show a REPL type printing example in the TR guide 
Please merge to v6.0.1

original commit: 52cc507aa5dc4e8825c1dd3f8ad5516f969b2732
 2014-04-08 16:05:10 -04:00
Vincent St-Amour
fbc5326ae0 Preserve source locations. 
original commit: 81e357d3aea4fa3438f67d5bdb3ef7503804ce94
 2014-04-08 15:31:22 -04:00
Vincent St-Amour
34303c8300 Allow functions with rest args in with-handlers. 
original commit: d713a08cb596cad60cdf28f31b1ef34efe385731
 2014-04-08 11:14:22 -04:00
Asumu Takikawa
90266f4b80 Make parse-type errors align with new Racket style 
original commit: 5055a61a564842f3d62d9a8ca2fe125f01d6a58c
 2014-04-07 16:23:41 -04:00
Asumu Takikawa
dc3ef29b18 Catch #:row-var parsing problems in TR 
Closes PR 14434

original commit: e692edc180be26c92726dffd1a595d4db3e25560
 2014-04-07 16:23:41 -04:00
Matthew Flatt
79ba079b63 fix package dependencies of "typed-racket-doc" 
original commit: bd1dafdd1709087065431d9a212c8fbba5153d84
 2014-04-05 08:04:31 -06:00
Eric Dobson
7ceb48aa5a Remove a special case for NoFilter/NoObject in check below. 
original commit: c4f497bf2b01c974b81cb56a1d845a6132081e99
 2014-04-04 21:25:49 -07:00