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

582 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
a57d49ecb7 Add type for `error-display-handler' 
original commit: 27aa3f7556fb9062290abfe58acf3812655a9d9d
 2011-05-08 15:36:48 -04:00
Sam Tobin-Hochstadt
605cfeec02 Add types for `in-hash' etc. 
original commit: 2f3e9fc655283f4ab375c7aaebab39f45df9f45e
 2011-05-08 15:36:48 -04:00
Sam Tobin-Hochstadt
26a209d374 Require numeric-predicates at the correct phase. 
Closes PR 11897.

original commit: af56616fc8ebe84f61ce9d6a2f15530361c739b9
 2011-05-05 19:04:38 -04:00
Eric Dobson
5ea9af1a69 Changed Paths to PathStrings in types where appropriate 
original commit: f3c73a197e4379b6c852050ba0197dc3f31319a4
 2011-05-03 18:20:31 -04:00
Eric Dobson
00820b2a91 Struct types now generate flat contracts when appropriate. 
Closes PR 11686.

original commit: 613e121783d34c3e2cc4904f3e4f43639ab925b3
 2011-05-03 08:15:37 -04:00
Sam Tobin-Hochstadt
f1c0bd8280 Remove uneccesary provides. 
original commit: 561d89f0aff26c4171776ae4ed38127e51a349d5
 2011-04-28 18:25:22 -04:00
Vincent St-Amour
e24955b66a Add set types to TR. 
Original patch by Eric Dobson.

original commit: 632e36f751ea454874548cdb62d6cb73694c773d
 2011-04-28 18:22:39 -04:00
Vincent St-Amour
64b062cb6f No need for EphemeronTop since ephemerons are covariant. 
Closes PR 11633.

original commit: 9740d5542b1cd0046ebdbb1c28ba73ea66025366
 2011-04-26 15:35:22 -04:00
Eric Dobson
b22c8c9c24 Beginning of ephemeron patch 
original commit: 80fa8d3c9799ece292b764f69d10377a34d5495d
 2011-04-26 15:35:22 -04:00
Robby Findler
59f0bfe857 added the racket/contract/combinator library, 
and documented and adjusted these libraries:
     racket/contract/base
     racket/contract/exists
     racket/contract/parametric (renamed from exists)
     racket/contract/region

original commit: 21cbd9ad81eb35dc4d39d6063db25fcb1cc94bbc
 2011-04-25 11:51:44 -05:00
Sam Tobin-Hochstadt
403354ad49 Remove useless requires. 
original commit: 51083dbce6bc66305a7d3809097bdaba07c78313
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
edd83d1c06 Remove unused code. 
original commit: 187dc634933a5652746d5dcb6a263732a9a46b7a
 2011-04-18 15:41:50 -04:00
Robby Findler
e81eb675ac renamed parametric/c to parametric->/c 
and cleaned up the organization of the related files

original commit: 570a3e58b9e82a50a35466a17cd293e1df74f6bc
 2011-04-09 21:45:49 -05:00
Ryan Culpepper
b8d44a81de moved unstable/poly-c to racket/contract/parametric 
original commit: f49412add8363db39de28f579add722094e21cb7
 2011-04-08 08:25:22 -06:00
Ryan Culpepper
332517bc27 created racket/syntax from parts of unstable/syntax 
original commit: 73ab1675222761363f6633061bc1156189f4ba59
 2011-04-07 09:47:20 -06:00
Vincent St-Amour
9005984c31 Fix type of sqr. 
original commit: 60cc8c44537993882e41c3835c112a64b48c7d4c
 2011-03-21 16:06:37 -04:00
Vincent St-Amour
b2d591e70b Provide the index? predicate. 
original commit: 17afa91c095d9df8f91820dcb8268df34f9f0165
 2011-03-18 13:24:58 -04:00
Vincent St-Amour
cefc2bec81 Changes to the regular base type environment. 
original commit: bde2ee0b8d122bae0ecc2c8f0cd0e26285bb9539
 2011-03-18 10:25:22 -04:00
