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

1139 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
f6df8722f5 Improve interface for `find-mutated-vars', now supports mutable *and* immutable versions. 
original commit: 692a1724746d1dfa9f666c8f6fed2090ed900099
 2010-07-06 14:09:46 -04:00
Vincent St-Amour
ccbf54bdf7 Added support for make-flrectangular, flreal-part, flimag-part and 
their unsafe counterparts to Typed Scheme and its optimizer.

original commit: 389a20795a5bb6db25341b899e7ec58e6eb5a0d1
 2010-07-02 20:58:30 -04:00
Vincent St-Amour
a3a3bd1e2e Added coercion of fixnums to floats to the optimizer. 
original commit: 556734a223f4193c1c23ded76f204f1e6bb25295
 2010-07-02 20:58:29 -04:00
Vincent St-Amour
38d40649d5 Changed the optimizer's test harness to ignore type tables. 
original commit: e8a0a26c2f4b3f8da6beb0b3a6b7348d6cfeccf9
 2010-07-02 20:58:29 -04:00
Vincent St-Amour
fe84eaf722 Added struct optimizations. 
original commit: a6d11a1df08336183e1af36b787c134e1bf4f469
 2010-07-02 20:58:28 -04:00
Sam Tobin-Hochstadt
474741601b Add flags for running the optimizer tests and compiling the benchmarks 
original commit: e989631d56a70b90077cbdca7993a25dc70c2011
 2010-07-02 19:00:57 -04:00
Sam Tobin-Hochstadt
b415e84cd6 Fix inference for heterogenous vectors. 
original commit: 0e400291e78c46cf1f4ded2c668e2b989814fc5e
 2010-07-02 17:25:07 -04:00
Sam Tobin-Hochstadt
b4e86dc502 Use `define-type' to make docs clearer. 
original commit: da3b4ed543ec9ca9aa3b114f4da44d12af4a60e7
 2010-07-02 17:25:07 -04:00
Sam Tobin-Hochstadt
c67aef8622 Refactoring of tc-app. 
- Move `check-below' into its own module
 - Move `tc/apply' to its own unit
 - Move `tc/funapp' and `tc/funapp1' to own module, outside of unit

original commit: 219682bbbef3f1593bde169796087b56e354a7fc
 2010-07-02 17:25:07 -04:00
Sam Tobin-Hochstadt
6aa8cbee9d Generalize fixed-length lists to listofs. 
Closes PR10057.

original commit: 570df7d6658d4ff0b88c12fb6d3af4917a1a3fa3
 2010-07-02 17:25:07 -04:00
Vincent St-Amour
c6d892cd0f Fixed make-vector's type to reflect generalization on vectors. 
original commit: ed4f7b7bd7bc452b6accfd32ae14402fc60532c7
 2010-07-02 15:48:08 -04:00
Vincent St-Amour
49addde405 Added support for recursive types to vector-ref and vector-set!. 
original commit: 40988d6d547366a520668074cc685e3f2ab22b8e
 2010-07-02 15:48:07 -04:00
Vincent St-Amour
d1687b5b2b Added optimization when iterating over lists. 
original commit: 458b6b65c9c281c0da2f2c63de068037d3d55703
 2010-07-02 15:48:06 -04:00
Vincent St-Amour
f121650526 Added support for the 2 versions of optimizer tests to be written in 
different languages.

original commit: 1886572906c40c11eb777a3eb1e273ce3877037b
 2010-07-02 15:48:05 -04:00
Vincent St-Amour
228f9a971b Fixed some tests that used to test for an invalid optimization that is 
now valid.

original commit: f6077b02f121c4300a761de4f5f2f1a18c361d7e
 2010-07-02 15:48:04 -04:00
Vincent St-Amour
39d245984a Calls to vector now return heterogenous vectors, to preserve length 
information.

original commit: f79f617ee80417059c15d9228489ec1cb716448a
 2010-07-02 15:48:03 -04:00
Vincent St-Amour
e431a658e6 Fixed types for the unsafe versions of vector-length. 
original commit: 843621398b1086f492f6b9130a7a93a65c2fe4f3
 2010-07-02 15:48:03 -04:00
Vincent St-Amour
93d8f8839c Literal vectors are now given HeterogenousVector types to preserve 
length information.

original commit: 8c25e46141da263e7f8b75813eb5b09af43e0aee
 2010-07-02 15:48:00 -04:00
Vincent St-Amour
fbf7cbd494 Fixed the behavior of the optimizer on sqrt. 
original commit: 351de3f767cd7b32fe75963e206c7c8da379d26b
 2010-07-02 15:47:58 -04:00
