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

2121 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent St-Amour
d908745a11 Fix TR tests for new logging system. 
original commit: ab328ea80bd460d6aeb94f3adf958e2d1c041d9c
 2012-09-11 13:48:14 -04:00
Vincent St-Amour
d234a65876 Fix OC for new logging system. 
original commit: 39100bd3e3a085b8911b9e3018c78e62dbe6d82b
 2012-09-11 13:48:14 -04:00
Vincent St-Amour
2cff6508c9 Fix unstable/logging to work with the new logging system. 
original commit: 5a24b57a9516fb781363dc8d7f4b59c16ae238b9
 2012-09-11 13:48:14 -04:00
Vincent St-Amour
062d973d04 Integers include inexact single-float integers. 
Closes PR13103.

original commit: adceb4322acbb31cfed9fdb2ab2825db46074f21
 2012-09-09 15:46:29 -04:00
Vincent St-Amour
dc38b069d9 Fix types of comparisons between zero and non-negative integer types. 
original commit: 729d154deb203490c68b4cd2cff95547f5509db9
 2012-09-08 18:51:38 -04:00
Sam Tobin-Hochstadt
6d73aa7b4d Track mutable variables across modules. 
original commit: eed93825abcedc07570b4a185b88ad30f424cf0f
 2012-08-31 17:45:11 -04:00
Sam Tobin-Hochstadt
d5b1f76319 Simplifying case-> to union is only safe for 1-argument functions. 
Closes PR 13002.

original commit: ab5403d1ede34b3df761e82ba64f991089cadd81
 2012-08-31 10:27:51 -04:00
Matthew Flatt
10d9de8b62 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).

original commit: b61f3f751c5dfe72869fd449ba3ff42f520d0927
 2012-08-28 16:04:41 -06:00
Sam Tobin-Hochstadt
c9a754132a Refactoring of new tc-app. 
original commit: 514c1c5921a83297a8f305678d95d7f2357a7180
 2012-08-27 14:46:30 -04:00
Eric Dobson
933db45b14 Fix errors in tc/app-hetero, cleanup tc/app. 
original commit: 1e15d4496e3cefc6853d1a843a13b8f11bc55fd5
 2012-08-27 14:43:45 -04:00
Eric Dobson
696b463b46 Cleaned up special cases by adding macros to reduce duplication. 
original commit: 5c7ed4a21d1c77866891b2c69fb8c152e5872fca
 2012-08-27 14:43:45 -04:00
Eric Dobson
5754267aa0 Moved the rest of special cases to reified syntax classes. 
original commit: ba7647d7e22a0c926755e6748b49a490e2a1fc4d
 2012-08-27 14:43:45 -04:00
Eric Dobson
cf3cdb4d9d Rough draft of syntax classes for tc-app. 
original commit: dda1d6021157cfb07cefdb9aac6093d8bbbae0b7
 2012-08-27 14:43:45 -04:00
Eric Dobson
274b4a3845 Add back template require. 
original commit: 020d053e0ae00d04bf00affb4e1b97a70a39749f
 2012-08-27 14:43:45 -04:00
Eric Dobson
642932cd95 Removed dependencies from tc-app-hetero. 
original commit: 6c2be057493f8b0a18df74ee4cff22381b58eae8
 2012-08-27 14:43:44 -04:00
Eric Dobson
dddd5e23cd Remove unneeded requires 
original commit: d8c9a581f2a25c68c8ae85a216fcf676dd8661ae
 2012-08-27 14:43:44 -04:00
Eric Dobson
09e0c07537 Cleanup of tc-app refactor. 
original commit: 7005f12f0dbb744442118d539c807c7bc2f4b003
 2012-08-27 14:43:44 -04:00
Eric Dobson
543b1e3069 Moved last special cases out of tc-app.rkt. 
original commit: 54d49d0ec163a149948d2c8337f6de66d1ec3be2
 2012-08-27 14:43:44 -04:00
Eric Dobson
5871c0c182 Moved lambda special cases out of tc-app.rkt. 
original commit: 67c7e3537b69fbccf1e30c1fcecca86f9d9ac5eb
 2012-08-27 14:43:44 -04:00
Eric Dobson
30239cf42f Moved eq? et al. special casing out of tc-app.rkt. 
original commit: 51671fcec41828b6dc26427303c7dd8c76e07139
 2012-08-27 14:43:44 -04:00
Eric Dobson
c41a752d1f Moved object special cases out of tc-app.rkt. 
original commit: 73bd7da049a2831d6fffac9a81c3d89d43c58975
 2012-08-27 14:43:44 -04:00
Eric Dobson
78a124bfff Moved keyword special cases out of tc-app.rkt. 
original commit: c2ab21c5a56bb157a8129fd94b7c599600d53083
 2012-08-27 14:43:44 -04:00
Eric Dobson
bd178b777a Split out special cases for apply and values from tc-app.rkt. 
original commit: 603442347247c55f59f95af94bc2b05d0875d827
 2012-08-27 14:43:44 -04:00
Eric Dobson
536b374ec2 Move TR list special cases to tc-app-list.rkt. 
original commit: fcb06ac43303a58a09a8ac6ce5bf9ae9d40e08d1
 2012-08-27 14:43:44 -04:00
Sam Tobin-Hochstadt
2ec87e9e94 Move Ephemeronof documentation. 
Closes PR 12952.

original commit: 0233c5a14f5d20beb30e544bca384f61af18eeb0
 2012-08-23 14:04:37 -04:00
Sam Tobin-Hochstadt
d970f11334 Remove #:transparent to work around place message limitations. 
original commit: b7f9c7706944216c4eb841396df53be2f413842f
 2012-08-22 16:50:50 -04:00
