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

2203 Commits

Author SHA1 Message Date
Vincent St-Amour
9170637137 Only recommend dropping exactness in truly inexact contexts. 
Please merge to release.

original commit: 758e4ff112bf83544fdfc833f454930cc0bc5322
 2012-10-12 14:42:16 -04:00
Vincent St-Amour
0cf2fc6810 Recommend float-specific operations in case of unexpected complex. 
Please merge to release.

original commit: 7d317f1e96e77ca9ce85136608b49d420ad39630
 2012-10-09 16:58:04 -04:00
Sam Tobin-Hochstadt
fa5f278293 Add Frame% and message-box types. 
original commit: 385246f4db7f0bbf4ecfcdc5ee8a0f7ccbfdd4a1
 2012-10-09 12:07:28 -04:00
Sam Tobin-Hochstadt
cd081cf9c4 Handle contract generation for recursive class types. 
original commit: 6945c5bfb1a807e1e2d4b6cdf50db83b0623ad1d
 2012-10-09 12:07:28 -04:00
Sam Tobin-Hochstadt
cf1ae8f3b1 Allow #:opaque and #:struct in require/typed. 
original commit: 9054d0db7dee7d523b6a56a1cb68d703c3426f6f
 2012-10-08 16:30:43 -04:00
Sam Tobin-Hochstadt
e119930d92 Add type for in-directory. 
original commit: 724aee01888fce4fe00094d74604d36d48ade923
 2012-10-07 17:45:09 -04:00
Sam Tobin-Hochstadt
ba5fa2d361 Allow invoking thunks on the untyped side of an Any. 
original commit: 6fde63007eb0f560b1f86b4c2361d509e4240f41
 2012-10-05 17:09:07 -04:00
Sam Tobin-Hochstadt
638b653967 Revamp handling of Any as a contract. 
The contract now has two major differences:
 - It raises an error when it would have to wrap.
 - It uses chaperones to delay errors as long as possible

In general, using `Any` as a type when exporting to untyped
code will now just work, unless the untyped code tries to
communicate values back to the typed side, in which case an
immediate error will be raised.

Much of the implementation comes from the membrane design
from [Strickland et al, OOPSLA 2012].

original commit: 962f2472e18356f357f026645bdcebdf3139ba29
 2012-10-05 12:39:11 -04:00
Sam Tobin-Hochstadt
cbca0b172f Simplify fast path for typechecking simple function applications. 
Also, minorly revise subtyping code.

original commit: b3c640870e43ead323d1ef213e39e22a515a3a6b
 2012-10-05 12:12:39 -04:00
Sam Tobin-Hochstadt
280df08a4d Fix contract-min/max base case. 
original commit: 8bb697108e7ef3b77ecb5c6584b207fb86a6bbac
 2012-10-04 16:13:21 -04:00
Sam Tobin-Hochstadt
fca69adaf7 This pattern of typed submodules exposes Racket bugs. 
original commit: 86522a180429eb8fbf0a2066961692ee6090f808
 2012-10-03 12:24:16 -04:00
Vincent St-Amour
fa90cdc1a6 Remove out of date comment. 
original commit: 6ba0c1416e535ae13192a1ca8dff69f90a635a8f
 2012-10-02 10:18:48 -04:00
Sam Tobin-Hochstadt
7ac3b4632e Don't provide internal identifier. 
original commit: d84631bc6f813e38e0c9fe05f681cba5027e2584
 2012-09-27 18:29:43 -04:00
Eric Dobson
bc2abb42c8 Replace uses of Type? in contracts with Type/c. 
original commit: 8a8dc66a191342ec5de1a4dc6bec3f61d3f0f54f
 2012-09-27 18:10:38 -04:00
Sam Tobin-Hochstadt
43863acd36 Test for appropriate predicates for invariant structs. 
original commit: cab90c16d5514ac4c9dff70ebcaeb3dda75e0910
 2012-09-27 17:26:32 -04:00
Sam Tobin-Hochstadt
bb2afd9169 Fix define-typed-struct/exec to pass struct-info. 
original commit: ee4ba2e3dd18d875a7e7fb6a3a00d9fe9b222ea2
 2012-09-27 17:08:49 -04:00
Sam Tobin-Hochstadt
0f2cffde42 Fix error message pattern for use of cons/c. 
original commit: d066a5c1d27a8c292a7c0560da08f394f9a75b88
 2012-09-27 16:39:16 -04:00
Sam Tobin-Hochstadt
b0c5952bd1 Ensure that identifiers defined by struct are registered as being defined in the correct module. 
original commit: c07852eaf134a73cd8a147566583e75e5655c799
 2012-09-27 16:22:22 -04:00
Eric Dobson
bfcd273225 Made free-variance have less special cases. 
original commit: cf4d43c04f031dd1f0ac9811e19755707d1d9c42
 2012-09-27 16:22:22 -04:00
Eric Dobson
6fcac4b7ae Working covariant applications. 
original commit: ffe45ecce455927fe149eee64efe126b7666cd46
 2012-09-27 16:22:22 -04:00
Eric Dobson
d609666e8a WIP on fixing free-variance. 
original commit: 40809e768d0949453f059c94e69179378f01e8ba
 2012-09-27 16:22:22 -04:00
Eric Dobson
319490772b Split adding the struct type and the bindings. 
original commit: e3743b446cfcf842ec5060af83078343f90afa25
 2012-09-27 16:22:22 -04:00
Eric Dobson
61cc8f6121 Cleanup define-struct parsing. 
original commit: 40236a3b267c8d9e8d44ffad752c4e6e618797e2
 2012-09-27 16:22:22 -04:00
Eric Dobson
59160ba440 More cleanup of struct type registration. 
original commit: 8ea7502c12f5752ca50878a70920ec5a5dc287cb
 2012-09-27 16:22:21 -04:00