Vincent St-Amour
1ebe111f88 Fixed the type of real->decimal-string. 
original commit: cdfbbc5476b6c2df62aedc8813ad13bc28cb2619
 2010-07-02 15:47:56 -04:00
Vincent St-Amour
98c88bf163 Generalization is now done on vector types. 
original commit: 636fca1a83d453877bcab60f8e3f613d2afd97c3
 2010-07-02 15:16:11 -04:00
Sam Tobin-Hochstadt
4340fd2909 Better handling of expected types for `vector' 
original commit: ed88b9dd1a84908d75855e826f2b1e1d60a407a9
 2010-07-01 17:32:16 -04:00
Sam Tobin-Hochstadt
2fd9e3236c Better typing for `make-sequence'. 
original commit: 71bb63c128f8331dc19455bb75a8918dc5055e03
 2010-07-01 17:12:59 -04:00
Sam Tobin-Hochstadt
09d59a56bf Avoid some quotes while printing types. 
original commit: 9a1c08e230d2a76cb052dab1ab231974ddc652ad
 2010-07-01 17:12:59 -04:00
Sam Tobin-Hochstadt
75ea7fcd25 add `displayln' 
original commit: 6f7c0112d3310a3e189874974c0a623a0c330537
 2010-07-01 17:12:59 -04:00
Sam Tobin-Hochstadt
4b3b0cdf41 Add --just flag for running tests. 
original commit: 3d347f117b9ba648536094eb9e0bf1ab1653ea76
 2010-07-01 13:47:02 -04:00
Sam Tobin-Hochstadt
b837057b1d Fix error reporting regression. 
original commit: 829689eb9d93f19a7872a31c8d536be542ed8675
 2010-07-01 13:46:16 -04:00
Sam Tobin-Hochstadt
2a2a54c438 Fix error spec for this test. 
original commit: 4f3e3625b30adb9ec7af9d0139230d8b85150310
 2010-07-01 13:45:52 -04:00
Sam Tobin-Hochstadt
63b18963f3 Better error message for multiple -> 
Closes PR 10493.

original commit: 75bd26d3265d807406db3d7014e4a02ec826630c
 2010-07-01 11:35:21 -04:00
Sam Tobin-Hochstadt
023c51aec2 Support syntax errors blaming multiple syntaxes. 
original commit: efbdfd3e6e8e561858df08385f4da3acd37a599f
 2010-07-01 11:35:20 -04:00
Vincent St-Amour
2229399d2c Updated build-list and build-vector's types for fixnums. 
original commit: 1fe70704a2cbe4462f9bd1b116db9f356d06b4ea
 2010-06-30 14:53:23 -04:00
Vincent St-Amour
eb326dd443 Better types for modulo and remainder involving fixnums. 
original commit: adf5c8c030656026d70a627009a0655bd1546af7
 2010-06-30 14:53:22 -04:00
Vincent St-Amour
6dd9ffd727 Added the Nonnegative-Float type. 
original commit: 62a15df3eb2fd7dc5a8ef2455c0f20918697a668
 2010-06-30 14:53:22 -04:00
Vincent St-Amour
e25b242c6a Added filters for numeric comparisons. 
original commit: f026da5ecf4cd144dfc82ec5660c95542c49bb07
 2010-06-30 14:53:22 -04:00
Vincent St-Amour
9b7ee99d39 Extended type signatures for addition. 
original commit: e8c42cd20cc00e607e44bb6f172333d49b8a707d
 2010-06-30 14:53:21 -04:00
Vincent St-Amour
f89158a144 Updated make-vector's type for fixnums. 
original commit: 06b636b2e31e32fed83d1a58293e1b8f36f8381a
 2010-06-30 14:53:21 -04:00
Vincent St-Amour
b7d9ed75e2 Added the Inexact-Complex type. 
original commit: dcfb2d8a94b1359217b9451b7a97d4afa425a6da
 2010-06-30 14:53:21 -04:00
Vincent St-Amour
c6a22a53f4 Fixed the type of min and max to only operate on reals. 
original commit: ef576e27c5187783648209c55d4ca211ff693e05
 2010-06-30 14:53:20 -04:00
Vincent St-Amour
848b6f0e02 Kept track of source location better in the for: macros and got rid of 
useless type ascriptions.

original commit: 22a652ef8effe8cf670cd69221cb3dd4689b6a21
 2010-06-30 14:53:20 -04:00
Vincent St-Amour
431d91bf89 Fixed the type for hash-ref! 
original commit: 90252c9bd33e7205a5494dd13fc823d6df78b477
 2010-06-30 14:53:20 -04:00
Vincent St-Amour
98738ea50a Added a rule for valid float promotion when dividing. 
original commit: 8ec6d7ff3f835f88be73c07dddcf9e2dd6388e79
 2010-06-30 14:53:19 -04:00
Vincent St-Amour
fc1a0a9e05 Added special case to the typechecker for (- <positive-fixnum> 1). 
original commit: c6373ca7c09ec74e50e8b435b9a0387310c1b202
 2010-06-30 14:53:19 -04:00
Vincent St-Amour
be0e26235a Fixed build-vector's type. 
original commit: f27aac552fde4580850493dbde9fbb3d4a989e5a
 2010-06-30 14:53:19 -04:00
Vincent St-Amour
783b505c9d Eliminate exact->inexact of floats. 
original commit: a6872c67a74e5d65a8a68b7fd5daa16b4225efe9
 2010-06-30 14:53:18 -04:00
Vincent St-Amour
d89e82755f Added fixnum optimizations. 
original commit: dfafc0b2958debe3953aa6c525a737f8c63859c8
 2010-06-30 14:53:18 -04:00
Vincent St-Amour
18155bf2c5 Added fixnums to more type signatures. 
original commit: cee39c4a38bb0ca41f79a4b8e9e159501e5d627d
 2010-06-30 14:53:18 -04:00
Sam Tobin-Hochstadt
4a5379ca01 Forgot to disable this yet again. 
original commit: f7634043479125de58308197c3fb5fea75146db5
 2010-06-30 12:04:23 -04:00
Sam Tobin-Hochstadt
19bb208f4f make subst structs transparent 
original commit: 18078400b77114880e99e1c39913f8df96a0faa2
 2010-06-29 17:34:44 -04:00
Sam Tobin-Hochstadt
887f054a55 Refactor struct type representation. 
- fields now represented by fld struct.
 - mutability on per-field basis
 - accessors are per field

This fixes lots of existing bugs, allows future #:mutable on fields.

original commit: c01b2397796cce0ade2ed7515ffe33c9eb338c4f
 2010-06-29 17:33:36 -04:00
Sam Tobin-Hochstadt
7186e085fa minor cleanups 
original commit: 3c4f1f39b8acf610576f4069c37929f071c60ec3
 2010-06-29 17:33:35 -04:00
Sam Tobin-Hochstadt
7341d85d62 Remove bogus reference to 'sexpression', add docs for Sexp type, don't use Sexp where inappropriate 
original commit: 26e73cf61d80636246dd0bf5912b7670c30698d6
 2010-06-28 11:12:21 -04:00
Sam Tobin-Hochstadt
efa50529d0 remove unneeded export 
original commit: a214f50812546e045ff9ca3c6273a06f89c4bdf9
 2010-06-28 11:12:20 -04:00
Sam Tobin-Hochstadt
5883e7e818 Use get-type/infer for un-annotated defines. 
original commit: 0bae63b516a3081276aefd1e2d46b28eba4f31be
 2010-06-28 11:12:20 -04:00
Sam Tobin-Hochstadt
e3f8fff0e8 Generalize mutated variables when inferring types. 
original commit: 90d8a3cc13dd76ba8d1eaefa98ee5e3248e43b04
 2010-06-28 11:12:20 -04:00
Vincent St-Amour
db81a50276 Fixed Typed Scheme's optimizer's test harness to work with drdr. 
original commit: 28acece484b050cd42f57c3826e47d92bde31aee
 2010-06-25 13:25:42 -04:00
Vincent St-Amour
e96760613b Fixed the optimizer so that it optimizes float comparisons. 
original commit: 382a45ad6fe99f758451631b07fac393333893a8
 2010-06-25 11:00:26 -04:00
Vincent St-Amour
fe3ce60a26 Typed Scheme now optimizes (exact->inexact <Integer>) to (->fl <Integer>). 
original commit: d6008f9191c5e00e335d2f683fecbc9d09c34475
 2010-06-25 11:00:25 -04:00
Vincent St-Amour
773d817389 Typed Scheme now optimizes (fl)vector-length for all vectors and 
vector-(ref,set!) for vectors of known length.

original commit: b345d5f0f0d2b8bbf02a5a97b335e288ef172e58
 2010-06-25 11:00:24 -04:00
Vincent St-Amour
92347a18b6 Wrote a test harness and a couple of tests for Typed Scheme's optimizer. 
original commit: fd987546b3d0293edba097f940c33fbdbf6c3b86
 2010-06-25 11:00:23 -04:00
Vincent St-Amour
b8378a32a7 Added better tracing to the optimizer. 
original commit: d47221c55dba99ecbce45affa92011203b02bb9e
 2010-06-25 11:00:23 -04:00
Sam Tobin-Hochstadt
680e7fee29 More fixnum improvements. 
original commit: 3251712ef79832415b371a7ff2c6593da0372411
 2010-06-24 18:17:01 -04:00
Sam Tobin-Hochstadt
a7b787db6c Add Fixnum type. 
original commit: 4b1c62c9785a6578ba2f894a53a8ee6f1a03152f
 2010-06-24 18:05:55 -04:00
Sam Tobin-Hochstadt
c898d882c6 recreate selector table automatically. 
original commit: a33f460b2547866d492bf01c81ded9b2a669ea26
 2010-06-24 16:48:10 -04:00
Sam Tobin-Hochstadt
bc193f512c Types are not quotable. 
original commit: 40ca16bc3059a029adddd5da1006680db578fa4c
 2010-06-24 16:47:25 -04:00
Sam Tobin-Hochstadt
8e76e34368 More options for test runner. 
original commit: 5b1118d514ca8cc7f0071bfa531f8268401fc531
 2010-06-24 16:46:31 -04:00
Sam Tobin-Hochstadt
7f6da53efa Use the correct field numbers in substructs. 
Maintain table of struct accessors/mutators.

original commit: 3c8952d63d2cd28a3b5a588c0367b53dc963308b
 2010-06-24 14:53:38 -04:00
Sam Tobin-Hochstadt
68ba63ce4d Better handling of unsafe identifier generation. 
original commit: 3078807757448b9223bcd58cfa10d7b30db4ddee
 2010-06-24 11:05:55 -04:00
Vincent St-Amour
93728d1ebd Switched indexing to integers in the typechecker's special cases for 
heterogenous vectors and unsafe struct operations.

original commit: 3c9e7e34db69a6112f8aa87c4e5c3edcd550b4ab
 2010-06-22 18:42:26 -04:00
Vincent St-Amour
1d48090ecb Added support for unsafe struct operations to Typed Scheme. 
original commit: 7d1040283ed325c93fb5499649a0aba5cfadfab7
 2010-06-22 18:42:25 -04:00
Vincent St-Amour
9cbdbd8ed7 Added support for unsafe operations on heterogenous vectors. 
original commit: 379d9a21251696293a997aa1c58611b85b41b6ce
 2010-06-22 18:29:57 -04:00
Vincent St-Amour
8dc90d067b Moved the types for some byte string operations to 
base-env-indexing-abs.rkt.

original commit: eea31102b015d77ee989dfb0951729b3f1bfa313
 2010-06-22 18:29:57 -04:00
Vincent St-Amour
1cf790fc86 Fixed the types of flvector operations. 
original commit: 192c1fa995f44163d42e46f2466bdd05e74a98a8
 2010-06-22 18:29:56 -04:00
Vincent St-Amour
0f27106fdd Made make-vector's type more convenient. 
original commit: 61545c4e75795adbdd951ed94fb6274a1a7b9709
 2010-06-22 18:29:56 -04:00
Sam Tobin-Hochstadt
8869cd4d22 Add `struct:' 
original commit: 6e1954d79b520fefd21abe81d06fe615e056ac93
 2010-06-22 16:29:35 -04:00
