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

3306 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric Dobson
54d6d3ffec Typecheck (lambda args body) as (arg1 -> result). 
original commit: 0e42a791a75a30bb2bf45bf968d053dfdf567d40
 2013-03-23 13:18:05 -07:00
Eric Dobson
22672f99e8 Fix Struct-Type-Property. 
Closes PR 13593.

original commit: 8d080b74cb78d0b000059782703b2c4aa896f5cc
 2013-03-23 08:24:05 -07:00
Tony Garnock-Jones
606b192204 pretty-format returns a String, not Void 
original commit: 0399babc85d72a7dfc3114cb127285779f053228
 2013-03-21 18:11:28 -04:00
Eric Dobson
ff5b594242 Fix parsing of dotted formals. 
Closes PR 13576.

original commit: ccc8b85cef665b310b5197fe2c145c85280f9bd1
 2013-03-17 18:52:47 -07:00
Eli Barzilay
8c1e485526 Fix lots of indentation mistakes. 
(Found by my ayatollah script...)

original commit: af6be85ff576e475753a46bd3f1690eb8bf88a28
 2013-03-14 10:55:47 -04:00
Eric Dobson
b8c9e1f63f Cleanup of subtyping, additional comments, and improved short circuting. 
original commit: 71d6189132cecffc75b4d2fdb41c985a1a763380
 2013-03-13 22:59:27 -07:00
Eric Dobson
5fbd396787 Add more hacky things to make with-handlers typecheck. 
Closes PR12644.

original commit: 714f667cf1758c31560fa25b5a21b5df2c17e2e0
 2013-03-13 22:29:41 -07:00
Eric Dobson
02c4f0dd11 Make PolyDots be subtypes even if they have different fixed arguments. 
original commit: 75f89107b1449deda042b62feaebb9b9bf3c92ec
 2013-03-13 22:29:41 -07:00
Eric Dobson
57a60ad403 Make PolyDots actually subtype correctly. 
original commit: 6335de099e7161447ec444ad320c6751f2c2af4d
 2013-03-13 22:29:41 -07:00
Eric Dobson
b151df08bc Check actual args when form looks like for/list. 
original commit: 6105ce8b2087a0c7fca99fd2e99f1785bdb2af04
 2013-03-13 21:45:03 -07:00
Eric Dobson
61a2a93e40 Add checks for failing to parse types. 
original commit: 4683be8793bdbd3e16e62dfbdd5d2be54cce9c05
 2013-03-11 22:53:29 -07:00
Eric Dobson
6df840fe8e Make vector-set! type correctly on complicated inputs. 
Closes PR13532.

original commit: 17cb4fd8d0be67db5a6ba4e71f9141222416bc17
 2013-03-11 21:52:11 -07:00
Eli Barzilay
5e164bed59 Two doc typos. 
Closes PR 13590.
Closes PR 13591.

original commit: a1437e71f733e1866e1998799e4f1337a4043c4d
 2013-03-11 09:06:46 -04:00
Eric Dobson
5234bd3d94 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.

original commit: 1334e8dcc77854ac826306d3f6a36150cb0bf0c1
 2013-03-08 09:00:58 -08:00
Eric Dobson
b63e5dc1ec Avoid TR internal error, by checking shape of args. 
original commit: 1fd21ef640514b0c3a67356d0f68cadff36d3d3a
 2013-03-08 09:00:10 -08:00
Eric Dobson
43028b1145 Remove unused argument to tc/rec-lambda/check. 
original commit: df581c3e4f154660ded04d95d8a97619b6da9b57
 2013-03-08 08:59:57 -08:00
Eric Dobson
4184f9b493 Fix type of split-at and vector-split-at. 
Closes PR12700.

original commit: f428191e1c2b7b36054a1d00d93d6b65994a414a
 2013-03-06 08:49:50 -08:00
Eric Dobson
885c3b8a79 Reduce unnecessarily complicated restrict case. 
original commit: ddf0c39e980598c8958a6e582b4a70f6762ad8c0
 2013-03-06 08:48:44 -08:00
Eric Dobson
1194117dba Make kw/opt lambda special checks work with other expected values. 
Closes PR13544.

original commit: d59a600be69da8a487950c2bfbc663a516fc90d4
 2013-03-06 08:48:14 -08:00
Eric Dobson
8377169790 Cleanup kw/opt lambda annotations. 
original commit: 9f01d26f98cc9b81f0f63c9c7f9ec9ab5282d88a
 2013-03-06 08:48:14 -08:00
Eric Dobson
97995e9903 Fix heterogeneous vector typechecking. 
original commit: 22ef10c5446ed2fdc50b614fcb118076f3769386
 2013-03-04 09:36:56 -08:00
Eric Dobson
395f539e5f Fix type of set?. Closes PR13509. 
original commit: 485f246f39cd44f0c1cf3d838a3b624bc9331078
 2013-03-04 09:17:40 -08:00
Asumu Takikawa
d991a2e125 Enable contract and add a purpose statement 
original commit: ef08cc41e741adc355295d579f4440b8436bb91f
 2013-02-26 17:38:05 -05:00
Vincent St-Amour
050a030415 Fix the fix to TR contracts. 
original commit: 2846c17cb4d432571b091b9203321ff5d5f43a65
 2013-02-25 20:10:14 -05:00
Vincent St-Amour
4488b7e69a Fix TR contracts. 
original commit: 034aacafabd76b46eee4f475e3787056ad53ff92
 2013-02-25 19:25:39 -05:00
Vincent St-Amour
1a4fc8a417 Generalize type of curry to functions of arity 3+. 
original commit: 088006413f3ec10dcf188b7b21668a89409f27a5
 2013-02-25 14:03:17 -05:00
Eli Barzilay
8185a65308 Newlines at EOFs scan. 
original commit: cec73f5652aee0b78f9265e6a2c4135f131a8248
 2013-02-23 02:09:56 -05:00
Eric Dobson
b7c3ede8ce Make mutable lists be sequences. 
original commit: f6df93ed964e775cdd1734edd9a41d70b98ab0d8
 2013-02-22 21:01:21 -08:00
Asumu Takikawa
75d3e13492 Add doc subforms for keyword types 
original commit: e8b49e2c824542dcee27471df360c98f5e94b4d5
 2013-02-21 15:35:14 -05:00
Vincent St-Amour
6c207dfc33 Add examples of function types with keyword arguments. 
original commit: e69f66fd00a859b1e507611a27a47d0f4816ddc7
 2013-02-21 10:49:58 -05:00
Vincent St-Amour
59299338e3 Filters for comparisons with inifinity. 
original commit: 034d7245a4fb8109cde8cdc0c5612a8040839892
 2013-02-21 10:49:57 -05:00
Vincent St-Amour
6755a11d36 Fix subtyping for Negative-Single-Flonum. 
original commit: 12aaa229a3fb84018a44f0aff175982a1841b764
 2013-02-21 10:49:57 -05:00
Eric Dobson
441845b18a Make naturals be a sequence type. 
original commit: 18d90115e7b10c92b02ac843aabe3cb929d975ce
 2013-02-20 21:25:02 -08:00
Eric Dobson
19a05ebadc Make (Set a) a subtype of (Sequenceof a). 
Closes PR13485.
Closes PR12615.

original commit: 4f9f00680ee560ee59cddd5bdb3fb737c6bcc7f1
 2013-02-20 21:25:02 -08:00
Eric Dobson
44d6d411cf Fix subtyping of invariant data structures. 
Closes PR13521.

original commit: a7bc758505b0f4d1bb3f4f1053bf1821fa29a118
 2013-02-20 21:25:02 -08:00
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