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

3711 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Eric Dobson
0dee5c804f Add support for poly dotted types below tc-any-results. 
original commit: beb981e2af31b0ad6e9ca51e2a29f54a755ae8ad
 2014-04-04 21:22:32 -07:00
Eric Dobson
bb45c93b71 Add value-mismatch to check-below, and fixup some poly dotted cases. 
original commit: ec14598ad88574294b00e003aa929478a5b36018
 2014-04-04 21:22:32 -07:00
Neil Toronto
8e5b550ee8 Documented typed/untyped-utils 
original commit: d68786555695ec197ffc3dcd31e783beb36f348e
 2014-04-04 19:02:45 -06:00
Vincent St-Amour
58b694fff1 Optimize fx->fl when safe. 
original commit: a21caa361cd31fa3b6d553d8f7126aa503e6a015
 2014-04-04 14:57:02 -04:00
Eric Dobson
56beba63d3 Make it so that handlers lookup arrities other than the first. 
Fixes current build breakage.

original commit: 6b0676ef2bc697ed39bff52e32dcfa3a9199f3aa
 2014-04-03 09:29:33 -07:00
Eric Dobson
06fe71fe1e Add a bunch of new check below tests. 
original commit: 87cfce97f9912179bad9c6e8be8339819293f896
 2014-04-02 21:45:02 -07:00
Eric Dobson
cf64a7d914 Add contracts to filters. 
original commit: bddd7a1b53f7df7dbb42d3ebd32993b4c6bc37d9
 2014-04-02 20:58:36 -07:00
Eric Dobson
751a9aa46a Make open-Result not incorrectly close over rest and keyword arguments. 
original commit: 448c66a7a82a30ddd3f1ad536638b3a0ad5f9c67
 2014-04-02 20:58:36 -07:00
Eric Dobson
9f76a941ed Make exception handlers smarter about opening the result. 
original commit: d29df205f7bb8347f60c82206b74e3e167e2de24
 2014-04-02 20:58:19 -07:00
Eric Dobson
67a3a9ff44 Add some HISTORY lines for TR 6.0.1. 
original commit: ec77c70b7937fae4e41ba758acec12709c408978
 2014-04-01 22:02:15 -07:00
Eric Dobson
4edd8ce157 Use filters when typechecking using tc-body. 
Closes PR 11920.

original commit: dd8b646b0b3a0fd7905467f275f0f786eac958dd
 2014-04-01 21:44:41 -07:00
Eric Dobson
7deea2e51f Add smart constructors for Result and tc-result. 
original commit: 4a7dd75ffd3516359558ed54d2ac5b033c331a6d
 2014-04-01 21:44:41 -07:00
Asumu Takikawa
e7236bb4d0 Fix TR docs for the addition of typed/racket/class 
original commit: 636e79d672479b62bddb54f626b504dbeb7b535a
 2014-04-01 18:24:46 -04:00
Asumu Takikawa
33f2db5b1f Real fix for the issue in the math docs 
Commit 92b0e86ed1cf0270730c004211387b3fdc4b0469 turns
out to have been the wrong approach, because there was no mysterious
performance problem with TR. Instead, TR's `define` expanded to new
code that interacted poorly with a macro used in the math docs.

I've kept the refactoring from that commit because I think it still
makes the code clearer, but I've removed the now extraneous comment.

original commit: 8a93eeb52bd7c98c5a060ca019bdc8f4c5a0b09c
 2014-04-01 00:31:10 -04:00
Asumu Takikawa
a14f3785fc Refactor TR define to avoid a performance bug 
After commit 3d177e454ea3634060a4b9b0814f588bc7c74e49
running the main `math.scrbl` file would show peak memory
usage of around 600-700MB when before it was around 400MB.

The proximal cause appears to be the expansion of TR
definitions, which added an extra `begin` in some cases,
combined with redefinitions at the top-level. I don't
know the core cause yet.

Thanks to Matthew for pointing out the issue and to
Vincent for helping with debugging.

original commit: 92b0e86ed1cf0270730c004211387b3fdc4b0469
 2014-03-31 18:21:04 -04:00
Sam Tobin-Hochstadt
617a24e932 Fix typos spotted by Ambrose Bonnaire-Sergeant. 
original commit: d3ddd3a0d4f36ced0911e8e50a896176611fe941
 2014-03-31 11:22:17 -04:00
