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

331 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
8e76e34368 More options for test runner. 
original commit: 5b1118d514ca8cc7f0071bfa531f8268401fc531
 2010-06-24 16:46:31 -04:00
Sam Tobin-Hochstadt
7f6da53efa Use the correct field numbers in substructs. 
Maintain table of struct accessors/mutators.

original commit: 3c8952d63d2cd28a3b5a588c0367b53dc963308b
 2010-06-24 14:53:38 -04:00
Vincent St-Amour
1d48090ecb Added support for unsafe struct operations to Typed Scheme. 
original commit: 7d1040283ed325c93fb5499649a0aba5cfadfab7
 2010-06-22 18:42:25 -04:00
Sam Tobin-Hochstadt
8869cd4d22 Add `struct:' 
original commit: 6e1954d79b520fefd21abe81d06fe615e056ac93
 2010-06-22 16:29:35 -04:00
Sam Tobin-Hochstadt
b718e60469 Typecheck `map' expression, not just #'map. 
original commit: bce2cedf3864166c137ef91ca3f79f45fb6745da
 2010-06-22 10:12:54 -04:00
Sam Tobin-Hochstadt
0bf7faa4fa Initialize `infer' for tests 
original commit: 95c5f942e6854e1d066b7627b2f65097e14e24b9
 2010-06-22 10:11:14 -04:00
Sam Tobin-Hochstadt
f50aa4917a support `map' over multiple ListDots with the same bound 
- also support ListDots + Listof (map errors when not same length)

original commit: 0c7c722e16cd9f6e3e88deaa45cb681337021078
 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
6514ee71e1 Refactor substitution. 
- new file types/substitute
 - use structs for substitutions

original commit: 44d46e4cd7ecc06a264282b31dd7ba47dee421f1
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
da323feea3 This test case now passes. 
original commit: dcc8beb5cd00f6fc12c450be56b4ba83823e3898
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
c2b7caa66d The inference engine doesn't need this annotation anymore. 
original commit: e235c837b0d20538ca4c0fc024c18ddb30ac2ae4
 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
fbd795c01e Re-enable the printer here. 
original commit: 7b2de5373380a0bc833215dd9d3beed87fa686c3
 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
38e065db7f Change type variable environments from hash tables to sets. 
original commit: 12384c6c3fd14020c99018d51058240f4258074d
 2010-06-21 18:29:59 -04:00
Sam Tobin-Hochstadt
78b767252d Refactor test harness. 
original commit: e9f8cc9aca6a67a9b56f0ba9dd202f0fa2669ab6
 2010-06-21 18:29:59 -04:00
Sam Tobin-Hochstadt
341f6d82e6 Generalize ListDots to Listof in inference of loop var types. 
original commit: f7b59f78e9212c03e950729944e7a9eb9370f363
 2010-06-21 18:29:58 -04:00
Sam Tobin-Hochstadt
db8c693481 Inference for passing ListDots as Listof. 
original commit: a2af89bafd3d79587c87425488833e07465f5fc5
 2010-06-21 18:29:57 -04:00
Sam Tobin-Hochstadt
92c48f6521 Subtyping between (List T ... a) and (Listof T[Any/a]) 
original commit: fd5a662ccc7aa2fbc3f29974c075dcabf2a870fe
 2010-06-21 18:29:57 -04:00
Sam Tobin-Hochstadt
d91f1e9998 Change type of ... rest args to have (List T ...) types. 
original commit: 4cbeb0b2f00e652ce15e5638e15ca83a131b3b8b
 2010-06-21 18:29:56 -04:00
Sam Tobin-Hochstadt
fd9b246931 Initial ListDots test. 
original commit: e40d1824b0b3717a1c2454ebc87257abca352a8a
 2010-06-21 18:29:56 -04:00
Sam Tobin-Hochstadt
021e1146cb More environment refactoring. 
- rationalize naming of files
- split files by env constructed

original commit: 50f93b9ed7abeb1d4e687078cb5fef6976d008aa
 2010-06-21 18:29:55 -04:00
Sam Tobin-Hochstadt
a4cec9ce13 Fix error message for 1-arg apply 
original commit: 1e15ce1f3299d235cd72eeb171f7224099fba41a
 2010-06-19 14:58:52 -04:00
Sam Tobin-Hochstadt
6b89ef5f82 base-types-new -> base-types 
original commit: 77e4bbb5eb5e568db8478d0e102b1a0f6ece50f9
 2010-06-17 11:47:16 -04:00
Sam Tobin-Hochstadt
90039fecdc Try harder to find types for loop variables. 
- use `find-annotation' more
 - recognize (let ([x y]) ...)

original commit: bdbb6d48e62e8009154a095f1fc5752766ab34fe
 2010-06-17 11:26:33 -04:00
Sam Tobin-Hochstadt
eed1167639 set-mc[ad]r!, inference, printing, tests for mpairs 
original commit: 4cc86cc8c808d375f10c2c1fa2e4b54b126a26da
 2010-06-15 16:10:16 -04:00
Sam Tobin-Hochstadt
36d46fac77 eq? is a predicate for eof 
original commit: f73d63e1afdca9f509ff0a143ae2348875766ce2
 2010-06-15 14:59:08 -04:00
Sam Tobin-Hochstadt
b4d568a84d Generate -> instead of ->* when required by case->. 
Closes PR 10977.

original commit: cf5c74a2ca36a951d7cbeac61e58235f493291dd
 2010-06-13 15:01:57 -04:00
Sam Tobin-Hochstadt
ae851e41cd Allow (All (A) A -> A), dropping pair of parens. 
original commit: d4d286d31dce759129c372c9e42bfb37300bf167
 2010-06-13 14:38:03 -04:00
Sam Tobin-Hochstadt
b19c37e9df Actually typecheck actuals even when there's a type annotation. 
original commit: 1cff0a1f85e30ca231cde5fa94ec2d8c47b74d68
 2010-06-11 19:35:56 -04:00
Sam Tobin-Hochstadt
79fe558827 Fix type of `zero?' to properly handle 0.0. 
original commit: 7ece2a4872bfd02d7b62b39c040e877c7ba638ee
 2010-06-11 18:54:05 -04:00
