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

2515 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Asumu Takikawa
18c35d93f8 Update TR base environment 
original commit: bab1997e58a3a2e69f4601047461dbfe39987b8d
 2013-06-11 11:57:22 -04:00
Vincent St-Amour
9690eda145 Fix type of gensym. 
original commit: c070aaecda49a0128a0db7bcab2354423a4b8f1b
 2013-06-07 15:24:22 -04:00
Asumu Takikawa
88c2fecdf7 Improve TR test case 
original commit: 75f0c88feb1586adb445e892f44a19b97bfe4293
 2013-06-07 15:14:18 -04:00
Asumu Takikawa
8d9464940b Fix union merging 
Trying to merge (and thus resolve) applications of struct
types would cause infinite looping on type instantiation
if the struct type used both a union and recursion.

Closes PR 13821

original commit: c8e281a80e707cb19014a962df40b466c532910c
 2013-06-07 15:14:18 -04:00
Asumu Takikawa
154824c9af Add match*? to unstable/match 
original commit: 12e5bc645bf6e4c8c74cd6460efefccbf5a5680d
 2013-06-07 15:14:18 -04:00
Vincent St-Amour
a598ba1617 Fix unsound fxquotient optimization. 
Closes PR13827.

original commit: 5e304161100ee53c1150476b837e21a1baa820f3
 2013-06-06 13:20:30 -04:00
Vincent St-Amour
f8cbf0dccd Fix unsound unary fixnum subtraction optimization. 
Closes PR13826.

original commit: 93d4a5d4266511166de9e8549afec89922a4eb84
 2013-06-06 13:01:43 -04:00
Asumu Takikawa
a8abe6ce83 Add a few more comments for inference modules 
original commit: 6014c78a553ae454cd8b8d8f3d485295b3e5328d
 2013-06-05 16:18:22 -04:00
Vincent St-Amour
11e047d3f9 Turn off TR contracts. 
original commit: 145f8711c8c203a8e988a30ff53d5839ca536386
 2013-06-01 08:15:10 -04:00
Vincent St-Amour
b4596464ae Fix TR contracts. 
original commit: 404fdf00f3dd9a535497d62026687b9c4ff327f4
 2013-05-31 21:08:52 -04:00
Asumu Takikawa
f9efcae75e Fix type in error case 
original commit: e0acdf1fc11d9e4a713a7ad2b948641197cb1b0a
 2013-05-31 20:19:12 -04:00
Vincent St-Amour
51c5197974 Fix contracted TR build. 
original commit: b5f7a7ffb2996279ebb78b63f8d8edb05431e1c7
 2013-05-31 20:14:21 -04:00
Asumu Takikawa
2bbe532149 Restore commented for loop 
The bug this was blocked on seems to be fixed since the
tests now all pass.

original commit: 44976565449e3f6133c2c66d7006be999cea5606
 2013-05-29 13:09:01 -04:00
Eric Dobson
ffa2c55dc9 Remove unnecessary loop in tc-app-objects. 
original commit: 7c87a975a6fc28c0d395d0d6144467ad0bd00f00
 2013-05-29 08:59:37 -07:00
Eric Dobson
032fffb911 Cleanup tc-app-objects a bit. 
original commit: 16afe191d8c39d518f6496a45a89e9de05f6921b
 2013-05-29 08:59:37 -07:00
Eric Dobson
ce0e58646c Make tc-app-object use a real dictionary. 
original commit: e54e67fc29569d15877871c85ebc2b9aa2e7a0c9
 2013-05-29 08:59:37 -07:00
Eric Dobson
1d880bc498 Reduce duplication in construction of syntax-infos. 
original commit: c851fad6bc4de6f7186f3984d67a9a6d6f647dce
 2013-05-29 08:59:08 -07:00
Eric Dobson
72fa8e0898 Remove duplication of type-variable duplicate detection. 
original commit: 1bcdeaea24d595cd6c79c72b8c961c4fefcaeb5f
 2013-05-29 08:59:08 -07:00
Eric Dobson
6c5372e15f Make TR's lambda not do datum->syntax. 
original commit: dce13a36b97307abed9d0c3e40a0930476016ef1
 2013-05-29 08:58:43 -07:00
Eric Dobson
8663df8104 Remove unused code. 
original commit: 698080afc080026642ac04168bec6b08503b66b2
 2013-05-29 08:58:43 -07:00
Eric Dobson
d96ef32a30 Remove unused feature. 
original commit: 18bddbacd28e4c03f5c8fc7fbb924de8963bb80f
 2013-05-29 08:58:43 -07:00
Eric Dobson
83e278386c Make tc-toplevel always return a list. 
original commit: 90cebbe45499c8d6826a7896e7b27965bf937b14
 2013-05-29 08:58:43 -07:00
Eric Dobson
be464d2383 Fix documented type, and remove unnecessary or. 
original commit: 7618cac88e098a364f1541ec559d3e797134112f
 2013-05-29 08:58:42 -07:00
Eric Dobson
1fd01540ca Add test for duplicate annotations. 
original commit: 6033c497951eb51870e8d1327fe76eecad6e102a
 2013-05-29 08:58:42 -07:00
Eric Dobson
098b654d64 Make printing complex filters not be on by default. 
original commit: 4a328ecd0b26a07cc882b6c84edc8828dd17da80
 2013-05-29 08:58:42 -07:00
