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

1228 Commits

Author SHA1 Message Date
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
Vincent St-Amour
22391be437 Cleanup of exposed base types. 2011-01-31 16:39:19 -05:00
Vincent St-Amour
0f0a2625c6 Fix typechecking of single flonum literals, now that they are enabled by default. 2011-01-31 16:39:18 -05:00
Vincent St-Amour
f1c6c74284 Small-Float -> Single-Flonum 2011-01-31 16:39:18 -05:00
Vincent St-Amour
4ac36fd59b Added the new single-precision float function to TR. 2011-01-31 16:39:18 -05:00
Vincent St-Amour
b26531774b Update base-env-indexing to use the new types. 2011-01-31 16:39:15 -05:00
Vincent St-Amour
46f086282d Bytes are a sequence of the new Byte type. 2011-01-31 16:39:15 -05:00
Vincent St-Amour
5dbc752542 Edit TR's optimizer's docs to reflect that Float-Complex is the only 
complex type that can be optimized.
 2011-01-31 16:39:15 -05:00
Vincent St-Amour
768bb63361 Fix optimizer to work with new types. 2011-01-31 16:39:14 -05:00
Vincent St-Amour
a0a54b231d Fix TR tests. 2011-01-31 16:39:14 -05:00
Vincent St-Amour
e56663c943 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.
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
3e27ed607c Avoid generating large contracts for common numeric types. 2011-01-31 16:39:13 -05:00
Vincent St-Amour
d4c93cc12e 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.
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
78c4809177 Make bare union constructor smarter. 2011-01-31 16:39:12 -05:00
Vincent St-Amour
4b3e621d0f Documented opt-lambda: and popt-lambda:. 2011-01-31 16:39:12 -05:00