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

2321 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
7c4051e62c Add subtyping for Parameters. 
Closes PR11992.
This required moving more stuff in to base-abbrev so that it could be
used in subtype.

original commit: ddb8e7f8076e057bf0ef7bb076a17170b5fd2ccc
 2013-02-20 21:25:02 -08:00
Eric Dobson
3908da65f5 Make struct types overlap with procedures. 
Closes PR11971.

original commit: 0b87c999b3113bf378f7c79578a6e65c28e1df67
 2013-02-20 21:25:02 -08:00
Eric Dobson
82337641a2 Fixes *-filter types and filter of zero?. 
Closes PR13275.

original commit: 13b205aa0a6387fe40207753941cccb4c3bed61c
 2013-02-18 11:56:59 -05:00
Eric Dobson
aeb152a92b Improve type of make-immutable-hash. 
Closes PR13297.

original commit: 36cc3220ea7e07b21b430d2accb373503ccfe7b0
 2013-02-18 11:56:58 -05:00
Eric Dobson
2f137e6e10 Improve types for exit and in-naturals. 
original commit: 7d6888f2291570d05e7cab2b632e6edbc733395e
 2013-02-18 11:56:57 -05:00
Eric Dobson
e457b15977 Add testcases for many already fixed bugs. 
Closes PR11901.
Closes PR11972.
Closes PR12022.
Closes PR12224.
Closes PR12506.
Closes PR12533.
Closes PR12596.
Closes PR13198.
Closes PR13418.

Already fixed bugs, with existing testcases.
Closes PR12529.
Closes PR12631.
Closes PR13127.
Closes PR13128.
Closes PR12970.

original commit: 7e88895bd03fed78028fc79c34856f162c7ba06b
 2013-02-18 11:56:55 -05:00
Eric Dobson
a51f55d04e Make lists with minimum lengths be a subtype of sequences. 
original commit: 5ed26e806bb890db0aa4c3482c5780d9203a6637
 2013-02-14 18:24:52 -05:00
Eric Dobson
4c543e9a5d Add a simple-Union and Bottom, and have code use them. 
Requires splitting out the match expanders from base-abbrev.

original commit: 3c31803c192ea9212f5f5f6be73cd1e62afa9853
 2013-02-14 18:24:52 -05:00
Eric Dobson
31397e96aa Make tc-let do unions correctly. 
original commit: b4beabc977b7e0ce1c4c1363e779079d28c6198d
 2013-02-14 18:24:52 -05:00
Vincent St-Amour
236548bf06 Fix optimization of unary complex - and /. 
original commit: 60959467cf68e3e7e7ec096c038e5e7aa42942cb
 2013-02-14 18:24:52 -05:00
Vincent St-Amour
7c65255791 Fix optimizations for complex unboxing. 
Omitted parts were not used properly.

original commit: c6029cacf83366e505e9c2d0742c1f311f79d73b
 2013-02-14 18:24:52 -05:00
Vincent St-Amour
23c105fa8d Improve a number of numeric function types. 
Closes PR13468.

original commit: 29a181175ffdc24470a811351733b7129000860a
 2013-02-14 18:24:52 -05:00
Eric Dobson
f78ac40491 Add tests for subtyping -poly. Closes PR13510. 
original commit: 67c6d7804d7ffb6c129b2f98a75e8650744c39ad
 2013-02-12 17:07:02 -05:00
Vincent St-Amour
5c11968cec Forbid singleton types for integers whose type is platform-dependent. 
Closes PR13501.

original commit: 0bccf6b0b0f425d7052338400b5a0f3a97e124bb
 2013-02-11 14:30:19 -05:00
Asumu Takikawa
63f4bfb6c5 Use up-to-date struct syntax in example 
original commit: 59eb1ad13c02bf9b0fadd5ee2d0131f86f95292f
 2013-02-09 19:42:21 -05:00
J. Ian Johnson
a098030f88 For/product treated like for/sum for special annotation. Also allowed no annotation to be consistent with the docs. 
original commit: 469a69772cefc7d09714e1ab5374b6c7e74c0368
 2013-02-08 11:32:21 -05:00