Sam Tobin-Hochstadt
ece77b55cc Add a test for 2dmatch + Typed Racket. 
original commit: 78987ef608f3afaca9452f322022d1d8ee41664d
 2014-03-31 10:37:03 -04:00
Sam Tobin-Hochstadt
fed14d647a Respect typechecker:called-in-tail-position when calling non-thunks. 
original commit: 52c5d9fde6ae4a9c6208b473d5a208f3bf18d501
 2014-03-31 10:12:29 -04:00
Sam Tobin-Hochstadt
24b5bf0edf Turn timing logging on unconditionally. 
original commit: 70e74b20d927ddf0454e1ba0a7daf4db6dc49405
 2014-03-31 10:12:29 -04:00
Asumu Takikawa
43b4206784 Remove unused require in class-prims 
original commit: 98abb8eb900e73c541da181833f1b143ad31142a
 2014-03-28 16:19:04 -04:00
Asumu Takikawa
43ed379c60 Fix for commit dd239f3 
Forgot to commit the edits to the tests for the
reorganization in the last commit.

original commit: e9f7f3de93437542c4c7efb01dd480ac436380db
 2014-03-28 16:19:01 -04:00
Asumu Takikawa
8b873506de Cut out class dependencies for typed/racket/base 
Use (require typed/racket/class) for classes when
using #lang typed/racket/base

original commit: dd239f3d4faf4f501be3dbea313b8f192c8069fe
 2014-03-28 14:01:23 -04:00
Eric Dobson
5dfa1681ae Make domain-mismatches have a more sensible default value. 
original commit: 4e51b1d737004bd6d7b21c8d5f1b9d251174cb89
 2014-03-27 09:17:56 -07:00
Eric Dobson
860f0933df Fix misuse of expected in tc-keywords. 
original commit: 2bb3fa9138db98fb77a0c2cf9adb4ce0d28af3da
 2014-03-27 09:17:56 -07:00
Eric Dobson
ace04bc75c Fix misuse of expected in tc-funapp. 
original commit: eaafd418d977dd77507b56b6cd8e9f0db4fcc5b6
 2014-03-27 09:17:56 -07:00
Eric Dobson
c1a888eb1b Add test cases for fixed PRs. 
Closes PR 13191.
Closes PR 13290.

original commit: 41ea8f3358fc286e44928f510fd7cb37be48f7b4
 2014-03-26 23:33:40 -07:00
Eric Dobson
6d2bc8c4ea Make TR work with contracts enabled. 
original commit: 917fa3aeb7bae505716ad1e6794df6bb5c796edb
 2014-03-26 23:33:39 -07:00
Eric Dobson
9a7e34674f Make tc-error/expr return (ret -Bottom). 
original commit: ca3411155f4257e890cb2eb52d0ab1896e0199ea
 2014-03-26 23:33:39 -07:00
Eric Dobson
a79ba7561d Replace tc-error/expr with tc-error/delayed where appropriate. 
original commit: ef98a582cb4ebf582c67244cf170d1c2a3ac1d3d
 2014-03-26 23:33:39 -07:00
Vincent St-Amour
dc06d868ed Make TR random tester more robust against special values. 
original commit: dd943c8754203a232af704b6a8f70c8242885894
 2014-03-26 14:16:36 -04:00
Vincent St-Amour
c23c422e04 Refactor testing grammar. 
original commit: 35f7a9a0e7913bc1fc16f8f635e381079f58f96c
 2014-03-26 14:16:36 -04:00
Eric Dobson
68479c60f8 Add invert-filter and use it in -imp. 
original commit: a662f72c9ee90969f6e45afa25db26661f5cf59a
 2014-03-26 09:15:28 -07:00
Eric Dobson
4311b0b052 Make let correctly implement the TC-Let rule from the paper. 
original commit: b9e7d087bae3ea5d9a46a426607d4986e7bc189d
 2014-03-25 23:07:50 -07:00
Eric Dobson
6864b0fb79 Remove unused clause arguments in tc-let-unit. 
original commit: 4876d7d320707c3469dd3ae97c5f126187744385
 2014-03-25 23:00:27 -07:00