suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
19,248 Commits 17 Branches 54 Tags 278 MiB
25d2827d0d
Commit Graph

633 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
463ab0d309 Fix type of `-' 2010-12-08 19:31:57 -05:00
Sam Tobin-Hochstadt
e70ccafd7b Add `defined?' assertions to fix DrRacket. 2010-12-08 18:53:56 -05:00
Sam Tobin-Hochstadt
87eab889d6 Allow arbitrary filter specification in function types. 
Allow (A -> B -> C) for curried function types.
 2010-12-08 18:22:29 -05:00
Sam Tobin-Hochstadt
73dbf42e0e Better handling of `hash-*' functions, and hashes as sequences. 2010-12-08 18:22:29 -05:00
Vincent St-Amour
dc2df4882b Take into account potentially undefined values in letrec. 
Closes PR11511.
 2010-12-08 18:17:06 -05:00
Vincent St-Amour
e7c252739d Fix type for abs. Closes PR 11430. 2010-11-23 14:15:04 -05:00
Vincent St-Amour
54991835d6 Add type for fl->exact-integer. Closes PR 11429. 2010-11-23 14:15:04 -05:00
Vincent St-Amour
58d1f75dc1 Fix type for arithmetic-shift. Closes PR 11428. 2010-11-23 14:15:03 -05:00
Vincent St-Amour
7a7fe577cd Add type for integer-sqrt. Closes PR 11427. 2010-11-23 14:15:03 -05:00
Vincent St-Amour
e10f139ad8 Fix type for raise-type-error. Closes PR 11426. 2010-11-23 14:15:03 -05:00
Vincent St-Amour
2c74984fcd More precise type for sgn. Closes PR 11424. 2010-11-23 14:15:02 -05:00
Vincent St-Amour
c633913b94 Add optional argument to make-hash and co. 2010-10-27 16:15:50 -04:00
Sam Tobin-Hochstadt
561fdc8db5 Avoid dumb parsing bugs in require/typed. 2010-10-26 18:09:45 -04:00
Vincent St-Amour
a15236ea4f Fix opt-lambda:. Merge to 5.0.2. 2010-10-20 14:32:37 -04:00
Sam Tobin-Hochstadt
24bddafa82 Add type for `compose' 2010-10-14 11:44:14 -04:00
Vincent St-Amour
27e722f27b Inexact-Complex -> Float-Complex 2010-10-12 16:47:46 -04:00
Vincent St-Amour
52bd739d00 Added the Float-Complex type for consistency with the new float types. 
Inexact-Complex has been kept as a synonym for backward compatibility.
 2010-10-12 16:47:45 -04:00
Vincent St-Amour
a59a99c42d Changed the TR numeric tower to use the new flonums. 2010-10-12 16:47:45 -04:00
Stevie Strickland
3028f2d142 Convert vectorof/vector-immutableof to the new regime. 
Also add old-style vectorof to mzlib/contract.
 2010-09-16 15:04:41 -04:00
Vincent St-Amour
8aab96faa6 Made annotations optional for let: and variants. 2010-09-16 13:24:10 -04:00
Vincent St-Amour
9f87b5a7e6 Made some type annotations optional in the for: macros. 2010-09-15 20:21:51 -04:00
Vincent St-Amour
a10d145f25 Added annotated versions of the for macros that generate vectors. 
They are purposedly left out of the documentation since the typchecker
can't currently handle their expansion.
 2010-09-15 20:21:50 -04:00
Stevie Strickland
994ad6d10f Now change box/c to use proxies or chaperones appropriately. 
Create a mzlib/contract compatible version of the old box/c and use that
for mzlib/contract.  Change the docs so that the docs for mzlib/contract
contain the right information.

Fix the typed-scheme implementation to only force flat box (or hash)
contracts when it already is required to be flat.  Otherwise, allow
non-flat contracts for the element contract (or domain/range contracts).
 2010-09-15 16:57:17 -04:00
Sam Tobin-Hochstadt
5789981f2c Add some file primitives. 2010-09-10 18:29:34 -04:00
Sam Tobin-Hochstadt
0ae9e0ff85 Add `require' to fix tests. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
bc6d8f98ed Avoid printing results of `define-hierarchy' 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
b6b840076b Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
Sam Tobin-Hochstadt
de0e8bc81c Progress on delaying some environments. 2010-09-09 16:08:03 -04:00
Sam Tobin-Hochstadt
837291a793 simplify requires 2010-09-08 13:20:34 -04:00
Sam Tobin-Hochstadt
120a1d0d87 Load typechecker dynamically to reduce footprint. 2010-09-08 13:20:34 -04:00
Sam Tobin-Hochstadt
fae02be9f0 Add memory fns. 2010-09-08 11:32:04 -04:00
Sam Tobin-Hochstadt
a0e77705e5 Propogate #:mutable for polymorphic structs. 
Closes PR 11127
 2010-09-08 10:47:51 -04:00
Sam Tobin-Hochstadt
6130f3551c Fix polymorphic structs with mutability. 2010-09-08 10:24:58 -04:00
Sam Tobin-Hochstadt
91fefa055e Make syntax of #{} less accepting of errors. 2010-09-08 10:24:58 -04:00
Stevie Strickland
3b0de9c141 Check struct predicate before checking fields. 2010-09-02 19:59:00 -04:00
Sam Tobin-Hochstadt
92ce3ca02d Use `any/c' for contracts for polymorphic functions. 2010-08-27 18:36:49 -04:00
Vincent St-Amour
d3ee52d451 Added annotations to plain for and for* in typed code. 2010-08-27 18:18:52 -04:00
Vincent St-Amour
ea472a9d57 Added with-asserts, from code from Neil Toronto. 2010-08-26 17:46:58 -04:00
Vincent St-Amour
694d2da4b3 Extend sign analysis to sqr. 2010-08-26 17:46:57 -04:00
Eli Barzilay
7dc4d2e5a6 Change a bunch of "~%" and "~n" in format strings to "\n". 2010-08-25 17:17:01 -04:00
Sam Tobin-Hochstadt
b08de170bc Add Futureof' type, types for future' and `touch' 2010-08-25 10:27:07 -04:00
Vincent St-Amour
a4b0c69ec2 Fixed the type of file-position. 2010-08-24 16:58:21 -04:00
Sam Tobin-Hochstadt
0c1dfd3c5e Require flat contracts in box/c, hash/c, and vector/c. 
Closes PR 11085.
 2010-08-13 11:06:56 -04:00
Vincent St-Amour
0a45e0e361 More precise type for expt. 2010-08-06 11:09:04 -04:00
Vincent St-Amour
500685c0f2 Fixed source location for for:. 2010-08-05 09:04:25 -04:00
Vincent St-Amour
b18f2353ca Generalize naturals to integers to minimize annotations on mutated variables. 2010-08-05 09:04:25 -04:00
Vincent St-Amour
4cb7491309 Added opt-lambda:. 2010-08-05 09:04:25 -04:00
Vincent St-Amour
416591b355 Fixed parsing of keyword types. 2010-08-05 09:04:24 -04:00
Sam Tobin-Hochstadt
431ff8d794 Don't treat Error types as potentially non-regular. (Reported by SK) 2010-08-02 15:41:42 -04:00
Vincent St-Amour
c4ba6b6038 Added some reflection functions to Typed Racket. 2010-07-29 19:11:20 -04:00