Eric Dobson
c73df4ed19 More struct work 
original commit: d84391b6956f0eef2253d393dc9d05cf7efa5db4
 2012-09-27 16:22:21 -04:00
Eric Dobson
11df3e8261 Removed cert value. 
original commit: 626f807f00760cd32c446f66c3cc73fc485f676c
 2012-09-27 16:22:21 -04:00
Eric Dobson
4165cdd780 Cleanup of tc-struct and tc-toplevel. 
original commit: 8226b6764cf202c9c1b289416fe818f80dc7a157
 2012-09-27 16:22:21 -04:00
Eric Dobson
87fa803776 Removed unused constructor-return argument. 
original commit: d54a573494af95b807b87221f80f54f24b2033ca
 2012-09-27 16:22:21 -04:00
Eric Dobson
a2b6807a8b Make tc-struct no longer have long lines. 
original commit: 54401182bbe3edfb5ef8675937578438a9cd58e7
 2012-09-27 16:22:21 -04:00
Eric Dobson
c0e045635c Fix -struct to use the right number of arguments to make-Struct. 
original commit: 12233600c1355df1e9d2f29ee2469f154fc66f81
 2012-09-27 16:22:21 -04:00
Eric Dobson
ecf4869b3e Clean up contracts in TR. 
original commit: 6fe850ce39e01ce7122f7325e020cf24133a9a45
 2012-09-27 16:22:21 -04:00
Eric Dobson
f1ce0b63dd Removed unused fields in Struct 
original commit: 2a8512ed72c1ac029ee4c315f1963b3ebfc5fa6d
 2012-09-27 16:22:21 -04:00
Eric Dobson
66ccae0e72 Make struct type contracts better 
original commit: 745403a88e353c82ed850d7954254896cf1446f7
 2012-09-27 16:22:21 -04:00
Eric Dobson
90ef1eac37 Fix type->contract on structures. Now uses struct/c. 
original commit: 9e1cf579a434b65e484bdf937e3307bc3c9fd7aa
 2012-09-27 16:22:21 -04:00
Asumu Takikawa
a27bab8502 unstable/match: add define/match 
Match-based function definition form that supports optional,
keyword, rest-arg, and curried arguments.

original commit: 1a0a06db6262e2eb54d729389e7233927a3f3d23
 2012-09-17 19:46:46 -04:00
Ryan Culpepper
88a903a791 fix bad attr reference (datum attr doesn't exist) 
That macro doesn't seem to be used anywhere. Perhaps it can just
be deleted.

original commit: 29a9abf39454a683b0092efafdf2afb95ef0c4b5
 2012-09-17 12:29:17 -04:00
Vincent St-Amour
1bdf607438 Remove TR optimizer log key, made redundant by named loggers. 
original commit: 1975014c550011f3937ed7bb3ce511c1a5a823a9
 2012-09-11 13:48:14 -04:00
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
Sam Tobin-Hochstadt
5784f96c6b Don't special-case applications with instantiations. 
Closes PR 13006.

original commit: ade36c36c6f68520deb15c7152cc1e49741213d6
 2012-08-14 15:45:47 -04:00
Eric Dobson
37aeb62a14 Fix substitute and add test case. 
original commit: 3b6168de7d2a0b25a40c391757bc71fdb272c347
 2012-08-14 14:44:55 -04:00
Eric Dobson
f071ccf186 Make simple substitution happen all at once. 
Closes pr12920.

original commit: 2e3965e7772594a19aac32d9673fb0c98e19bbdd
 2012-08-14 14:44:55 -04:00
Vincent St-Amour
23a26e8533 Fix type of expt. 
Closes PR13026.

original commit: f514550300624a5863db333fe781e32da3273e17
 2012-08-14 14:37:18 -04:00
Vincent St-Amour
911ebaa0bd Fix types of magnitude and angle. 
Closes PR13025.

original commit: af8fc1f26aaf87f0ece562e6fe74804b42ddfed3
 2012-08-14 14:37:18 -04:00
Sam Tobin-Hochstadt
88c5098309 Move define-struct/printer to new file. 
Avoids runtime dependency on `racket/generic`.

original commit: 973da6a50cd0994b69b5b8b7cb1f374786de469f
 2012-08-14 10:31:22 -04:00
Sam Tobin-Hochstadt
74b6ccbf6a Minor printer refactoring. 
original commit: fddd5c63ff4113c104dd184b90b38900aa99b4ad
 2012-08-14 09:58:01 -04:00
Eric Dobson
8442c9da34 Make TR debug printer work again. 
original commit: cac47c0427c8d885b402d036710593cf1d360e7f
 2012-08-14 09:45:01 -04:00
Eric Dobson
4667c3bb2a Make disabling the custom printer work. 
original commit: 5f0717d278343f355f95bbc2ca39d9a3ebbee3dc
 2012-08-14 09:45:01 -04:00
Eric Dobson
9bd0589cf6 Remove unused old printer. 
original commit: 124707921fd20aed769c250f23e5d89979e457b6
 2012-08-14 09:45:01 -04:00
Eric Dobson
2f3add11ff Cleanup TR printer to use lazy-require. 
original commit: c9afe15f56bc7c3a6e2347f370e7d2e075ade594
 2012-08-14 09:45:01 -04:00
Sam Tobin-Hochstadt
ad5018f0dc Fix internal require of typed submodules. 
original commit: 6ae2a9d884d46350411b023d5eb54474f4a5ed81
 2012-08-13 17:20:20 -04:00
Ray Racine
6c22c611d8 Add flvector-copy to TR base env. 
original commit: 2ff1927f6c1a0da46a7fd633cf62961e2ba06b75
 2012-08-13 16:58:29 -04:00