Eric Dobson
7dc142c60e Add missing pure functions. 
original commit: 40a9794c8f53c41f1b5dffb7e9ca5bd0c4dd7f95
 2013-02-08 11:19:10 -05:00
Eric Dobson
72e090598d Make overlap more precise. 
original commit: 19241c09792dc23ff0c633ab6406d5b9189a2e83
 2013-02-08 11:19:10 -05:00
Eric Dobson
5a77ece770 Fix :print-type. Closes PR13503. 
original commit: c2b8671169c51aa20782bd4ba3c046aabea6c351
 2013-02-08 11:19:09 -05:00
Vincent St-Amour
c436421efa Add extra tests and warning about -PosIntNotFixnum. 
original commit: 830db3c908f6b1b212036d1763a18ffeba884391
 2013-02-07 15:19:42 -05:00
Eric Dobson
a8a37a78eb Make static single flonum checks correct. 
Closes PR13499.

original commit: 9030da217bd79249ef694f262a26ede8470180da
 2013-02-07 15:19:42 -05:00
Asumu Takikawa
83d573bac4 Add a test for PR 13490 
The bug itself was already fixed by Eric Dobson

original commit: 9636a70f8bdacf347a5bbf2853e8fad69ef1a65f
 2013-02-07 13:49:50 -05:00
Robby Findler
dc0aa82b0d add v5.3.3 notes 
original commit: dfed25cfe1cbf7f886836c18611201fb8c6d9f29
 2013-02-06 15:05:53 -06:00
Vincent St-Amour
163b3dc11e Allow cast in typed/racket/no-check. 
original commit: bf2768f2c5a28ff4940ae7e640894738af9f3686
 2013-02-05 16:57:42 -05:00
Vincent St-Amour
df3fafae8c Fix docs for text-based TR optimization logging. 
Closes PR13493.

original commit: 83413e4704eba009a546f03e88251148b09aede6
 2013-02-05 16:57:41 -05:00
Vincent St-Amour
6687c8c5cd Exclude the right zeroes when checking for equality. 
original commit: b42034f98b548aa473384e06e2cd153ba9847858
 2013-02-04 14:32:44 -05:00
Vincent St-Amour
327c55a28b Don't special case typechecking of =. 
Its type is more useful than the special typing rule.

original commit: 568f401bdcea778acfa8c1b80f18b23e9e9c9345
 2013-02-04 14:32:44 -05:00
Eric Dobson
916a8bf3e2 Add types for imaginary numbers and fix type of exact? and inexact?. 
original commit: 9e8cc6af3cb69eac97f998960b58140b1fb115b9
 2013-02-04 14:32:44 -05:00
Vincent St-Amour
7dbbd56d47 Add extra tests for contract generation and float zeroes. 
original commit: ec0446728277c1dfecc88ee1affae8aefdeb3339
 2013-02-04 14:32:44 -05:00
Eric Dobson
3899a23a03 Make generated contracts for Floats include NaN. 
Closes PR13464.

original commit: e656bdb1c572c9e256901a89bfda985aa5700877
 2013-02-04 14:32:44 -05:00
Vincent St-Amour
7c8cb9a476 Fix test for invalid fixnum quotient optimization. 
The test depended on fixnum width, which is not portable.

original commit: 5efaa004f0541b5562400be822bfdeb6f89aa9bc
 2013-01-29 16:15:00 -05:00
Vincent St-Amour
02ad4095fa Improve type of exact? and exact->inexact. 
Adapted from a pull request by Eric Dobson.

original commit: 0bc60a77c86499186fdf8087621191183104b10f
 2013-01-29 12:35:29 -05:00
Vincent St-Amour
e68c287705 Fix type of quotient on fixnums. 
Closes PR13466.

original commit: 32b3dfc528169609bc05a8fc769da5166d5a2858
 2013-01-29 12:35:29 -05:00
