suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,320 Commits 13 Branches 1 Tag 9.2 MiB
fix-coverage-vector-access
Commit Graph

4320 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
789b158882 reorganize into core plus packages 
The "racket" directory contains a pared-back version of the
repository, roughly.

The "pkgs" directory everything else in the repository, but
organized into packages.

original commit: b2ebb0a28bf8136e75cd98316c22fe54c30eacb2
 2013-06-19 09:01:37 -06:00
Asumu Takikawa
f9551fb49a Only generate poly contracts for functions 
Closes PR 13815

original commit: bafaf520565d1237d47a6f575fd502d5901afd4b
 2013-06-18 12:07:40 -04:00
Sam Tobin-Hochstadt
c9f69a8ba4 Remove references to unstable/match from Typed Racket. 
original commit: aba4def03ce532c0e077f302bc2c2fe777f3912c
 2013-06-14 16:45:43 -04:00
Sam Tobin-Hochstadt
c05383c66c Remove uses of unstable/debug from Typed Racket. 
original commit: 536e3887bc72abd1219d32934d392ef173478ab2
 2013-06-14 13:51:32 -04:00
Asumu Takikawa
9f7bc9185d Remove memq, memv, member from #%kernel 
These are now implmented purely in Racket on all
platforms.

original commit: c305dba649ff9b09872aa5d215c5da1929b52860
 2013-06-11 11:57:22 -04:00
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