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

608 Commits

Author SHA1 Message Date
Eric Dobson
1334e8dcc7 Reduce usage of check-below. 
This pushes almost all uses of check below into tc-expr and
tc-expr/check. This means that the optimizer sees more precise types
and can make more optimizations.
 2013-03-08 09:00:58 -08:00
Eric Dobson
1fd21ef640 Avoid TR internal error, by checking shape of args. 2013-03-08 09:00:10 -08:00
Eric Dobson
df581c3e4f Remove unused argument to tc/rec-lambda/check. 2013-03-08 08:59:57 -08:00
Eric Dobson
f428191e1c Fix type of split-at and vector-split-at. 
Closes PR12700.
 2013-03-06 08:49:50 -08:00
Eric Dobson
ddf0c39e98 Reduce unnecessarily complicated restrict case. 2013-03-06 08:48:44 -08:00
Eric Dobson
d59a600be6 Make kw/opt lambda special checks work with other expected values. 
Closes PR13544.
 2013-03-06 08:48:14 -08:00
Eric Dobson
9f01d26f98 Cleanup kw/opt lambda annotations. 2013-03-06 08:48:14 -08:00
Eric Dobson
22ef10c544 Fix heterogeneous vector typechecking. 2013-03-04 09:36:56 -08:00
Eric Dobson
485f246f39 Fix type of set?. Closes PR13509. 2013-03-04 09:17:40 -08:00
Asumu Takikawa
ef08cc41e7 Enable contract and add a purpose statement 2013-02-26 17:38:05 -05:00
Vincent St-Amour
2846c17cb4 Fix the fix to TR contracts. 2013-02-25 20:10:14 -05:00
Vincent St-Amour
034aacafab Fix TR contracts. 2013-02-25 19:25:39 -05:00
Vincent St-Amour
088006413f Generalize type of curry to functions of arity 3+. 2013-02-25 14:03:17 -05:00
Eric Dobson
f6df93ed96 Make mutable lists be sequences. 2013-02-22 21:01:21 -08:00
Asumu Takikawa
e8b49e2c82 Add doc subforms for keyword types 2013-02-21 15:35:14 -05:00
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