Vincent St-Amour
f0bdca6383 Updated TR's base type environment to use the new numeric types. 
This ended up being an almost complete rewrite of the base environment.
Note: While the commit is dated Jan 27, the work was finished on Mar 2.

original commit: ee29d371c9e6882edfc78621110bd11260ee942a
 2011-03-18 10:25:21 -04:00
Vincent St-Amour
f2c0187b07 Add a helper function to add filters en masse to express propositions 
that are true about a function's arguments if the function returns.

original commit: bf6379c36346e061031fe2916a1f6aece2367fb1
 2011-03-18 10:25:20 -04:00
Vincent St-Amour
ddd2dd821b Add an Exact-Number type. 
original commit: 88fac43d551687efc72b6241c2dffbbaffe270d7
 2011-03-18 10:25:20 -04:00
Vincent St-Amour
f8ded9a56d Change type of make-sequence to reflect changes to its implementation. 
original commit: f8528ac8926bbf7d7eb032dbb287182336828bd4
 2011-03-17 18:43:57 -04:00
Vincent St-Amour
f8b7eb8073 Add a case-> type-constructor as a synonym for case-lambda. 
original commit: 1b3052748e3278deefabf646f4990dc1f8064202
 2011-01-31 16:39:20 -05:00
Vincent St-Amour
2b933e4436 Remove some legacy bindings. 
original commit: d65438c9ea1bacce33579c81cc0e22120ab64f5d
 2011-01-31 16:39:19 -05:00
Vincent St-Amour
185e8c4d0b Cleanup of exposed base types. 
original commit: 22391be437d61fbbe7a1f19b2a2ded393b7afb55
 2011-01-31 16:39:19 -05:00
Vincent St-Amour
c0970cc647 Small-Float -> Single-Flonum 
original commit: f1c6c74284fd913ab8231426bcf1206bcf259f77
 2011-01-31 16:39:18 -05:00
Vincent St-Amour
f642a6ce6d Added the new single-precision float function to TR. 
original commit: 4ac36fd59bc35cb0d60cb050cfaae21d213064c8
 2011-01-31 16:39:18 -05:00
Vincent St-Amour
0e7bf2be4f Update base-env-indexing to use the new types. 
original commit: b26531774b6943e73f4b285b827432200b18a433
 2011-01-31 16:39:15 -05:00
Vincent St-Amour
956a1533c8 Fix TR tests. 
original commit: a0a54b231db5c81e9ab66302399b6adc660b701f
 2011-01-31 16:39:14 -05:00
Vincent St-Amour
3d6b5893ba Add a predicate field to base types, which makes checking for 
subtyping of value types easier.

However, this means that base types can't be marshaled as before,
since these predicates can't be marshaled. Instead, we now marshal
base types as identifiers that refer to their base type object.

original commit: e56663c943fe4ae355b6d626d3c84b6ec8ea7fd1
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
881a3d31e7 Avoid generating large contracts for common numeric types. 
original commit: 3e27ed607c983bd26d3ccf0c98f4504b86b1642d
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
d5941cb2d6 TR's numeric tower is now built from unions of non-overlapping base types. 
A lot of the work that was done by special-casing number types can now be
done by TR's handling of unions. This makes it easier to add more numeric
types to the tower and should make writing down types for numeric
primitives much less error-prone.

In addition, this commit adds several numeric types that will help get
tighter bounds on integer arithmetic, such as Index types. They will have
to be integrated to the base environment before they can be useful.

original commit: d4c93cc12e6df893ba2e782f0e0ea5529738315a
 2011-01-31 16:39:13 -05:00
Sam Tobin-Hochstadt
bcb395b986 Fix type of `-' 
original commit: 463ab0d30943f5453eaac16e1d966dd9dae093eb
 2010-12-08 19:31:57 -05:00
Sam Tobin-Hochstadt
eacda65291 Add `defined?' assertions to fix DrRacket. 
original commit: e70ccafd7b591df218a1ae036f599c671eb57824
 2010-12-08 18:53:56 -05:00
