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

365 Commits

Author SHA1 Message Date
Vincent St-Amour
c413450d2c Better error reporting by the optimizer's test harness. 
original commit: 566aeedb598dbc2788ff4360bb23177fbdd74a30
 2010-07-16 12:22:14 -04:00
Vincent St-Amour
9c1a9c4661 The optimizer's test harness now makes sure that optimized and 
non-optimized versions of the same code evaluate to the same thing.

Unfortunately, this leads to a lot of code duplication. We can't
abstract over optimization like we do for the benchmarks since the
wrapper module would interfere with testing expanded code for
equality.

original commit: 7fb1b41a28c1a082e5f726bbc2acab4e2cc0e5fb
 2010-07-16 12:22:14 -04:00
Vincent St-Amour
f5c518398f Enabled optimization of complex conjugate at the top level of complex operations. 
original commit: fff71e6a1d5746bf30ec7b3d64ec63ccd43f8065
 2010-07-16 12:22:12 -04:00
Vincent St-Amour
19781fc153 Added optimizations for iterating over vectors and strings. 
original commit: 0b0da84eba4fe7dcab87e4e5eed5dd213de2dc9f
 2010-07-16 12:22:12 -04:00
Vincent St-Amour
70cfe1b953 Added dead code elimination. 
original commit: 1e550139aa67631ffc965027584284b61453b634
 2010-07-16 12:22:11 -04:00
Vincent St-Amour
c05f2797aa Added a test for cross-module struct optimization. 
original commit: 4e6fc3154bd286d3edcd36a25bfc672cc6a0659d
 2010-07-16 12:22:10 -04:00
Vincent St-Amour
9e3912d390 Generic inexact complex arithmetic operations are now replaced with 
the right combinations of unsafe float operations.

original commit: 3fb69bc764885f2e6ef25134da747caa32b80f05
 2010-07-07 19:42:54 -04:00
Vincent St-Amour
592aa2ac8c Added an optimization for vector-length of known-length vectors. 
original commit: e52d63ee686e20401f0b0df80d178e40e9a0226f
 2010-07-07 19:42:54 -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
6aa8cbee9d Generalize fixed-length lists to listofs. 
Closes PR10057.

original commit: 570df7d6658d4ff0b88c12fb6d3af4917a1a3fa3
 2010-07-02 17:25: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
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
98c88bf163 Generalization is now done on vector types. 
original commit: 636fca1a83d453877bcab60f8e3f613d2afd97c3
 2010-07-02 15:16:11 -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
4b3b0cdf41 Add --just flag for running tests. 
original commit: 3d347f117b9ba648536094eb9e0bf1ab1653ea76
 2010-07-01 13:47:02 -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
Vincent St-Amour
6dd9ffd727 Added the Nonnegative-Float type. 
original commit: 62a15df3eb2fd7dc5a8ef2455c0f20918697a668
 2010-06-30 14:53:22 -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
d89e82755f Added fixnum optimizations. 
original commit: dfafc0b2958debe3953aa6c525a737f8c63859c8
 2010-06-30 14:53:18 -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
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
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
Sam Tobin-Hochstadt
a7b787db6c Add Fixnum type. 
original commit: 4b1c62c9785a6578ba2f894a53a8ee6f1a03152f
 2010-06-24 18:05:55 -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
Vincent St-Amour
1d48090ecb Added support for unsafe struct operations to Typed Scheme. 
original commit: 7d1040283ed325c93fb5499649a0aba5cfadfab7
 2010-06-22 18:42:25 -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
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
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
c2b7caa66d The inference engine doesn't need this annotation anymore. 
original commit: e235c837b0d20538ca4c0fc024c18ddb30ac2ae4
 2010-06-21 18:30:25 -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
38e065db7f Change type variable environments from hash tables to sets. 
original commit: 12384c6c3fd14020c99018d51058240f4258074d
 2010-06-21 18:29:59 -04:00
Sam Tobin-Hochstadt
78b767252d Refactor test harness. 
original commit: e9f8cc9aca6a67a9b56f0ba9dd202f0fa2669ab6
 2010-06-21 18:29:59 -04:00
Sam Tobin-Hochstadt
341f6d82e6 Generalize ListDots to Listof in inference of loop var types. 
original commit: f7b59f78e9212c03e950729944e7a9eb9370f363
 2010-06-21 18:29:58 -04:00
Sam Tobin-Hochstadt
db8c693481 Inference for passing ListDots as Listof. 
original commit: a2af89bafd3d79587c87425488833e07465f5fc5
 2010-06-21 18:29:57 -04:00
Sam Tobin-Hochstadt
92c48f6521 Subtyping between (List T ... a) and (Listof T[Any/a]) 
original commit: fd5a662ccc7aa2fbc3f29974c075dcabf2a870fe
 2010-06-21 18:29:57 -04:00