Sam Tobin-Hochstadt
b718e60469 Typecheck `map' expression, not just #'map. 
original commit: bce2cedf3864166c137ef91ca3f79f45fb6745da
 2010-06-22 10:12:54 -04:00
Sam Tobin-Hochstadt
0bf7faa4fa Initialize `infer' for tests 
original commit: 95c5f942e6854e1d066b7627b2f65097e14e24b9
 2010-06-22 10:11:14 -04:00
Sam Tobin-Hochstadt
eb621217bc Docs for List x ... 
original commit: 4df7d09ef1933fc128737ad3d29b61428d80b70b
 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
f50aa4917a support `map' over multiple ListDots with the same bound 
- also support ListDots + Listof (map errors when not same length)

original commit: 0c7c722e16cd9f6e3e88deaa45cb681337021078
 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
84247a1882 allow optional specifcation of var pattern 
original commit: b8777d20b26837d8ecfa78eeeda25fdccdb4a783
 2010-06-21 18:30:29 -04:00
Stevie Strickland
e73d9f5ee8 Generate dcon-dotted, and substitute for them. 
- generated only in the case where we have two ListDots or two ValuesDots
 - or when -> with the same bound, and fixed argument lengts are identical
 - currently errors if there are any 'fixed' portions

original commit: 034b22d01401bba31f700dd5cb38fcf731ed64be
 2010-06-21 18:30:29 -04:00
Stevie Strickland
a49d4de0ba Take dcon-dotteds and create an appropriate i-subst/dotted entry. 
original commit: 9c22701bd3a0178470e736b51c1c6c863ebd08d6
 2010-06-21 18:30:29 -04:00
Stevie Strickland
c925e90dc6 Add fixed part to dcon-dotted. 
original commit: 3f7ca52e370dfa0b81b5c9955c785bd429cda3d8
 2010-06-21 18:30:29 -04:00
Sam Tobin-Hochstadt
380885f978 Implement substitutions as hash tables from vars to subst-rhs. 
- add convenience function for generating substitutions
 - give trivial substitution for unreferenced index variables

original commit: 339add9f78723fecb3e7332a8a173f615c37bc2c
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
6514ee71e1 Refactor substitution. 
- new file types/substitute
 - use structs for substitutions

original commit: 44d46e4cd7ecc06a264282b31dd7ba47dee421f1
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
da323feea3 This test case now passes. 
original commit: dcc8beb5cd00f6fc12c450be56b4ba83823e3898
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
5618abb4f4 provide more information in inference failures 
original commit: 8990459be69c3e720871bff23827826709990c49
 2010-06-21 18:30:27 -04:00
Sam Tobin-Hochstadt
9f8b2e4e2b fix fail! to use the correct arguments 
original commit: 692dc025c0db0aa64ee358ae5a36cbd6165455a3
 2010-06-21 18:30:27 -04:00
Sam Tobin-Hochstadt
16617152c5 Fix move-to-dmap functions 
original commit: 9f99c914f3ce2c00119b64caa0be1a286df398c1
 2010-06-21 18:30:27 -04:00
Stevie Strickland
f1ef77e550 The initial shot at extending cgen and friends to take both X and Y. 
This doesn't fully work, in that more test cases are broken.  However,
this is mostly due to questionable inference rules in the past, and
so fixing these errors should lead to a more correct inference algorithm.

(i.e. we need to handle things like (List X ... a) (List Y .. b),
where a and b are not the same bound.  We'd started this work before,
but never actually gone through with it, since smashing regular and
dotted type variables into the same environment meant some things
magically worked when they possibly shouldn't have.)

original commit: b5d4d54d450b7c2e87ab1d80db66e84cbd1bd2e5
 2010-06-21 18:30:26 -04:00
Stevie Strickland
b956e47ed2 Export the types provide macro. 
original commit: 078b57c77da5051470cf88e932c69f9f95ed60b6
 2010-06-21 18:30:26 -04:00
Stevie Strickland
5a4d6ed4a0 Fix up subst-gen to treat vars and idxs separately. 
original commit: ec09139e0a22007fd3f6bd7ac69336053d65bb48
 2010-06-21 18:30:26 -04:00
Sam Tobin-Hochstadt
7e4ee76e4e Various small assorted fixes. 
original commit: d886331807f55e5a2a4ebb464b50d50835e20393
 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
c2b7caa66d The inference engine doesn't need this annotation anymore. 
original commit: e235c837b0d20538ca4c0fc024c18ddb30ac2ae4
 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
c10334cfb0 More progress on refactoring infer 
original commit: 82e7d281cb028e9d2e5c57a9a8c01b4d4e18275a
 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
fdfdd6e3b2 Fix a bunch of uses of `infer' et al. 
original commit: 18f45c413882b9e145fffa84d41bfb5b378396fc
 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
d26ad0e213 Change inference to take into account index vs regular vars. 
original commit: 99e499a503b8b319bc0e512b698e5543634e3654
 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
9b93ec46d3 Fix free index computation when the body refers to the bound. 
original commit: e8a591d2915c54fdf5b674d9859b7ebc7b13dd73
 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
0d7111128c Refactor free variables. 
- free-idxs no longer holds free de Bruijn indexes
   This information is not needed, and not stored anywhere
 - free-idxs holds free *index* variables, in the sense of the TOPLAS submission

original commit: 662f982b724e7194f5729a9894fc642f06e7910f
 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
fbd795c01e Re-enable the printer here. 
original commit: 7b2de5373380a0bc833215dd9d3beed87fa686c3
 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
9d6132fa0e Add case to be fixed 
original commit: fe9395fdbf0dcf8e64bdfaf247845c7858e35423
 2010-06-21 18:30:23 -04:00