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

377 Commits

Author SHA1 Message Date
Ryan Culpepper
29a9abf394 fix bad attr reference (datum attr doesn't exist) 
That macro doesn't seem to be used anywhere. Perhaps it can just
be deleted.
 2012-09-17 12:29:17 -04:00
Vincent St-Amour
1975014c55 Remove TR optimizer log key, made redundant by named loggers. 2012-09-11 13:48:14 -04:00
Vincent St-Amour
ab328ea80b Fix TR tests for new logging system. 2012-09-11 13:48:14 -04:00
Vincent St-Amour
805a6477a7 Use named loggers to tell TR and inliner logs apart. 2012-09-11 13:48:14 -04:00
Vincent St-Amour
251159e64a Allow launching OC when it's already running. 2012-09-11 13:48:14 -04:00
Vincent St-Amour
39100bd3e3 Fix OC for new logging system. 2012-09-11 13:48:14 -04:00
Vincent St-Amour
adceb4322a Integers include inexact single-float integers. 
Closes PR13103.
 2012-09-09 15:46:29 -04:00
Vincent St-Amour
729d154deb Fix types of comparisons between zero and non-negative integer types. 2012-09-08 18:51:38 -04:00
Sam Tobin-Hochstadt
eed93825ab Track mutable variables across modules. 2012-08-31 17:45:11 -04:00
Sam Tobin-Hochstadt
ab5403d1ed Simplifying case-> to union is only safe for 1-argument functions. 
Closes PR 13002.
 2012-08-31 10:27:51 -04:00
Matthew Flatt
b61f3f751c port position-tracking clean-ups 
Add `file-position*', which can return #f instead of raising
an exception when a port's position is unknown. Change
`make-input-port' and `make-output-port' to accept more
kinds of values as the initial position.

These changes make it possible to synchronize a port's
position with a `port-commit-peeked' action. It's ugly,
which I think reflect something broken about position
tracking in the port protocol (which seems difficult to fix
without breaking compaibility).
 2012-08-28 16:04:41 -06:00
Sam Tobin-Hochstadt
514c1c5921 Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00
Eric Dobson
1e15d4496e Fix errors in tc/app-hetero, cleanup tc/app. 2012-08-27 14:43:45 -04:00
Eric Dobson
5c7ed4a21d Cleaned up special cases by adding macros to reduce duplication. 2012-08-27 14:43:45 -04:00
Eric Dobson
ba7647d7e2 Moved the rest of special cases to reified syntax classes. 2012-08-27 14:43:45 -04:00
Eric Dobson
dda1d60211 Rough draft of syntax classes for tc-app. 2012-08-27 14:43:45 -04:00
Eric Dobson
020d053e0a Add back template require. 2012-08-27 14:43:45 -04:00
Eric Dobson
6c2be05749 Removed dependencies from tc-app-hetero. 2012-08-27 14:43:44 -04:00
Eric Dobson
d8c9a581f2 Remove unneeded requires 2012-08-27 14:43:44 -04:00
Eric Dobson
7005f12f0d Cleanup of tc-app refactor. 2012-08-27 14:43:44 -04:00
Eric Dobson
54d49d0ec1 Moved last special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
67c7e3537b Moved lambda special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
51671fcec4 Moved eq? et al. special casing out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
73bd7da049 Moved object special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
c2ab21c5a5 Moved keyword special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
6034423472 Split out special cases for apply and values from tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
fcb06ac433 Move TR list special cases to tc-app-list.rkt. 2012-08-27 14:43:44 -04:00
Sam Tobin-Hochstadt
0233c5a14f Move Ephemeronof documentation. 
Closes PR 12952.
 2012-08-23 14:04:37 -04:00
Eric Dobson
e9f209977b Fix typechecking of polymorphic structs with parent types. 
Closes PR12998.
 2012-08-22 16:50:49 -04:00
Sam Tobin-Hochstadt
71e81f9fff Add some examples for cast. 2012-08-21 10:50:34 -04:00
Eric Dobson
1248b32e73 Adding documentation for cast and make-predicate. 
Also converted tabs to spaces.
 2012-08-21 10:50:34 -04:00
Sam Tobin-Hochstadt
5fb4819703 Add type for processor-count. 2012-08-20 14:49:11 -04:00
Eric Dobson
6e2e84664d Move list-set and list-update to unstable/list. 2012-08-20 14:45:50 -04:00
Sam Tobin-Hochstadt
4c0d605c43 Fix typo detected by optimizer. 2012-08-20 13:17:50 -04:00
Eric Dobson
b9408e545e Wrap generated code in #%expression. 
This allows tc-toplevel to hand it off to tc-expr, and not reimplement
the details of annotations.
 2012-08-20 12:39:41 -04:00
Eric Dobson
8545f421ab Add back ignore-some typechecking 2012-08-20 12:39:41 -04:00
Eric Dobson
533920480e Add tests for make-predicate and cast, also add support for the top-level. 
Closes PR 12939.
Closes PR 12201.
 2012-08-20 12:39:41 -04:00
Eric Dobson
553c3a4f80 Added cast operator to typed racket 2012-08-20 12:39:40 -04:00
Eric Dobson
cc52e56fe6 Add way for code to attach typechecks to itself, and implemented make-predicate. 2012-08-20 12:39:40 -04:00
Eric Dobson
115345300d Allow contract definitions created from expressions to be fixed up. 2012-08-20 12:39:40 -04:00
Eric Dobson
bb67e37c49 Make TR's ignore-some property work even if there isn't an internal form. 2012-08-20 12:39:40 -04:00
Eric Dobson
09d32d35e0 Add promise support to type->contract. 
Closes PR13024.
 2012-08-20 10:10:17 -04:00
Eric Dobson
a408d6bfbf Cleanup builtin structs types. 2012-08-20 10:10:17 -04:00
Eric Dobson
df6562c1de Make promises like every other TR container. 2012-08-14 16:16:07 -04:00
Eric Dobson
ac493a6f44 Replaced infer-dummy with lazy-require. 2012-08-14 16:04:51 -04:00
Eric Dobson
9ef80edfef Fix internal error for untyped kw functions. 
Closes PR12932.
Closes PR12922.
 2012-08-14 16:04:51 -04:00
Eric Dobson
fdd2966cf4 Removed deprecated printf/log. 2012-08-14 16:04:48 -04:00
Sam Tobin-Hochstadt
ade36c36c6 Don't special-case applications with instantiations. 
Closes PR 13006.
 2012-08-14 15:45:47 -04:00
Eric Dobson
3b6168de7d Fix substitute and add test case. 2012-08-14 14:44:55 -04:00
Eric Dobson
2e3965e777 Make simple substitution happen all at once. 
Closes pr12920.
 2012-08-14 14:44:55 -04:00