Sam Tobin-Hochstadt
aa087d75db Fix optimizer for refactoring. 
original commit: fd1b20c93d195f236619a415e15c1b1dc8efde7f
 2010-06-11 14:21:42 -04:00
Sam Tobin-Hochstadt
946a8dd48f new bug with mutation 
original commit: b649575afc2611ca0a3bec1f6f3d70e45ec011c1
 2010-06-11 11:55:22 -04:00
Sam Tobin-Hochstadt
ed35e04293 New interface for unstable/mutated-vars 
- functional hash tables
 - fix clients

original commit: 0379e534e3f0024473d6af9379d0cac0d2bd1a37
 2010-06-10 13:28:29 -04:00
Vincent St-Amour
c689b7d3e6 Added tests and documentation for Thread and Channel types. 
original commit: 6b4ca4d7b05ca42527788049a8bf20e322da889d
 2010-06-09 14:54:37 -04:00
Vincent St-Amour
e0219a6f8f Modified the for: macros to use sequence types. 
original commit: 0741b48c99e190a31365c2fe2f2cd927d9561bb2
 2010-06-09 14:54:34 -04:00
Sam Tobin-Hochstadt
e16c33e1a6 Sequenceof type. 
- inferencing and subtyping relation with vectors, lists, etc
- use in `make-sequence'
- add tests

original commit: 78023d08f99bd423a17e532b6ff9b1ded758b658
 2010-06-09 11:03:12 -04:00
Sam Tobin-Hochstadt
2ddda6b00a Support case-lambda with multiple branches with keyword arguments. 
original commit: 78832fe332fccfe7c533243c4e1f1c1d0e3753e4
 2010-06-08 17:50:48 -04:00
Sam Tobin-Hochstadt
2d28ab5f13 Special-case (- x 1) for use in loops. 
original commit: 7f300a2c4f9d934522a3b3ba3d5c949b5bd075ed
 2010-06-08 12:05:56 -04:00
Sam Tobin-Hochstadt
fcfd000fcc Properly handling immutable invariant structs. 
original commit: 7df8e3279396e7483a5645603726afa5424a071a
 2010-06-07 14:03:06 -04:00
Sam Tobin-Hochstadt
6b35e1cb24 Test for PR 10946. 
original commit: 0e3c2b71cc827236f4695e0271b869c416489557
 2010-06-01 13:38:45 -04:00
Vincent St-Amour
58c87429da Changed the types of some numerical operations to be closed on naturals. 
original commit: 2229173b82b295a74269a11b9ff360a840f15b8f
 2010-05-29 11:31:47 -04:00
Sam Tobin-Hochstadt
30120ded59 Change `typed-scheme' numerics. 
- `number?' no longer `real?'
 - Number no longer Real
 - remove obsolete environments
 - Fix tests to use Real where necessary.
 - Fix typed/mred and typed/framework
 - Fix insert-large-letters to use `sub1' for type-safe loop

Merge to 5.0.

original commit: d323a794e86993dc6a594d3d732d1cd623945d21
 2010-05-28 19:24:46 -04:00
Vincent St-Amour
d7ef7a2bad Disabled multi-valued seq-exprs in the for: macros because using them 
triggers an internal error in the typechecker.

original commit: e9a00146303991e4517fc0f406c484f1f6cca646
 2010-05-28 19:05:44 -04:00
Vincent St-Amour
506bf7890c Wrote tests for the for: macros. 
original commit: c92ae7385976f99bb5aa3d7a0ee29950d38a3d30
 2010-05-28 19:05:44 -04:00
Sam Tobin-Hochstadt
2681178ffc Avoid requiring old base-types. 
original commit: 9701ae0065dbc54f36059b20a78a917a20ae18e5
 2010-05-27 10:56:18 -04:00
Sam Tobin-Hochstadt
97c4253166 Fix test for new `do:' behavior. 
original commit: 63dbde1e9eff5cf7b4d2965a6d26fbc2dc7280e9
 2010-05-27 10:10:26 -04:00
Eli Barzilay
4306ef78a7 A few more stray "racunit"s. 
original commit: 5c702976c216362aab695a1c973fb17948b23149
 2010-05-26 15:21:55 -04:00
Sam Tobin-Hochstadt
f5c6d808af Test for former bug. Closes PR 10470. 
original commit: 775e1b06a577a1306ab50de05174a6e26f944d40
 2010-05-25 00:09:03 -07:00
Sam Tobin-Hochstadt
987521b9eb Check that at least one require spec is provided. 
Closes PR 10617.
 Merge to v5.0.

original commit: 27e971dce20634fa6be551fecd64e639fbd909aa
 2010-05-24 22:33:31 -07:00
Sam Tobin-Hochstadt
bbf633a95c Tests for bug found by David Van Horn. 
original commit: af689b253188d61ae12c01f0f0240817c767c474
 2010-05-24 14:04:43 -07:00
Sam Tobin-Hochstadt
7692d06741 Fix parsing of All on RHS of -> 
original commit: f320d36e9c7fc2698d1becff28511dd8413430da
 2010-05-24 13:26:29 -07:00
Sam Tobin-Hochstadt
5a0e07e296 More precise types for: truncate, floor ceiling 
original commit: 230f1a59c6bb51bf69c1651cadb3a77868bcbef5
 2010-05-21 10:41:24 -04:00