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

665 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
08e0fd4b89 Fix type of `remove-duplicates'. 
Also fix type inference for functions with mandatory keyword arguments in other cases.
Related to PR 12434.

original commit: eb387837505c29064978202136a9284aae63d308
 2011-12-10 17:28:34 -05:00
Sam Tobin-Hochstadt
a03a4f6ea8 Opaque types may overlap with anything. 
Closes PR 12434.

original commit: f23baef8aa92c8ba6af0b47a49c843147dff4cfe
 2011-12-09 18:11:51 -05:00
Vincent St-Amour
10d89c8f8f Add TR support for gcd and lcm on rationals. 
original commit: b5d393d9393d59a4d31b2f8c4538433b40a3e489
 2011-12-08 17:13:50 -05:00
Sam Tobin-Hochstadt
4c8e90b8ac Drop some trivially-pure code. 
original commit: a497300fbe2b7fff390cbb3707e23b968b3826a1
 2011-12-06 17:20:32 -05:00
Vincent St-Amour
a4b5d5d935 Allow integers as sequences in TR. 
original commit: 8509b81f4701dbaa06f5b113b431768430db5039
 2011-11-30 17:54:27 -05:00
Vincent St-Amour
a19c809042 Fix optimization of multi-argument float comparisons. 
original commit: 7ab62d109fb44c99b84c4b917f028a9d364e5ead
 2011-11-22 17:52:50 -05:00
Vincent St-Amour
96c0eb804c Refine types of integer-bytes->integer' and arithmetic-shift'. 
original commit: 0a3a71fbbc4fece033d57b41e36f1deb591c1e8d
 2011-11-15 15:31:07 -05:00
Sam Tobin-Hochstadt
1c4fed2096 Add `typecheck-fail' form for explicit type errors. 
original commit: 706198c0596bb1068f03073bac5198906dbb942a
 2011-10-25 12:10:58 -07:00
Sam Tobin-Hochstadt
82e7f9249b Fix wrapping of null' when provided as Any'. 
Reported by 'dingfeng' on #racket.
Please merge to 5.2.

original commit: da5b68fd4d944cef981062de5ed6d283a351fd1d
 2011-10-21 10:55:57 -04:00
Vincent St-Amour
0386141c38 Forbid non-productive recursive types. 
original commit: ef2acecb96900e52c08170f81e5e69eaf9737f8d
 2011-09-23 14:40:17 -04:00
Eric Dobson
5f7fbd299e Gave subprocess and similar functions more precise types. 
original commit: 7fcf28bef2aa0ebeee043b252caac27065bbad65
 2011-09-16 17:20:31 -04:00
Vincent St-Amour
c0227807da Add a field to base types to indicate if they are numeric types or not. 
original commit: 40456b4fd8119c1308cfd59effe9bf0afda65ad8
 2011-09-13 11:22:24 -04:00
Sam Tobin-Hochstadt
40de6c2ac7 Add test of behavior like the "module" language in DrRacket. 
original commit: d0bf047121351bc696e247299776050f13cc26b3
 2011-09-12 12:14:50 -04:00
Sam Tobin-Hochstadt
48766fe47f Switch to racket/base to fix bizarre bug. 
original commit: cd073ad549b67f3fe501456b0144f0cb17fd5bd7
 2011-09-07 16:08:00 -04:00
Eric Dobson
d642105b65 Fixed subtyping for StructTop. Closes PR11099. 
original commit: c62f09ac5b5d4788d06401010eb7cfd02a91c623
 2011-09-07 09:17:04 -04:00
Eric Dobson
505327ffed Change overlap for structs in TR. Closes PR11390. 
original commit: 32becc2e0a9a2c4d14b0c48fef602187e83e1d28
 2011-09-07 09:17:04 -04:00
Eric Dobson
536ed6c037 Resolve names in overlap in TR. Closes PR11392. 
original commit: 53ce20d3f9edc9d405a33a8fb2e031b67dad7a09
 2011-09-07 09:17:03 -04:00
