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

1569 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent St-Amour
ce236fdf46 Added Channel types. 
original commit: ec799fb208197df8b2f4cafc0b0af3aad423871a
 2010-06-09 14:54:35 -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
ee7d9e61dd typed/racket/no-check 
original commit: 30fe053f7842c14bf0e0471a69b3105f41903bee
 2010-06-09 12:51:27 -04:00
Sam Tobin-Hochstadt
4347da736b document `assert' 
original commit: ed5b10afd20f455964445a6eee56a0142bdc2167
 2010-06-09 12:20:39 -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
f315f666d5 more precise type for `max' 
original commit: 0f4db44be3cbc42e0546b7b61ad1b18156cf6607
 2010-06-08 12:05:57 -04:00
Sam Tobin-Hochstadt
36854b7150 Predicates for numeric comparisons. 
original commit: e44e454b9478e40f6cf00481bf23de27f2ee5b45
 2010-06-08 12:05:57 -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
Carl Eastlund
14b919c942 Renamed call/debug from unstable/debug to debugf. 
original commit: e7814b63a73776f0b3ddff8ccb2d58e9f5978c90
 2010-06-06 20:31:37 -04:00
Carl Eastlund
429f5fa06b Replaced unstable/debug with unstable/cce/debug. 
original commit: ddc889532e5c6a20c9639d9afcbe1ac874937867
 2010-06-06 20:31:36 -04:00
Carl Eastlund
092d4e3c3d Replaced unstable/hash with unstable/cce/hash. 
original commit: 3a525b9a121de971967b59ab3a684b5d104b53ed
 2010-06-06 20:30:48 -04:00
Carl Eastlund
a5d6cf0cd4 Added unstable/cce/match macros to unstable/match. 
original commit: a22a1a4c1561389c320b297811ff29adda9b1f44
 2010-06-06 20:29:55 -04:00
Carl Eastlund
544d9dd599 Renamed bindings from unstable/hash and unstable/debug that will clash 
with subsequent adaptation of (planet cce/scheme) to collects/unstable.
These bindings are temporary, and will be replaced in the adaptation.

original commit: e52fb81aacb27318903a407eb9ca9225557f2093
 2010-06-06 19:57:15 -04:00
Sam Tobin-Hochstadt
420d38ec9c Add require to base env to fix tests. 
original commit: 0199e11edd314c0c7270a0875065799ccf1c64a3
 2010-06-02 11:26:48 -04:00
Matthew Flatt
80e25e5cb0 try to fix Typed Racket after 'apply' changes 
original commit: 4ebe2a0f52e23085b719752437cdededf45975f6
 2010-06-01 21:25:54 -06: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
999ff9ebfa Documented the for: macros. 
original commit: 046d95293ac806e628bc804548cf3189598959d1
 2010-05-28 19:05:44 -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
Vincent St-Amour
19a6f3f61d Added the for*/X: macros. 
original commit: 49caa00890a6bc89bb80210e041cc443cb5df2a8
 2010-05-28 19:05:43 -04:00
Vincent St-Amour
a3edb55e69 Punted #:when clause expansion in the for: macros to their 
non-annotated counterparts, except in the case of for: itself, where
it doesn't break the semantics of the underlying macro.

original commit: 08baa400c3cc03de6a5f7181a15f960238f1eaaa
 2010-05-28 19:05:43 -04:00
Vincent St-Amour
48c3edca84 Added the for/lists: and for/fold: macros. 
original commit: 1ec6bd448b4dc325603ed41ec81cf04cc33866b8
 2010-05-28 19:05:43 -04:00
Vincent St-Amour
7ef168c27d Better support for #:when clauses in the for: macros. 
original commit: 3518428635a7adb9f591d4cb9b8905e8add439ee
 2010-05-28 19:05:42 -04:00
Sam Tobin-Hochstadt
8c0e9178ac Guard type-equal? test. 
original commit: 8194bcc4d41c79c39cb0a4a13a810f2b6bbc35d3
 2010-05-27 12:46:37 -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
53c630bc14 Simpler has-name? implementation. 
original commit: bd0bcda85e0526e22b31a8dd64dbaf083d0d992a
 2010-05-27 10:50:15 -04:00
Sam Tobin-Hochstadt
97c4253166 Fix test for new `do:' behavior. 
original commit: 63dbde1e9eff5cf7b4d2965a6d26fbc2dc7280e9
 2010-05-27 10:10:26 -04:00
Sam Tobin-Hochstadt
371934cf82 Fix error message for multiple values. 
original commit: d4a8c52c7102778e6b1ef8fae8b5c75774069487
 2010-05-27 10:10:26 -04:00
Sam Tobin-Hochstadt
b1e9e9ea82 Better type for `round'. 
original commit: 40c77586a059efc6a09a6ef0bdf73a35808f24b0
 2010-05-27 10:10:26 -04:00
Vincent St-Amour
c7db08fcf7 Typed Scheme's optimizer now recognizes specialized (safe) float 
operations.

original commit: e3b994abfffb0ebc3a5460a0a8730441875ebbb1
 2010-05-26 19:48:30 -04:00
Vincent St-Amour
3e3b203726 Fixed a bug in typed Scheme's optimizer when using binary arithmetic 
operators in a unary fashion with floats.

original commit: 762f108c04b78f14d851b6b93b5bf0c873658399
 2010-05-26 19:48:30 -04:00
Vincent St-Amour
1bd4bf1e82 Extended the type signatures of bitwise operations to be closed on naturals. 
original commit: 664ef2c0a3bb478634591b596f2473f249095e4f
 2010-05-26 19:48:29 -04:00
Vincent St-Amour
312671d85d Added the for:, for/list:, etc macros. 
original commit: 5213f54f56e6d9d1a14b16fd0348495a20a648e9
 2010-05-26 19:48:15 -04:00
Vincent St-Amour
3bbf39b86a Rewrote do: to expand into do. 
original commit: 23f30af459b4157c87b62dff535cdd0b7eb46927
 2010-05-26 19:20:32 -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
3355f0d731 Fix Typed Scheme printing of types. 
Merge to 5.0.

original commit: 85b59a2f4c99e19948865cabbcfcc0d9b7cca6c0
 2010-05-25 07:58:06 -07:00
Sam Tobin-Hochstadt
09151b1037 Remove `define-struct' from typed/racket. 
Closes PR 10619.

original commit: 3885ba4f543626e9fa1df8d4580cdad907ce5a40
 2010-05-25 00:09:04 -07: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
1c955c4e56 Better internal error messages. 
original commit: 460bb348e10f07534bc74e7f91b8b4bc8655ac68
 2010-05-24 14:05:05 -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
e345eb7448 Print empty filters as - 
original commit: b21f70408687afa5617230478146ece76d71d53b
 2010-05-24 14:04:01 -07:00
Sam Tobin-Hochstadt
af4ff86f52 Remove tc-toplevel from the typechecking unit. 
original commit: 986318065d71817c59c9571e72fe8abcce4944cd
 2010-05-24 14:03:14 -07:00
Sam Tobin-Hochstadt
5ba6d3297f Only do abstraction of filters at `let's. 
original commit: 5b0f705b8374a3a136250a40560d4e5e00c6fba3
 2010-05-24 14:01:00 -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
b656915497 Improve verbose printer. 
- Fewer newlines.
 - Avoid printing hidden fields.

original commit: fac0e197cfe75a4a811b0d953674731e8be14e7b
 2010-05-24 13:23:37 -07:00