Sam Tobin-Hochstadt
616b1c2fb6 Add -v option to TR tests. 
Also, print errors from serialization and place message sending.

original commit: e207f5c67df7d8ee1a6605d3ee62ba39787d16e0
 2012-08-22 16:50:50 -04:00
Eric Dobson
cfe59c4980 Fix typechecking of polymorphic structs with parent types. 
Closes PR12998.

original commit: e9f209977b5d437589265ca5e9e69c74d45b9d47
 2012-08-22 16:50:49 -04:00
Sam Tobin-Hochstadt
467c46360c Use module registry trick to slightly speed up TR tests. 
original commit: 26a57f64202a9e4040fe495cf5d6a2ce3d79531f
 2012-08-22 11:13:07 -04:00
Sam Tobin-Hochstadt
08962bd0aa Parallelize running Typed Racket optimizer tests. 
No speedup yet, though.

original commit: e705d4d450b1753a0c5fe8b34bb1a41c22e381cc
 2012-08-21 17:47:30 -04:00
Sam Tobin-Hochstadt
33459cf564 Add some examples for cast. 
original commit: 71e81f9fffa682f93b82dc76c51b92606884d24a
 2012-08-21 10:50:34 -04:00
Eric Dobson
faaaa1396c Adding documentation for cast and make-predicate. 
Also converted tabs to spaces.

original commit: 1248b32e73b380dbf43a2ffcbb1f9a54d83bf1c3
 2012-08-21 10:50:34 -04:00
Sam Tobin-Hochstadt
8641817ca6 Add type for processor-count. 
original commit: 5fb48197037570e22d2e39eb7dbd1f3ca8721387
 2012-08-20 14:49:11 -04:00
Sam Tobin-Hochstadt
48a9602d23 Don't use places for running single tests. 
original commit: 1c275ffcc7fb79775b377340aaae3e258473a3ba
 2012-08-20 14:45:50 -04:00
Eric Dobson
26b3938743 Move list-set and list-update to unstable/list. 
original commit: 6e2e84664da60e82434f907d7274fcc88e47e11f
 2012-08-20 14:45:50 -04:00
Sam Tobin-Hochstadt
2117167e8b Fix typo detected by optimizer. 
original commit: 4c0d605c430593562b1b29ff7c7617573220aab2
 2012-08-20 13:17:50 -04:00
Eric Dobson
7f2c626c7f Wrap generated code in #%expression. 
This allows tc-toplevel to hand it off to tc-expr, and not reimplement
the details of annotations.

original commit: b9408e545eb72e2ef4877cd3e9909f4937ebf536
 2012-08-20 12:39:41 -04:00
Eric Dobson
8086da4e7e Add back ignore-some typechecking 
original commit: 8545f421abfe3e4fb689e12d19ec05b109660e5b
 2012-08-20 12:39:41 -04:00
Eric Dobson
20da55c55d Add tests for make-predicate and cast, also add support for the top-level. 
Closes PR 12939.
Closes PR 12201.

original commit: 533920480e4b9878a18febdc616429623bb58f50
 2012-08-20 12:39:41 -04:00
Eric Dobson
9d60643a65 Added cast operator to typed racket 
original commit: 553c3a4f80c094d030d11c061464529ed5741e5f
 2012-08-20 12:39:40 -04:00
Eric Dobson
e70c2dea51 Add way for code to attach typechecks to itself, and implemented make-predicate. 
original commit: cc52e56fe6749bba71dbae5e56c0a58d90ac119b
 2012-08-20 12:39:40 -04:00
Eric Dobson
3d0e20043d Allow contract definitions created from expressions to be fixed up. 
original commit: 115345300dc4bfe3a14c7b7f73507719e2f6500d
 2012-08-20 12:39:40 -04:00
Eric Dobson
ce51776f1f Make TR's ignore-some property work even if there isn't an internal form. 
original commit: bb67e37c4906334dbf43e650643d9162d195fa3d
 2012-08-20 12:39:40 -04:00
Sam Tobin-Hochstadt
7654984ca6 Make Typed Racket integration tests run in parallel. 
Parallel speedup of approximately 4x when using 8 workers on a 12-core machine.

Closes PR 12911.

original commit: 9e5060ef5b7e831480e82d45eb7459d1015f1f54
 2012-08-20 12:25:50 -04:00
Eric Dobson
f41741b486 Add promise support to type->contract. 
Closes PR13024.

original commit: 09d32d35e06abe31075bf3fbf04f6c749f3d5603
 2012-08-20 10:10:17 -04:00
Eric Dobson
8c95235750 Cleanup builtin structs types. 
original commit: a408d6bfbfacae706b8d1d51f67c7929c3fcae16
 2012-08-20 10:10:17 -04:00
Eric Dobson
0277c62e46 Make promises like every other TR container. 
original commit: df6562c1de124a01a4a104cf8f813078b12bd680
 2012-08-14 16:16:07 -04:00
Eric Dobson
dc0849e298 Replaced infer-dummy with lazy-require. 
original commit: ac493a6f44773c43c215e8c5cd5dc6d8e1edcdf1
 2012-08-14 16:04:51 -04:00
Eric Dobson
a3d44f9315 Fix internal error for untyped kw functions. 
Closes PR12932.
Closes PR12922.

original commit: 9ef80edfef0e872ec9224c5d1e032c3f46dc2ace
 2012-08-14 16:04:51 -04:00
Eric Dobson
fb1c408062 Removed deprecated printf/log. 
original commit: fdd2966cf405c5b8e877f51aeff6606816b8d9c3
 2012-08-14 16:04:48 -04:00