suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
20,731 Commits 17 Branches 54 Tags 278 MiB
561d89f0af
Commit Graph

1242 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
561d89f0af Remove uneccesary provides. 2011-04-28 18:25:22 -04:00
Sam Tobin-Hochstadt
c28f024ae0 Progress on missing docs. 2011-04-28 18:25:22 -04:00
Vincent St-Amour
632e36f751 Add set types to TR. 
Original patch by Eric Dobson.
 2011-04-28 18:22:39 -04:00
Carl Eastlund
943c1bd6b5 Added Typed Racket reference subsection for syntax object(-related) types: 
Syntaxof, Syntax, Identifier, Syntax-E, Sexpof, Sexp, and Datum.
 2011-04-27 16:46:20 -04:00
Vincent St-Amour
9740d5542b No need for EphemeronTop since ephemerons are covariant. 
Closes PR 11633.
 2011-04-26 15:35:22 -04:00
Eric Dobson
80fa8d3c97 Beginning of ephemeron patch 2011-04-26 15:35:22 -04:00
Robby Findler
21cbd9ad81 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
 2011-04-25 11:51:44 -05:00
Sam Tobin-Hochstadt
295cb191cf Fix undocumented binding. 2011-04-21 12:23:44 -04:00
Sam Tobin-Hochstadt
82e6e9d19e 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'.
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
d459ad47b8 Use `in-hash' explicitly. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
fe60793b4d Add type keys for Struct and StructTop. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
6c17b01f99 Add clever comments. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
eaa63f2d1e Add debugging parameter, and wrappers for unstable/debug. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
79061150ef Add cache for `resolve-once'. 
Substantial speedups on "new-metrics.rkt" test.
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
0f30f5d8de Use eq? on sequence numbers. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
51083dbce6 Remove useless requires. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
7ba2b6e100 Fix typo. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
e7beef3f4f Remove unused macro. 
Convert function to macro for inlining.
 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
05d9e1a871 Refactor to avoid duplicated code. 2011-04-20 09:41:42 -04:00
Sam Tobin-Hochstadt
0f5dfd6871 Remove useless propositional clauses. Thanks to dyoo for test case. 2011-04-18 18:42:10 -04:00
Sam Tobin-Hochstadt
981616d504 Copy properties when optimizing bodies of lambda/define-values. 
Closes PR 11860.
 2011-04-18 15:41:50 -04:00
Sam Tobin-Hochstadt
187dc63493 Remove unused code. 2011-04-18 15:41:50 -04:00
Hari Prashanth
7934ac3461 Added some examples to to the TR reference docs. 
Signed-off-by: Sam Tobin-Hochstadt <samth@racket-lang.org>
 2011-04-18 15:41:50 -04:00
Vincent St-Amour
bce90e2a71 Optimize filter operations. 2011-04-18 13:25:28 -04:00
Robby Findler
570a3e58b9 renamed parametric/c to parametric->/c 
and cleaned up the organization of the related files
 2011-04-09 21:45:49 -05:00
Ryan Culpepper
7828a7bfa7 moved unstable/{location,srcloc} to syntax collection 
fixed bugs in unstable/wrapc
 2011-04-08 08:25:22 -06:00
Ryan Culpepper
f49412add8 moved unstable/poly-c to racket/contract/parametric 2011-04-08 08:25:22 -06:00
Ryan Culpepper
73ab167522 created racket/syntax from parts of unstable/syntax 2011-04-07 09:47:20 -06:00
Vincent St-Amour
9c3bee03e7 Fix bounded-fixnum opts to only fire with the right number of arguments. 2011-04-01 14:56:17 -04:00
Vincent St-Amour
60cc8c4453 Fix type of sqr. 2011-03-21 16:06:37 -04:00
Vincent St-Amour
4ba3f1a6dd Fix type names. 2011-03-18 13:25:06 -04:00
Vincent St-Amour
3ebe9e78f9 Optimize add1 and sub1 on floats and fixnums. 2011-03-18 13:25:05 -04:00
Vincent St-Amour
d06bf0de91 Use subtype test, just in case. 2011-03-18 13:25:05 -04:00
Vincent St-Amour
17afa91c09 Provide the index? predicate. 2011-03-18 13:24:58 -04:00
Vincent St-Amour
1f0386b46c Improve TR's fixnum optimizations, using the new sub-fixnum types. 2011-03-18 10:25:22 -04:00
Vincent St-Amour
bde2ee0b8d Changes to the regular base type environment. 2011-03-18 10:25:22 -04:00
Vincent St-Amour
ee29d371c9 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.
 2011-03-18 10:25:21 -04:00
Vincent St-Amour
bf6379c363 Add a helper function to add filters en masse to express propositions 
that are true about a function's arguments if the function returns.
 2011-03-18 10:25:20 -04:00
Vincent St-Amour
88fac43d55 Add an Exact-Number type. 2011-03-18 10:25:20 -04:00
Vincent St-Amour
80a9027f1e Take the meet of constraints earlier in the inference process. 
This avoids constraint explosions in some cases, notably when working
with polydots and plain variable arity functions at the same time.

However, this also weakens inference a bit (breaks it for
unholy-terror and related tests), but not in a way that affects any
practical use cases that I know of.
 2011-03-18 10:25:19 -04:00
Vincent St-Amour
d0bab99535 Move subtype check in inference engine earlier, for performance reasons. 2011-03-17 18:43:59 -04:00
Vincent St-Amour
e450e2815b Share dotted variables to make inference faster. 2011-03-17 18:43:58 -04:00
Vincent St-Amour
bd301912c0 Remove duplicate constraints when taking their meet. 2011-03-17 18:43:58 -04:00
Vincent St-Amour
f8528ac892 Change type of make-sequence to reflect changes to its implementation. 2011-03-17 18:43:57 -04:00
Vincent St-Amour
fe8f1c3591 Fix contract. 2011-03-17 13:10:19 -04:00
David Van Horn
760a58b65d Fixes more spelling errors. 2011-02-04 19:44:13 -07:00
David Van Horn
c9519fd113 Fixed various spelling errors. 2011-02-03 17:42:33 -05:00
Vincent St-Amour
3c081d8fa7 Document the Path-String type. 2011-02-01 18:00:26 -05:00
Vincent St-Amour
1b3052748e Add a case-> type-constructor as a synonym for case-lambda. 2011-01-31 16:39:20 -05:00
Vincent St-Amour
d65438c9ea Remove some legacy bindings. 2011-01-31 16:39:19 -05:00