Sam Tobin-Hochstadt
f82fee857c Tests for all Typed Racket languages, and add missing ones. 
original commit: c0b4743b407f6ddf09a7c7bf78b7b66f6c311d81
 2011-09-04 12:58:13 -04:00
Eli Barzilay
c5432390c5 Revert "Abolish "typed-scheme"." 
This reverts commit 49a89da81860e09955f1678bab6106ce8eae8376.

(Will be redone later today.)

original commit: 6ebf3ab32d666e9d1e56cd546fea29d18c42dfff
 2011-09-04 10:27:58 -04:00
Eli Barzilay
911fc81ec6 Abolish "typed-scheme". 
original commit: 49a89da81860e09955f1678bab6106ce8eae8376
 2011-09-04 08:46:03 -04:00
Sam Tobin-Hochstadt
a5d9b3885a Move typed-scheme to typed-racket collection. 
Compatibilty typed-scheme collection left.

original commit: d2e1cc02dc587b8ed29548b16a92ee4abcde4875
 2011-09-03 20:49:39 -04:00
Vincent St-Amour
7228f10b01 Have drdr run the missed opts tests. 
original commit: 0510bb09490c7c04ee86905f905fdcd209293832
 2011-08-30 17:00:25 -04:00
Sam Tobin-Hochstadt
61836d7939 Fix type of `make-temporary-file'. 
original commit: 534d89b983a2c2c81f20cabf68b7c9ed7f930ec8
 2011-08-30 11:33:40 -04:00
Sam Tobin-Hochstadt
0550dd15d2 Make environments much lazier about computing types; remove useless requires. 
Allow duplicate type annotations when they are the same type.

original commit: 3e1eb67336617150b546841a0c1c3d2793385b06
 2011-08-30 11:33:40 -04:00
Sam Tobin-Hochstadt
03edafbc18 Repair test for boolean generalization. 
original commit: c7ac40f33b0c1d25c39c5cdd487cd34f43829267
 2011-08-26 14:08:40 -04:00
Sam Tobin-Hochstadt
f11e1b37d0 Generalize #t and #f to `Boolean'. 
original commit: ba09e906d8c908a1e57b24a457dfeec0ee4d8ebc
 2011-08-26 08:05:44 -04:00
Sam Tobin-Hochstadt
fddf518689 Initial support for standard optional arguments. 
original commit: 7dd209f905882300fcc0cd74bbc3565b61112278
 2011-08-25 19:00:49 -04:00
Sam Tobin-Hochstadt
2d731cdfc8 Propagate expected function types propertly in case-lambda. 
Closes PR 10139.

original commit: a7cf16d486dbc40febbefc00e6f174c9c4d625de
 2011-08-24 15:29:10 -04:00
Sam Tobin-Hochstadt
29987d225f Handle apply for functions with no rest arguments. 
original commit: bdcc63b2294b0b7bb46cf158ab8a2ad496783cf2
 2011-08-17 18:19:47 -04:00
Sam Tobin-Hochstadt
5334a847b1 DrDr repairs. 
original commit: 4c56a94eb11b194060b43d39e5e444454ab41acf
 2011-08-16 08:14:39 -04:00
Sam Tobin-Hochstadt
0e17e02751 Refactor unit tests to handle tests that need base-special-env separately. 
original commit: c54fc6d6d79cec39fa7236fd314842f809feab73
 2011-08-15 21:39:31 -04:00
Vincent St-Amour
5e92d965a6 Remove redundant logging message. 
original commit: 8dba93646a0fb6b2ff8ffe230342e5276a0d16f6
 2011-08-15 12:19:54 -04:00
Sam Tobin-Hochstadt
06367272b6 Fix initial type environment for new-style keyword functions. 
original commit: 54c044c36a5738a862379e4f10d0b9453c8e27b0
 2011-08-14 13:40:42 -04:00
