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

1165 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
605cfeec02 Add types for `in-hash' etc. 
original commit: 2f3e9fc655283f4ab375c7aaebab39f45df9f45e
 2011-05-08 15:36:48 -04:00
Eric Dobson
a5bbee3ce3 Changed early failure in subtyping to all non-struct values, not just null. Closes PR 11887. 
original commit: e9683e1dd2f6544391cc603a6385baee59c6c07e
 2011-05-06 11:39:01 -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
Sam Tobin-Hochstadt
8fc12be2c4 Include extra-procs in the #:use-sources. 
original commit: 507db7e5a64c3410d56f4e60e0ab6c5150d66b60
 2011-05-05 19:04:38 -04:00
Vincent St-Amour
f431fd94df Add extra early failure cases to subtype* to avoid inference failures. 
original commit: d7fd2b2e3fad604677e04c405e7585dc2c48e872
 2011-05-05 18:54:12 -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
3de7ea8410 Correctly instantiate poly-dotted functions with zero arguments. 
Closes PR 11776. Closes PR 11545.

original commit: 44f377bcd40b88147b606dbe1e8950e59b40e07d
 2011-05-03 18:20:31 -04:00
Sam Tobin-Hochstadt
b55c9dfa2b Document utility predicates. 
original commit: 045fd7a77c814016739020a7eedaac1ad03d4795
 2011-05-03 08:15:37 -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
b8e972df37 Fix a couple typos found by mflatt and the optimzer. 
original commit: 31aa47f13653f30d4b4eb4fc92a13964f682f9ea
 2011-04-30 19:49:00 -04:00
Vincent St-Amour
5b11b9f98b Promote more literals at compile-time. 
original commit: 4d24cbee606b19dea77d7225fba4517957d6fc0a
 2011-04-29 17:16:39 -04:00
Sam Tobin-Hochstadt
acf8e410c8 Document many more numeric types, and fix documentation for `typed/scheme' etc. 
original commit: 551ad63f4e2bffb717abd645265c7f45a03362e4
 2011-04-29 13:27:38 -04:00
Sam Tobin-Hochstadt
2ab36e790f Document a bunch of TR types and special forms. 
original commit: 6a87483f38214ab4efe00188a31b671d8551c4b7
 2011-04-28 18:26:07 -04:00
Sam Tobin-Hochstadt
f1c0bd8280 Remove uneccesary provides. 
original commit: 561d89f0aff26c4171776ae4ed38127e51a349d5
 2011-04-28 18:25:22 -04:00
Sam Tobin-Hochstadt
aa2bbc255d Progress on missing docs. 
original commit: c28f024ae05ef276c9bf2e5ad5ddea45462ac3ff
 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
Carl Eastlund
fca7f32a50 Added Typed Racket reference subsection for syntax object(-related) types: 
Syntaxof, Syntax, Identifier, Syntax-E, Sexpof, Sexp, and Datum.

original commit: 943c1bd6b5a18fce0448a1d988d222b845364b83
 2011-04-27 16:46:20 -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
1185be8b1f Fix undocumented binding. 
original commit: 295cb191cffbfdf0cc4bfd3840994d45cef9747c
 2011-04-21 12:23:44 -04:00