Sam Tobin-Hochstadt
1527fba4b3 Allow arbitrary filter specification in function types. 
Allow (A -> B -> C) for curried function types.

original commit: 87eab889d68dd46bfd5b0f4d79942bc104cb3da2
 2010-12-08 18:22:29 -05:00
Sam Tobin-Hochstadt
05e1489dfb Better handling of `hash-*' functions, and hashes as sequences. 
original commit: 73dbf42e0e6fb750d871060d6ed34adf6e207eec
 2010-12-08 18:22:29 -05:00
Vincent St-Amour
5acfe5b67d Take into account potentially undefined values in letrec. 
Closes PR11511.

original commit: dc2df4882b6abca46839ace724924df5ab0d7707
 2010-12-08 18:17:06 -05:00
Vincent St-Amour
d7a8f14636 Fix type for abs. Closes PR 11430. 
original commit: e7c252739ddab37973cf3c013660d6c2244c44b8
 2010-11-23 14:15:04 -05:00
Vincent St-Amour
26a2fd0163 Add type for fl->exact-integer. Closes PR 11429. 
original commit: 54991835d603a81ddaee6845e4930bfe0ab9de24
 2010-11-23 14:15:04 -05:00
Vincent St-Amour
8d3499453f Fix type for arithmetic-shift. Closes PR 11428. 
original commit: 58d1f75dc1b1e2d9c17427641fa6f295aec96706
 2010-11-23 14:15:03 -05:00
Vincent St-Amour
67eb57c526 Add type for integer-sqrt. Closes PR 11427. 
original commit: 7a7fe577cd464c80b4b344aef4a072c25c7652fa
 2010-11-23 14:15:03 -05:00
Vincent St-Amour
b9303a1f4b Fix type for raise-type-error. Closes PR 11426. 
original commit: e10f139ad82748ee5d6b959c1f6225886b41084d
 2010-11-23 14:15:03 -05:00
Vincent St-Amour
44e1994364 More precise type for sgn. Closes PR 11424. 
original commit: 2c74984fcd442fd73802244801946e2d4dd8ba8c
 2010-11-23 14:15:02 -05:00
Vincent St-Amour
b5d29776df Add optional argument to make-hash and co. 
original commit: c633913b9484c623ca6e56c7b485613c9d60716b
 2010-10-27 16:15:50 -04:00
Sam Tobin-Hochstadt
db3c6bbbe0 Avoid dumb parsing bugs in require/typed. 
original commit: 561fdc8db580c828a45dc27c4ca61b21dccad311
 2010-10-26 18:09:45 -04:00
Vincent St-Amour
9b5a5a6bb5 Fix opt-lambda:. Merge to 5.0.2. 
original commit: a15236ea4f1ba84c9351632e9469e1cd34b5375b
 2010-10-20 14:32:37 -04:00
Sam Tobin-Hochstadt
f0fad4383a Add type for `compose' 
original commit: 24bddafa82e28a3eee675c1ad99ae1dcde59d46a
 2010-10-14 11:44:14 -04:00
Vincent St-Amour
1a4e176824 Inexact-Complex -> Float-Complex 
original commit: 27e722f27b673cbfcee60aaba75dfdcab7e396c5
 2010-10-12 16:47:46 -04:00
Vincent St-Amour
c547da857e Added the Float-Complex type for consistency with the new float types. 
Inexact-Complex has been kept as a synonym for backward compatibility.

original commit: 52bd739d00491d2a78b62c6d6e89fb5eaf6ae046
 2010-10-12 16:47:45 -04:00
Vincent St-Amour
92b3f9af03 Changed the TR numeric tower to use the new flonums. 
original commit: a59a99c42dffec38be98f3c0449097c80bad40fe
 2010-10-12 16:47:45 -04:00