Sam Tobin-Hochstadt
ff7de23488 Fix typechecking of `#%variable-reference' 
original commit: 2d094db270cf25f1b301b062a393b8f44b75c63c
 2011-08-14 13:40:42 -04:00
Robby Findler
f38df9c69b change the #:get-lock-file argument of call-with-file-lock/timeout to #:lock-file 
original commit: 997813680db107a75dae889f73bc3da5ce00806f
 2011-08-11 09:29:31 -05:00
Vincent St-Amour
024e04015c More TR test failures more easily detectable. 
original commit: 8bcb7f26362857fad84b9dec9cf30707520d97d2
 2011-08-10 15:45:54 -04:00
Vincent St-Amour
ffcc7e9f92 Improve error message for calls to 'sort' when inference fails. 
original commit: b124d68f402ce99ddec58482be40ce279f3f4a04
 2011-08-03 17:39:15 -04:00
Vincent St-Amour
c3a9c07979 Add for*/sum: and for*/product: to TR. 
These currently don't play nice with inference, so they only work in
limited cases.

original commit: 5b22dfb6b0d329af5c2cd78a1652431de29fe739
 2011-07-29 12:54:29 -04:00
Vincent St-Amour
fea766dfbb Add for/sum: and for/product: to TR. 
original commit: 6a8011854be3c67dc9fe0f3b1e7ba119a28500bd
 2011-07-29 12:54:29 -04:00
Vincent St-Amour
5155f0310c Clean up. 
original commit: 73140544ce9a5195b032a4c81536ed76788208ee
 2011-07-21 17:06:03 -04:00
Sam Tobin-Hochstadt
670dc600ab Fix types of kernel struct constructors to include parent fields. 
Merge to 5.1.2.

original commit: 7a763a2da89a1432285c06cdf9d112d04b29c762
 2011-07-20 15:19:53 -04:00
Eric Dobson
5d1a3e7a4a Switched name field in struct type to identifier. Closes PR 11728. 
Closes PR 11998. Closes PR11859.

original commit: e07ce478afc1806d6805f57f96006bcb0d25668e
 2011-07-19 16:47:13 -04:00
Eric Dobson
703eac8bd5 Fixed types for path operations. Closes PR12057. 
original commit: a7f0f7591d17558ed17644fadb89ad01216fd77a
 2011-07-19 16:47:13 -04:00
Vincent St-Amour
ff9fa5fbfd Fix test to not be dependent on floating-point printing. 
original commit: 419398ce1a1662cd6810bd5a100e65367e8855f8
 2011-07-19 15:19:17 -04:00
Vincent St-Amour
e89475504d Remove redundant precision-loss messages. 
original commit: 29882d8fa1bfc3bda8d57f8fb77d3a14ba8f9774
 2011-07-19 15:19:17 -04:00
Sam Tobin-Hochstadt
7f1a5a59ab Fix Typed Racket handling of exception handling with multiple return values. 
original commit: 42b79dd48980612e459236ada0f3027f87bced76
 2011-07-18 17:42:28 -04:00
Vincent St-Amour
c6320897e7 Add test for missed opts in multi-file programs. 
original commit: 5d4d9f2636a408370efd415b05cf3b9a54b2dd5e
 2011-07-15 15:04:58 -04:00
Vincent St-Amour
02a4010880 Change the structure of the "extra precision" missed optimizations. 
Avoids reports that are almost duplicates.

original commit: db9d51fef7505776a7250446496c1784043472e1
 2011-07-15 15:04:58 -04:00
Vincent St-Amour
89217e6b02 Make a test a bit more complicated. 
original commit: f4c3e51d3be3264144c4dae0477305dc40d94e74
 2011-07-15 15:04:56 -04:00
Vincent St-Amour
6b5104aba7 Fix new optimization to use the new loggin facilities. 
original commit: c5d46449b774eedf02877d1bbe8a6fb3f1b173cb
 2011-07-15 15:04:55 -04:00