suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
28,070 Commits 17 Branches 54 Tags 278 MiB
e69f66fd00
Commit Graph

593 Commits

Author SHA1 Message Date
Vincent St-Amour
e69f66fd00 Add examples of function types with keyword arguments. 2013-02-21 10:49:58 -05:00
Vincent St-Amour
034d7245a4 Filters for comparisons with inifinity. 2013-02-21 10:49:57 -05:00
Vincent St-Amour
12aaa229a3 Fix subtyping for Negative-Single-Flonum. 2013-02-21 10:49:57 -05:00
Eric Dobson
18d90115e7 Make naturals be a sequence type. 2013-02-20 21:25:02 -08:00
Eric Dobson
4f9f00680e Make (Set a) a subtype of (Sequenceof a). 
Closes PR13485.
Closes PR12615.
 2013-02-20 21:25:02 -08:00
Eric Dobson
a7bc758505 Fix subtyping of invariant data structures. 
Closes PR13521.
 2013-02-20 21:25:02 -08:00
Eric Dobson
ddb8e7f807 Add subtyping for Parameters. 
Closes PR11992.
This required moving more stuff in to base-abbrev so that it could be
used in subtype.
 2013-02-20 21:25:02 -08:00
Eric Dobson
0b87c999b3 Make struct types overlap with procedures. 
Closes PR11971.
 2013-02-20 21:25:02 -08:00
Eric Dobson
13b205aa0a Fixes *-filter types and filter of zero?. 
Closes PR13275.
 2013-02-18 11:56:59 -05:00
Eric Dobson
36cc3220ea Improve type of make-immutable-hash. 
Closes PR13297.
 2013-02-18 11:56:58 -05:00
Eric Dobson
7d6888f229 Improve types for exit and in-naturals. 2013-02-18 11:56:57 -05:00
Eric Dobson
5ed26e806b Make lists with minimum lengths be a subtype of sequences. 2013-02-14 18:24:52 -05:00
Eric Dobson
3c31803c19 Add a simple-Union and Bottom, and have code use them. 
Requires splitting out the match expanders from base-abbrev.
 2013-02-14 18:24:52 -05:00
Eric Dobson
b4beabc977 Make tc-let do unions correctly. 2013-02-14 18:24:52 -05:00
Vincent St-Amour
60959467cf Fix optimization of unary complex - and /. 2013-02-14 18:24:52 -05:00
Vincent St-Amour
c6029cacf8 Fix optimizations for complex unboxing. 
Omitted parts were not used properly.
 2013-02-14 18:24:52 -05:00
Vincent St-Amour
29a181175f Improve a number of numeric function types. 
Closes PR13468.
 2013-02-14 18:24:52 -05:00
Vincent St-Amour
0bccf6b0b0 Forbid singleton types for integers whose type is platform-dependent. 
Closes PR13501.
 2013-02-11 14:30:19 -05:00
Asumu Takikawa
59eb1ad13c Use up-to-date struct syntax in example 2013-02-09 19:42:21 -05:00
J. Ian Johnson
469a69772c For/product treated like for/sum for special annotation. Also allowed no annotation to be consistent with the docs. 2013-02-08 11:32:21 -05:00
Eric Dobson
40a9794c8f Add missing pure functions. 2013-02-08 11:19:10 -05:00
Eric Dobson
19241c0979 Make overlap more precise. 2013-02-08 11:19:10 -05:00
Eric Dobson
c2b8671169 Fix :print-type. Closes PR13503. 2013-02-08 11:19:09 -05:00
Vincent St-Amour
830db3c908 Add extra tests and warning about -PosIntNotFixnum. 2013-02-07 15:19:42 -05:00
Eric Dobson
9030da217b Make static single flonum checks correct. 
Closes PR13499.
 2013-02-07 15:19:42 -05:00
Vincent St-Amour
bf2768f2c5 Allow cast in typed/racket/no-check. 2013-02-05 16:57:42 -05:00
Vincent St-Amour
83413e4704 Fix docs for text-based TR optimization logging. 
Closes PR13493.
 2013-02-05 16:57:41 -05:00
Vincent St-Amour
b42034f98b Exclude the right zeroes when checking for equality. 2013-02-04 14:32:44 -05:00
Vincent St-Amour
568f401bdc Don't special case typechecking of =. 
Its type is more useful than the special typing rule.
 2013-02-04 14:32:44 -05:00
Eric Dobson
9e8cc6af3c Add types for imaginary numbers and fix type of exact? and inexact?. 2013-02-04 14:32:44 -05:00
Eric Dobson
e656bdb1c5 Make generated contracts for Floats include NaN. 
Closes PR13464.
 2013-02-04 14:32:44 -05:00
Vincent St-Amour
0bc60a77c8 Improve type of exact? and exact->inexact. 
Adapted from a pull request by Eric Dobson.
 2013-01-29 12:35:29 -05:00
Vincent St-Amour
32b3dfc528 Fix type of quotient on fixnums. 
Closes PR13466.
 2013-01-29 12:35:29 -05:00
Eric Dobson
3c02bb1abb Type check with expected type when checking recursive loops. 
Closes PR12678.
 2013-01-28 16:03:01 -05:00
Eric Dobson
13ff5883fe Do not update subtype and resolve caches when subtyping. 
Closes PR13412.
 2013-01-28 15:35:56 -05:00
Sam Tobin-Hochstadt
492bda2305 Avoid using unsafe structure access. 
Moral: a little temporary speed should never be bought at the cost of safety.
 2013-01-24 23:15:06 -05:00
Sam Tobin-Hochstadt
e75e494e6a Fix contracts and expected computation for tc-any-results. 2013-01-24 23:15:06 -05:00
Eric Dobson
a2f33f17e9 Remove tc-results? and other minor improvements. 2013-01-23 18:15:21 -05:00
Eric Dobson
5a43a5c730 Made tc/exprs check its non final terms with the correct type. 
Closes PR12974.
 2013-01-23 16:41:09 -05:00
Eric Dobson
05e53a0de5 Add tc-any-results as new result-type. 2013-01-23 16:41:09 -05:00
Eric Dobson
aac25b42c9 Make AnyValues but don't actually start using it yet. 2013-01-23 16:41:09 -05:00
Asumu Takikawa
4b279eaf6a Use new parameter/c argument for contract generation 
Closes PR 13446
 2013-01-23 14:45:59 -05:00
Asumu Takikawa
e1b6e84089 Fix filters on odd? and even? 
Closes PR 13233
 2013-01-18 18:25:18 -05:00
Eric Dobson
5fe004cd9b Make TR compile with contracts enabled again. 2013-01-15 12:36:42 -05:00
Eric Dobson
f315880b50 Replace uses of Type? with Type/c?. 2013-01-15 12:23:42 -05:00
Eric Dobson
a5daacd747 Fix register-struct-bindings! to meet correct contract. 
Please merge to 5.3.2.
 2013-01-14 17:30:29 -05:00
Asumu Takikawa
d95be2ed4d Fix error typo 
Please merge to 5.3.2
 2013-01-11 21:22:12 -05:00
Vincent St-Amour
2c8e5f9acb Move Optimization Coach to PLaneT 2. 2013-01-11 18:40:23 -05:00
Vincent St-Amour
54c8394280 Call inner when augmenting methods. 2013-01-11 18:40:23 -05:00
Vincent St-Amour
903eec448e Document profiler support. 2013-01-11 18:40:23 -05:00