Sam Tobin-Hochstadt
e903b419dd Avoid resolving types when checking subtyping on structs. 
This fixes problems with caching, because sometimes we were giving the wrong answer for nested calls to `subtype'.

original commit: 82e6e9d19eb277be03ffd7b91d4549a61bcd723a
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
01a6586f73 Use `in-hash' explicitly. 
original commit: d459ad47b897fed0c106f78f357744c2558f7819
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
172d85f97d Add type keys for Struct and StructTop. 
original commit: fe60793b4de78f80e0f12605e9853b6ab6638a6d
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
3f6c0aef0c Add clever comments. 
original commit: 6c17b01f99473deecea91ffe3435fd6b11819f37
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
c11338c883 Add debugging parameter, and wrappers for unstable/debug. 
original commit: eaa63f2d1ef6c0fdec45b504aa6f2f7bcd07b2b5
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
70e0482625 Add cache for `resolve-once'. 
Substantial speedups on "new-metrics.rkt" test.

original commit: 79061150efbc304ac6b9c3f74ba0ac0df342857e
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
13b93f380a Use eq? on sequence numbers. 
original commit: 0f30f5d8de67bb80f4873a25228afbd7069d2ad1
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
403354ad49 Remove useless requires. 
original commit: 51083dbce6bc66305a7d3809097bdaba07c78313
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
32eacbc3b7 Fix typo. 
original commit: 7ba2b6e100a9075779bdbdc0a540c8b3044587a5
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
96aaa73075 Remove unused macro. 
Convert function to macro for inlining.

original commit: e7beef3f4fd407c7ba7f8d6c46e4f9f37fced091
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
d5d338ad2f Refactor to avoid duplicated code. 
original commit: 05d9e1a871de7d68d5ae878b7dc1b3bdd7be28fb
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
0c42c44942 Remove useless propositional clauses. Thanks to dyoo for test case. 
original commit: 0f5dfd68710bbfadb499e2ab7ff294bcd377053a
 2011-04-18 18:42:10 -04:00
Sam Tobin-Hochstadt
8ebebdeb8f Copy properties when optimizing bodies of lambda/define-values. 
Closes PR 11860.

original commit: 981616d504c1c0c6f91effedc6166a324de328e3
 2011-04-18 15:41:50 -04:00
Sam Tobin-Hochstadt
edd83d1c06 Remove unused code. 
original commit: 187dc634933a5652746d5dcb6a263732a9a46b7a
 2011-04-18 15:41:50 -04:00
Hari Prashanth
c5bfe38e87 Added some examples to to the TR reference docs. 
Signed-off-by: Sam Tobin-Hochstadt <samth@racket-lang.org>

original commit: 7934ac3461830df81836dfd8113e1b2e7a915a1a
 2011-04-18 15:41:50 -04:00
Vincent St-Amour
58a8754f50 Optimize filter operations. 
original commit: bce90e2a712dccdf0c7283abaa5be49f65d96b59
 2011-04-18 13:25:28 -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
12955cdc37 moved unstable/{location,srcloc} to syntax collection 
fixed bugs in unstable/wrapc

original commit: 7828a7bfa78ac6591ea7074cdf85f3cd0ca12baf
 2011-04-08 08:25:22 -06: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
f01605d921 Fix bounded-fixnum opts to only fire with the right number of arguments. 
original commit: 9c3bee03e7f24390338e3f37d06eb84940d6a137
 2011-04-01 14:56:17 -04:00
Vincent St-Amour
9005984c31 Fix type of sqr. 
original commit: 60cc8c44537993882e41c3835c112a64b48c7d4c
 2011-03-21 16:06:37 -04:00
Vincent St-Amour
8040ee8831 Fix type names. 
original commit: 4ba3f1a6ddde6a69cd110435a0294136eb7efd13
 2011-03-18 13:25:06 -04:00
Vincent St-Amour
5a35d4ea66 Optimize add1 and sub1 on floats and fixnums. 
original commit: 3ebe9e78f9c86feb14d80dd499adec6438dc37e3
 2011-03-18 13:25:05 -04:00
Vincent St-Amour
b05cef80e3 Use subtype test, just in case. 
original commit: d06bf0de912355eb776f060c9d7a0a137f50a339
 2011-03-18 13:25:05 -04:00
Vincent St-Amour
b2d591e70b Provide the index? predicate. 
original commit: 17afa91c095d9df8f91820dcb8268df34f9f0165
 2011-03-18 13:24:58 -04:00
Vincent St-Amour
c8a4abd264 Improve TR's fixnum optimizations, using the new sub-fixnum types. 
original commit: 1f0386b46cc7ef08ac59d1d3453412f5eaf3f1e3
 2011-03-18 10:25:22 -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