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

210 Commits

Author SHA1 Message Date
Eric Dobson
5ed26e806b Make lists with minimum lengths be a subtype of sequences. 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
29a181175f Improve a number of numeric function types. 
Closes PR13468.
 2013-02-14 18:24:52 -05:00
Eric Dobson
67c6d7804d Add tests for subtyping -poly. Closes PR13510. 2013-02-12 17:07:02 -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
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
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
Asumu Takikawa
9636a70f8b Add a test for PR 13490 
The bug itself was already fixed by Eric Dobson
 2013-02-07 13:49:50 -05:00
Vincent St-Amour
bf2768f2c5 Allow cast in typed/racket/no-check. 2013-02-05 16:57:42 -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
Vincent St-Amour
ec04467282 Add extra tests for contract generation and float zeroes. 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
5efaa004f0 Fix test for invalid fixnum quotient optimization. 
The test depended on fixnum width, which is not portable.
 2013-01-29 16:15:00 -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
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
Vincent St-Amour
091e26cde8 Fix TR optimizer tests for TR info logging. 2013-01-18 18:25:18 -05:00
Asumu Takikawa
e1b6e84089 Fix filters on odd? and even? 
Closes PR 13233
 2013-01-18 18:25:18 -05:00
Asumu Takikawa
28d46105c9 Add tests for PR 13094. 
The bug itself was fixed already when ordinary
type variable scoping was fixed.

Closes PR 13094
 2013-01-15 15:44:34 -05:00
Sam Tobin-Hochstadt
b6564980ab Typed modules as languages doesn't currently work. 2013-01-14 14:27:33 -05:00
Asumu Takikawa
c5c6280d87 Change exception predicate for a test 
For some reason, the other predicate breaks on some
test setups, even though it usually succeeds.

Please merge to 5.3.2
 2013-01-09 18:12:45 -05:00
Asumu Takikawa
f577b49a4d Fix polydots 
- parsing of polydots values was fixed
 - certain polydots error cases are now reported
 - the custom application rule for values was fixed

Closes PR 13365

Please merge to 5.3.2
 2013-01-09 18:12:45 -05:00
Asumu Takikawa
27d3042ad6 Use correct contract for Procedure type 
The only problem with this contract is that it does
not produce a very good error message
 2013-01-08 20:03:16 -05:00
Asumu Takikawa
9c0a611b59 Disallow duplicate type variable declarations 
Closes PR 13416

Please merge to 5.3.2
 2013-01-08 14:50:08 -05:00
Vincent St-Amour
057a2bd0d2 Extend type of min to preserve fixnumness. 2013-01-07 17:00:32 -05:00
Matthew Flatt
43e01d7f4e rename test file 
":" is not allowed in a file name on Windows.
 2013-01-02 06:33:10 -07:00
Vincent St-Amour
678451f8c4 Fix tests. 2013-01-01 18:14:52 -05:00
Vincent St-Amour
4137eb9e73 Make let: annotations optional. 2013-01-01 18:14:52 -05:00
Vincent St-Amour
67af968a73 Add failing test case for instantiation and special typing rules. 2012-12-19 13:45:49 -05:00
Asumu Takikawa
acda049f7d Add define: form variant for polymorphic non-function values 2012-12-19 13:08:41 -05:00
Vincent St-Amour
8c66be33e7 Fix contract generation for functions with optionals and keyword arguments. 
Closes PR13354.
 2012-12-17 13:57:32 -05:00
Vincent St-Amour
ec673fd58d Allow #:unless' in for:'. 
Also allow `#:break' and `#:final' in all the `for:' macros.

Unfortunately, the expansion of `#:break' and `#:final' cannot be
typechecked at the moment.
 2012-12-17 13:57:31 -05:00
Asumu Takikawa
ece218fc85 Rackety 2012-12-13 17:54:58 -05:00
Asumu Takikawa
13b831f0ec Fix unsound type variable scoping 
Closes PR 13123
 2012-12-13 17:54:58 -05:00
Asumu Takikawa
28108884ab Fix tests where type variable scoping is wrong 2012-12-13 17:54:58 -05:00
Asumu Takikawa
c7162ec533 Fix TR error for missing mandatory keywords 2012-12-06 12:20:54 -05:00
Vincent St-Amour
9a5db10124 Fix tests. 2012-12-04 19:29:16 -05:00
Vincent St-Amour
fb73bc8b0e Fix partial bounds checking elimination. 
Closes PR13341.
 2012-12-04 19:29:16 -05:00
Asumu Takikawa
5802b42f66 Support path/object reasoning for promises 2012-12-04 18:03:11 -05:00
Asumu Takikawa
3f2d4663a8 Fix call/comp's type 2012-12-04 16:10:39 -05:00