Eric Dobson
dc40fa31e8 Type check with expected type when checking recursive loops. 
Closes PR12678.

original commit: 3c02bb1abbe0d8965c2cd70649ebb1357499a3ee
 2013-01-28 16:03:01 -05:00
Eric Dobson
e9e54d41a8 Do not update subtype and resolve caches when subtyping. 
Closes PR13412.

original commit: 13ff5883fe097f8b37e6a7663e3e0d8baf8c466b
 2013-01-28 15:35:56 -05:00
Sam Tobin-Hochstadt
ae3a41a9ab Avoid using unsafe structure access. 
Moral: a little temporary speed should never be bought at the cost of safety.

original commit: 492bda2305665445e429ad34db495f0e12d0e466
 2013-01-24 23:15:06 -05:00
Sam Tobin-Hochstadt
96bb6af7c2 Fix contracts and expected computation for tc-any-results. 
original commit: e75e494e6a10b43b952de8d47c436c4f56e1fa41
 2013-01-24 23:15:06 -05:00
Eric Dobson
80ed6585fb Remove tc-results? and other minor improvements. 
original commit: a2f33f17e900c48fe242d10f86d43a9d2f1ce808
 2013-01-23 18:15:21 -05:00
Eric Dobson
378daf06b9 Made tc/exprs check its non final terms with the correct type. 
Closes PR12974.

original commit: 5a43a5c73078b71dbe4d8b170a88b55812dcb383
 2013-01-23 16:41:09 -05:00
Eric Dobson
6e55c674d6 Add tc-any-results as new result-type. 
original commit: 05e53a0de5febe00d78c358f38a5c9aeb8e0df45
 2013-01-23 16:41:09 -05:00
Eric Dobson
ab06e489eb Make AnyValues but don't actually start using it yet. 
original commit: aac25b42c92ccdcff8e36d89bf33b81dd9f6331a
 2013-01-23 16:41:09 -05:00
Asumu Takikawa
0e1f460ae8 Use new parameter/c argument for contract generation 
Closes PR 13446

original commit: 4b279eaf6a71017733888bc5df3a6b95bfe4d082
 2013-01-23 14:45:59 -05:00
Vincent St-Amour
7466f47f33 Fix TR optimizer tests for TR info logging. 
original commit: 091e26cde841f9e493b255f84efeaafe05ef7d91
 2013-01-18 18:25:18 -05:00
Asumu Takikawa
4275e4970b Fix filters on odd? and even? 
Closes PR 13233

original commit: e1b6e84089af1f01e097cec5c612e1b4ce309420
 2013-01-18 18:25:18 -05:00
Vincent St-Amour
3359874a4d Updated TR history. 
Please merge to 5.3.2.

original commit: e763d1e1ae7cfe04d0fff173292340b6fd6c4ae6
 2013-01-18 15:33:12 -05:00
Asumu Takikawa
eeb21f2d8d Add tests for PR 13094. 
The bug itself was fixed already when ordinary
type variable scoping was fixed.

Closes PR 13094

original commit: 28d46105c90a026d2313d316581faf8166da1f9a
 2013-01-15 15:44:34 -05:00
Eric Dobson
ed0bb82dcf Make TR compile with contracts enabled again. 
original commit: 5fe004cd9b85eadf15957cb75f5c15dd7226392e
 2013-01-15 12:36:42 -05:00
Eric Dobson
106b3a98cf Replace uses of Type? with Type/c?. 
original commit: f315880b50564180a80de561f6fcd2e55a75e69e
 2013-01-15 12:23:42 -05:00
Eric Dobson
c21fbc4aac Fix register-struct-bindings! to meet correct contract. 
Please merge to 5.3.2.

original commit: a5daacd74701603eede1bd31346520c8afce4e09
 2013-01-14 17:30:29 -05:00
Sam Tobin-Hochstadt
ac0ee36da8 Typed modules as languages doesn't currently work. 
original commit: b6564980abc2d2669ba817152237e48896fd7858
 2013-01-14 14:27:33 -05:00