Eric Dobson
4183847f5a Use stx-list? instead of syntax->list. 
original commit: 04a8fd5433b6634b75b2f1b5d8f629ad3c246c84
 2013-05-29 08:58:42 -07:00
Eric Dobson
c88ec2b5ec Cleanup some syntax->list uses in the optimizer. 
original commit: cea9472b318fa3e0bf608d58732a89aa107a6c0d
 2013-05-29 08:58:42 -07:00
Eric Dobson
611b61ca36 Cleanup flonum-op check, and contract fixups. 
original commit: df3d6fd31c47b092830659c1f0ef9bdfdbc1c001
 2013-05-29 08:58:42 -07:00
Eric Dobson
df3d26c487 Remove unused code. 
original commit: 564a7bcf2f95d1aa3bc879f4266fb64ddd73a9ff
 2013-05-29 08:58:42 -07:00
Eric Dobson
3787cd68f2 Removed unnecessary require. 
original commit: 1c4a6546d0c6c50196d63b09c49aa4ed35f6e789
 2013-05-28 20:44:35 -07:00
Eric Dobson
dd66ef95ce Share definition of erase-filter. 
original commit: edc3b60b676f230e627bf89b521c782a10980d1b
 2013-05-28 20:44:15 -07:00
Eric Dobson
f0c936171c Use abbreviations for filters. 
original commit: a76d57fa88592590cc85a1eddca324782270b615
 2013-05-28 20:43:13 -07:00
Eric Dobson
9827a652a4 Move from syntax->list and map to stx-map. 
original commit: 9af426b99f165a64e4baa1451832b8e996bd9517
 2013-05-28 20:31:09 -07:00
Eric Dobson
fbea3dce95 Move from syntax-map to stx-map. 
original commit: 3e4a8acf70e96be87ec72ed8280bee8db3327386
 2013-05-28 20:31:09 -07:00
Eric Dobson
7ed2a1540b Make TR use syntax-length instead of (length (syntax->list x)). 
original commit: 4af6b6ffcfefe047a2d77723a50476324146824a
 2013-05-28 20:31:09 -07:00
Eric Dobson
2960e2663f Use in-syntax instead of in-list/syntax->list. 
original commit: 83f38f4d3bc7813ce2574a37b0831e0b9e4e0546
 2013-05-28 20:31:08 -07:00
Eric Dobson
a5311c029c Make for loops in TR use an annotation when applicable. 
original commit: f6050d5587ce33d46d4ea3b4698582fcf78eed23
 2013-05-28 20:23:46 -07:00
Eric Dobson
469244b914 Consolidate the rest of the syntax properties in TR. 
original commit: 4310f04eaff40deb1d348ce10083b361db24eadc
 2013-05-28 20:22:55 -07:00
Eric Dobson
e4948f79c2 Centralized typechecker:ignore properties. 
original commit: a325e380466fb5380782e2e2570024af29584d36
 2013-05-28 20:21:58 -07:00
Eric Dobson
087eb91881 Centralize the definition of the plambda syntax property. 
original commit: df07151cb925ccbc61b68021bc47b4eda9614b0b
 2013-05-28 20:21:57 -07:00
Eric Dobson
8b324b1fb5 Make resolve actually do all the necessary resolutions. 
original commit: 84d3051feeaca7451c8bfc7f8e0f7abad7475830
 2013-05-28 20:21:31 -07:00
Sam Tobin-Hochstadt
0e3f79d89e Register scoped type variables for internal def. annotations. 
Closes PR 13793.

original commit: 499bcefa1d2a8fa010a370aded638a9306008424
 2013-05-28 18:03:41 -04:00
Sam Tobin-Hochstadt
74c39aad99 Use submodules instead of marking tricks for identifiers in docs. 
original commit: 64df4cef13c1a43ff77f349595432d511aa20fcd
 2013-05-28 17:28:42 -04:00
Vincent St-Amour
d4c3107477 Fix broken test, again. 
original commit: 0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5
 2013-05-28 15:45:09 -04:00
Vincent St-Amour
4fb08dd826 Fix broken test. 
original commit: 069ff59a4bd6a988a5670c7e4dd38c1dbbe12ec0
 2013-05-28 13:08:00 -04:00
Vincent St-Amour
724cd37520 Don't splice in vector creation when optimizing vector-length. 
Closes PR13788.

original commit: d9264525bd823052cd456df0caa900eac2d87ed3
 2013-05-28 11:57:00 -04:00
Asumu Takikawa
60f3bcbc46 Fix broken internal error 
original commit: e6503c5df67327dd3d607b8197e99e6b619ba4b3
 2013-05-27 11:34:43 -04:00
Eric Dobson
222c57e023 Minor whitespace fix. 
original commit: b9b1eb14ba04b164567648b211690343fe342b2b
 2013-05-25 18:09:47 -07:00
Eric Dobson
d27d91a4fe Make scoped type vars work only for explict Alls and annotations. 
Solves major issue disscussed on PR 13586.
Closes PR 13622.
Solves issue when typechecking lambdas with types like (All (a) Any).
Closes PR 13596.
Closes PR 13539.
Closes PR 13703.

original commit: 01a88f8db11be5769c83f5dc561c9afd0df3c378
 2013-05-25 13:01:02 -07:00
Eric Dobson
f994980176 Add a test which times TR module loading. 
original commit: 803f1db884590511629f79869a801086cb47c2e0
 2013-05-24 20:42:01 -07:00