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

1461 Commits

Author SHA1 Message Date
Vincent St-Amour
185e8c4d0b Cleanup of exposed base types. 
original commit: 22391be437d61fbbe7a1f19b2a2ded393b7afb55
 2011-01-31 16:39:19 -05:00
Vincent St-Amour
97d8f2613c Fix typechecking of single flonum literals, now that they are enabled by default. 
original commit: 0f0a2625c6765a48e6aeb41230d2e6d9225f9c9e
 2011-01-31 16:39:18 -05:00
Vincent St-Amour
c0970cc647 Small-Float -> Single-Flonum 
original commit: f1c6c74284fd913ab8231426bcf1206bcf259f77
 2011-01-31 16:39:18 -05:00
Vincent St-Amour
f642a6ce6d Added the new single-precision float function to TR. 
original commit: 4ac36fd59bc35cb0d60cb050cfaae21d213064c8
 2011-01-31 16:39:18 -05:00
Vincent St-Amour
0e7bf2be4f Update base-env-indexing to use the new types. 
original commit: b26531774b6943e73f4b285b827432200b18a433
 2011-01-31 16:39:15 -05:00
Vincent St-Amour
aa2132e024 Bytes are a sequence of the new Byte type. 
original commit: 46f086282d7302e7e015109c9f945a92350e384c
 2011-01-31 16:39:15 -05:00
Vincent St-Amour
8542bc4073 Edit TR's optimizer's docs to reflect that Float-Complex is the only 
complex type that can be optimized.

original commit: 5dbc752542ec6dec03fb4060ecff16a8cfb5a095
 2011-01-31 16:39:15 -05:00
Vincent St-Amour
f6590e9db2 Fix optimizer to work with new types. 
original commit: 768bb6336142726023bfe2029b5aa25728bda0a3
 2011-01-31 16:39:14 -05:00
Vincent St-Amour
956a1533c8 Fix TR tests. 
original commit: a0a54b231db5c81e9ab66302399b6adc660b701f
 2011-01-31 16:39:14 -05:00
Vincent St-Amour
3d6b5893ba Add a predicate field to base types, which makes checking for 
subtyping of value types easier.

However, this means that base types can't be marshaled as before,
since these predicates can't be marshaled. Instead, we now marshal
base types as identifiers that refer to their base type object.

original commit: e56663c943fe4ae355b6d626d3c84b6ec8ea7fd1
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
881a3d31e7 Avoid generating large contracts for common numeric types. 
original commit: 3e27ed607c983bd26d3ccf0c98f4504b86b1642d
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
d5941cb2d6 TR's numeric tower is now built from unions of non-overlapping base types. 
A lot of the work that was done by special-casing number types can now be
done by TR's handling of unions. This makes it easier to add more numeric
types to the tower and should make writing down types for numeric
primitives much less error-prone.

In addition, this commit adds several numeric types that will help get
tighter bounds on integer arithmetic, such as Index types. They will have
to be integrated to the base environment before they can be useful.

original commit: d4c93cc12e6df893ba2e782f0e0ea5529738315a
 2011-01-31 16:39:13 -05:00
Vincent St-Amour
ddd166c799 Make bare union constructor smarter. 
original commit: 78c4809177e6781a42dd29dd9b0bb96c77fa0e01
 2011-01-31 16:39:12 -05:00
Vincent St-Amour
6473431d0d Documented opt-lambda: and popt-lambda:. 
original commit: 4b3e621d0ff54671befe96bff3c49109128e8861
 2011-01-31 16:39:12 -05:00
Vincent St-Amour
6a0aa26fde Fix nightly running of TR tests. 
original commit: 36ae5a9d50883395e521ead9abdcfe0321bf7943
 2011-01-27 16:49:45 -05:00
Vincent St-Amour
b13ebb0924 Generalize hash table literals and subtypes of symbol. 
Closes PR 11670.

original commit: 2bd0145603f411e01ce6e16bfcf6ffc842b6801a
 2011-01-26 14:23:19 -05:00
Eli Barzilay
f71157285c Abstract the initialization stuff into a separate function. 
Make it available outside so in the future I can use it in the PL class
code.

original commit: 5998ecc56430c34cabb13519a92fe755eff145cd
 2011-01-14 08:35:55 -05:00
Vincent St-Amour
9f19fceabb Fix portable-fixnum?. 
original commit: 7808be5e20c022799d16d3a7044dc1e17dd04898
 2011-01-12 14:20:29 -05:00
Vincent St-Amour
6d105153f1 Fix portable fixnum size. 
original commit: cb723092e26f980600df3d66c54321da28b0490e
 2011-01-05 14:42:31 -05:00
Sam Tobin-Hochstadt
d2424d72fa Fix TR tests for new contract error messages. 
original commit: 2431f8f70646e00d3c65ef6d9d00fc75459d3ff0
 2010-12-29 13:46:57 -05:00
Sam Tobin-Hochstadt
84a3802952 Document ordering in `case-lambda' types. 
Closes PR 11394.

original commit: 25d2827d0dbf25e797c20aa6ec24cd3b7794554d
 2010-12-13 07:26:31 -05:00
Carl Eastlund
034c06a30e New test case for formatting bug in TR error messages. 
original commit: 5b18305e11b1f2bcba0e6d6e4ebfd7d51fb6ccba
 2010-12-10 17:26:17 -05:00
Vincent St-Amour
ee11638bc6 Scheme -> Racket 
original commit: 740b8308d7d52c1b4b9f00282d1b1c5187cd81e3
 2010-12-10 17:17:02 -05:00
Vincent St-Amour
432b1040dc Update TR tests to reflect new contract error messages. 
original commit: 09ffb7049288731040aa33c41b5c13952d9ab285
 2010-12-10 16:59:13 -05:00
Vincent St-Amour
73046316e6 Allow running individual TR tests. 
original commit: b9d67eea2f08e5eed8a5d28539aa749e2a64f790
 2010-12-10 16:59:12 -05:00
Vincent St-Amour
8e569511e8 Fix double application of format. 
Closes PR 11524.

original commit: f8c01299f971c65509877e22feaaa4f2ccb79227
 2010-12-10 16:59:12 -05:00
Vincent St-Amour
a00e498399 Error when running TR's test harness with no tests. 
original commit: 407d9b5f0792ff94438a7e5f5448f54dddb8f7d9
 2010-12-10 13:44:47 -05:00
Vincent St-Amour
a650c59fb3 Test for errors in rhs. 
original commit: 365d2726660ab9342f229789f268e2461cdd2063
 2010-12-08 20:32:20 -05:00
Vincent St-Amour
f4a1a31f61 Typecheck body of letrec using original types instead of potentially undefined type. 
original commit: 81ef5f9418b0011daa980d438c0eed451b37d578
 2010-12-08 20:32:20 -05:00
Vincent St-Amour
0ccef7d4bc Error if we get a type that may be undefined and we don't expect it. 
original commit: 53719600d8de6c504c126a316eb87deb2c49ebdd
 2010-12-08 20:32:20 -05:00
Vincent St-Amour
2865f2801f letrec: consider outside bindings safe. 
original commit: b045153177afe8aaebdbf179dbe27670b1cf577d
 2010-12-08 20:32:19 -05:00
Sam Tobin-Hochstadt
bcb395b986 Fix type of `-' 
original commit: 463ab0d30943f5453eaac16e1d966dd9dae093eb
 2010-12-08 19:31:57 -05:00
Sam Tobin-Hochstadt
eacda65291 Add `defined?' assertions to fix DrRacket. 
original commit: e70ccafd7b591df218a1ae036f599c671eb57824
 2010-12-08 18:53:56 -05:00
Sam Tobin-Hochstadt
1527fba4b3 Allow arbitrary filter specification in function types. 
Allow (A -> B -> C) for curried function types.

original commit: 87eab889d68dd46bfd5b0f4d79942bc104cb3da2
 2010-12-08 18:22:29 -05:00
Sam Tobin-Hochstadt
05e1489dfb Better handling of `hash-*' functions, and hashes as sequences. 
original commit: 73dbf42e0e6fb750d871060d6ed34adf6e207eec
 2010-12-08 18:22:29 -05:00
Vincent St-Amour
5acfe5b67d Take into account potentially undefined values in letrec. 
Closes PR11511.

original commit: dc2df4882b6abca46839ace724924df5ab0d7707
 2010-12-08 18:17:06 -05:00
Vincent St-Amour
dc0473f67f map + syntax->list -> syntax-map 
original commit: 33581fd67e26e5cc21acac50b5380087e8e9c8b8
 2010-12-08 18:17:05 -05:00
Matthew Flatt
f844b4ed00 move Typed Racket manuals to the Languages section 
original commit: 94e2d46a8eea69ea3705c3747152e9c578d0fff2
 2010-11-27 19:01:17 -07:00
Vincent St-Amour
d7a8f14636 Fix type for abs. Closes PR 11430. 
original commit: e7c252739ddab37973cf3c013660d6c2244c44b8
 2010-11-23 14:15:04 -05:00
Vincent St-Amour
26a2fd0163 Add type for fl->exact-integer. Closes PR 11429. 
original commit: 54991835d603a81ddaee6845e4930bfe0ab9de24
 2010-11-23 14:15:04 -05:00
Vincent St-Amour
8d3499453f Fix type for arithmetic-shift. Closes PR 11428. 
original commit: 58d1f75dc1b1e2d9c17427641fa6f295aec96706
 2010-11-23 14:15:03 -05:00
Vincent St-Amour
67eb57c526 Add type for integer-sqrt. Closes PR 11427. 
original commit: 7a7fe577cd464c80b4b344aef4a072c25c7652fa
 2010-11-23 14:15:03 -05:00
Vincent St-Amour
b9303a1f4b Fix type for raise-type-error. Closes PR 11426. 
original commit: e10f139ad82748ee5d6b959c1f6225886b41084d
 2010-11-23 14:15:03 -05:00
Vincent St-Amour
44e1994364 More precise type for sgn. Closes PR 11424. 
original commit: 2c74984fcd442fd73802244801946e2d4dd8ba8c
 2010-11-23 14:15:02 -05:00
Eli Barzilay
46cbe83ff3 Clarify comment re `fixnum?' non-use at the syntax level, and add a note 
to the `fixnum?' documentation.

original commit: 9a485064ed81366579f2a5c7cebf591de7e07be2
 2010-11-05 01:48:23 -04:00
Vincent St-Amour
9c5a1e0086 Fixed a fixnum typechecking issue. 
original commit: 4c081c127ab91067c3a69568175d7274b090f986
 2010-11-04 17:27:34 -04:00
Vincent St-Amour
26aafa3ea6 Fixed potential danger with fixnum optimizations. 
original commit: c0a6137c67228933ad94d88409ffd86e30e922ae
 2010-11-04 15:35:21 -04:00
Vincent St-Amour
b5d29776df Add optional argument to make-hash and co. 
original commit: c633913b9484c623ca6e56c7b485613c9d60716b
 2010-10-27 16:15:50 -04:00
Sam Tobin-Hochstadt
db3c6bbbe0 Avoid dumb parsing bugs in require/typed. 
original commit: 561fdc8db580c828a45dc27c4ca61b21dccad311
 2010-10-26 18:09:45 -04:00
Matthew Flatt
28406c5093 swap vector*-ref' and vector-ref', etc. 
Merge to 5.0.2

original commit: 5d8e000d6d37cb9a032f4bcf4d82c63d8e51bae1
 2010-10-25 11:22:35 -06:00
Vincent St-Amour
9b5a5a6bb5 Fix opt-lambda:. Merge to 5.0.2. 
original commit: a15236ea4f1ba84c9351632e9469e1cd34b5375b
 2010-10-20 14:32:37 -04:00
Vincent St-Amour
4a6b3b2b57 Removed logging when no optimization actually happens. 
original commit: 12a5454b147468df59e92cb7057e0e9515ad5abd
 2010-10-14 14:13:06 -04:00
Sam Tobin-Hochstadt
f0fad4383a Add type for `compose' 
original commit: 24bddafa82e28a3eee675c1ad99ae1dcde59d46a
 2010-10-14 11:44:14 -04:00
Vincent St-Amour
759a3707c8 Fixed a test to reflect implicit let in cond instead of implicit begin. 
original commit: 3f5ea8a5be1da62f4766585f891e7c5340c52588
 2010-10-14 10:53:43 -04:00
Vincent St-Amour
1a4e176824 Inexact-Complex -> Float-Complex 
original commit: 27e722f27b673cbfcee60aaba75dfdcab7e396c5
 2010-10-12 16:47:46 -04:00
Vincent St-Amour
c547da857e Added the Float-Complex type for consistency with the new float types. 
Inexact-Complex has been kept as a synonym for backward compatibility.

original commit: 52bd739d00491d2a78b62c6d6e89fb5eaf6ae046
 2010-10-12 16:47:45 -04:00
Vincent St-Amour
92b3f9af03 Changed the TR numeric tower to use the new flonums. 
original commit: a59a99c42dffec38be98f3c0449097c80bad40fe
 2010-10-12 16:47:45 -04:00
Vincent St-Amour
d60793d271 Changed the interface for running single optimizer tests. 
original commit: f3ae9c73b0f58d2d56e2ee3cee605c58a9bb3a1d
 2010-10-12 16:47:45 -04:00
Vincent St-Amour
428e96980b Added optimization for first, second and co when possible. 
original commit: 2c4d6fbb015e7433fbd8aec68867134988f367bf
 2010-10-12 16:47:44 -04:00
Vincent St-Amour
19784fffe5 Improved TR's error messages when all domains but one have been eliminated. 
original commit: db0046101cb8b75e56215b4528d280894c59a36d
 2010-10-07 18:30:35 -04:00
Sam Tobin-Hochstadt
fb0df54c79 Fix `overlap' for refinements of base types. 
original commit: 7bcd107e7ff5ce64791a5613a13f6445a87c638c
 2010-10-07 11:19:54 -04:00
Sam Tobin-Hochstadt
21eb1eeadc Remove outdated comment. 
original commit: a45ce954d798f178cfd17f556f84d55dead2d460
 2010-10-07 10:18:06 -04:00
Vincent St-Amour
ed4294a6f2 Have the optimizer ignore struct/exec. 
original commit: 99178c70a0dd5add19b13eec4380f357e0e6680c
 2010-10-06 18:43:35 -04:00
Vincent St-Amour
220b41c75e Updated the documentation of TR's optimizer. 
original commit: d39cb530cf335fbe9549ced308924b0691f8ff18
 2010-10-06 17:32:30 -04:00
Vincent St-Amour
30780b3f6a Changed the optimizer's test harness for optimization on by default. 
original commit: abcbce129bf65fc63daa33d843589305efd94b81
 2010-10-06 17:32:30 -04:00
Vincent St-Amour
057043c493 Turned the optimizer on by default. 
original commit: 8baa1682af76965400ab1071a46f8ba50f7c7165
 2010-10-06 17:32:30 -04:00
Vincent St-Amour
105b82fb70 Fixed tautology/contradiction recording to work with case-lambda. 
original commit: 5395dbca122c534db3d70139c871e0bc4b91515f
 2010-10-06 17:32:29 -04:00
Vincent St-Amour
9e13c1a6d9 Register types for send exprs in the type table. 
original commit: 21723281899d7aab5692e605386abcf6f92cefe9
 2010-10-06 17:32:29 -04:00
Sam Tobin-Hochstadt
5733f06d9a Contract fixes. 
original commit: c739128703d917540ff963775459b6c75ccf2c80
 2010-10-01 19:29:18 -07:00
Vincent St-Amour
7876c75cbc Got rid of a broken subtyping rule. 
original commit: 5a67535a950ba19846151a6f7a3f7a473affea86
 2010-10-01 17:48:47 -04:00
Vincent St-Amour
8c6264008d Delete compiled benchmarks when testing. 
original commit: f7436b59fb3d1f91481216148f4e147315b0144c
 2010-10-01 17:48:46 -04:00
Vincent St-Amour
1fb2c973f0 Further improvements for TR's error messages. 
Only the most permissive domains whose associated return type is
consistent with the expected type are shown in error messages.

For example, for a function with the following type:
Fixnum -> Fixnum
Integer -> Integer
and an expected type of Integer, only the latter domain is shown in
the error message.

original commit: e011ea00bd73fd8ac3b9c4afe4e1435dcaa27cdb
 2010-10-01 17:48:46 -04:00
Vincent St-Amour
5fab19e4df Improved TR's error messages in presence of case-lambda types. 
- When displaying errors involving functions that have case-lambda
  types with branches that are redundant modulo filters (such as <, >
  and others), only the general branches appear in the error message.
  (Real Real Real * -> Boolean, in the case of < and co.).
- For all errors involving case-lambda types, only domains for which
  the return type is consistent with the expected type are displayed
  in the error message. Further simplification is planned.

original commit: 206fe52047f24ab89ac1d538c939c04fbbae59b7
 2010-09-23 12:59:47 -04:00
Vincent St-Amour
2e1cf9d4f4 Explained a design decision. 
original commit: 4aa7bc8439195addb172976253054ca1d41c72a1
 2010-09-23 12:12:15 -04:00
Matthew Flatt
b6a14210ed rename file to avoid :, which is not allowed under Windows 
original commit: fa7dd9b522f0dd14d3b71c74256803228379d562
 2010-09-20 03:31:18 -06:00
Stevie Strickland
dbdb62fc7b Convert vectorof/vector-immutableof to the new regime. 
Also add old-style vectorof to mzlib/contract.

original commit: 3028f2d1424123d076a95572a7564b8fb069a86e
 2010-09-16 15:04:41 -04:00
Vincent St-Amour
6b979e393f Documented optional for: and let: annotations. 
original commit: e0bda30738a696a427d2ffc830789628da1beb4d
 2010-09-16 13:24:11 -04:00
Vincent St-Amour
75d628bd68 Added a test for optional let annotations. 
original commit: 7e2094f2d719cfdb626c6aa78893a8516c9a7ea0
 2010-09-16 13:24:10 -04:00
Vincent St-Amour
ef623a46b6 Made annotations optional for let: and variants. 
original commit: 8aab96faa6cac4fd20b7464693152d1f9a3ad106
 2010-09-16 13:24:10 -04:00
Vincent St-Amour
8a94fce374 Fix some optimizer test logs to reflect racket changes. 
original commit: e03e53b1cba5a63b5f9c0dafbb777d7116c93d1d
 2010-09-16 10:48:28 -04:00
Vincent St-Amour
cc871deebb Made some type annotations optional in the for: macros. 
original commit: 9f87b5a7e6a2034a4d936bd2cc8e67632f8c6e3b
 2010-09-15 20:21:51 -04:00
Vincent St-Amour
99b35249ab Removed useless requires. 
original commit: 8b60085a177d40b8a494e8f5aafe7fe52022d225
 2010-09-15 20:21:51 -04:00
Vincent St-Amour
71d2819cba Removed an obsolete comment. 
original commit: 1b28aa41c706292734f81a61411305e8d4546847
 2010-09-15 20:21:51 -04:00
Vincent St-Amour
b03abef7ff Added annotated versions of the for macros that generate vectors. 
They are purposedly left out of the documentation since the typchecker
can't currently handle their expansion.

original commit: a10d145f25dd4257dd216ea0b1e97184a29c7683
 2010-09-15 20:21:50 -04:00
Vincent St-Amour
f991c65bb7 Added a test to make sure derived lists accessors don't get optimized then they shouldn't. 
original commit: 65c502f9d75f919b8af37bee9698b24a082b27a0
 2010-09-15 20:21:50 -04:00
Stevie Strickland
e7e187e1de Now change box/c to use proxies or chaperones appropriately. 
Create a mzlib/contract compatible version of the old box/c and use that
for mzlib/contract.  Change the docs so that the docs for mzlib/contract
contain the right information.

Fix the typed-scheme implementation to only force flat box (or hash)
contracts when it already is required to be flat.  Otherwise, allow
non-flat contracts for the element contract (or domain/range contracts).

original commit: 994ad6d10fc817a5ceca2f9f4874dac5c14c0aab
 2010-09-15 16:57:17 -04:00
Sam Tobin-Hochstadt
9d31fc0726 Fix doc typo. 
Closes PR 11190.
  Closes PR 11191.

original commit: 07227ed8f7e32ed552186f41df8c9fedde1c6a02
 2010-09-13 08:46:56 -04:00
Sam Tobin-Hochstadt
70a3eb6153 Fix for new ->i syntax. 
original commit: d1835175d7cc0cab1bc717b052c1d080e7f443f3
 2010-09-10 18:38:02 -04:00
Sam Tobin-Hochstadt
087b5fd8f7 Fix internal error when single value expected. 
original commit: 979561354d3c0949208e1dd7fed9fe750f4c1cef
 2010-09-10 18:29:34 -04:00
Sam Tobin-Hochstadt
8a568284b9 Add some file primitives. 
original commit: 5789981f2c4756f2f6cd066ac6f28555dc57e1fd
 2010-09-10 18:29:34 -04:00
Vincent St-Amour
f88c8f479e Extended pair optimization to the rest of the standard derived pair accessors. 
original commit: 0166ece180194605a52841a2a91fb2618e0372a1
 2010-09-09 18:54:34 -04:00
Vincent St-Amour
19dcce8809 Refactoring. 
original commit: 74508210687ad0e415af1f28037357ec2640e3ba
 2010-09-09 18:54:34 -04:00
Vincent St-Amour
dee0ddc16e Extended pair optimizations to some derived pair accessors. 
original commit: 024f873947bb5664b92cd68be55653b2ca4a24ee
 2010-09-09 18:54:33 -04:00
Vincent St-Amour
51faa45faa Removed useless requires. 
original commit: 6e5ea420a1bad921ab07788c64df6a2daaa933af
 2010-09-09 18:54:33 -04:00
Vincent St-Amour
66770afa1c Removed unused exports. 
original commit: 85550953c8b484da89bb107f7785c4e8e1188e2c
 2010-09-09 18:54:33 -04:00
Vincent St-Amour
ba761592c6 Included expected optimization logs in the test files. 
original commit: 7f546434ed1648ff52efdb0e84883e8af5b2837a
 2010-09-09 18:54:33 -04:00
Sam Tobin-Hochstadt
c13d984042 Add additional require for identifiers in the residual program. 
original commit: c15871a0284fcf2a6a8c78fafde4fdd9a9551bca
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
9e9680d5ff Fix typechecker tests for new environment setup. 
original commit: 00a8a85f9dd344026a1ca8a4087a86d9bf571728
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
ea078904a5 Remove requires for environments now handled dynamically. 
original commit: 5302b3e87c01be9c11e5f2098c90615bf5c883bc
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
e0b7b06a21 Add `require' to fix tests. 
original commit: 0ae9e0ff851a1d5835ac8ab1eb1bd1a0b7ab3c8c
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
df6cce314c Avoid printing results of `define-hierarchy' 
original commit: bc6d8f98ed08e1f70f1b3ea255869b06533d2372
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
eba0c35b6c Fix `require' for contracts. 
original commit: 867f35927430b61c411ae7c930964b9e70f42cc5
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
a074f3dc6d `require' changes 
original commit: 7a1b29c8f27328cacc01b34c8e01f0ac361ccc3d
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
0c00609ade Enable struct construction when not transforming. Necessary for testing. 
original commit: 71ae5f0a6e92f571ab34ed1849ff31c71117e12c
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
63f6827622 Fix `hash-name' to avoid collisions. 
original commit: eea479b34a2014f259f59098a38aa33ba0ee1971
 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
e717d29b74 Lots more laziness, and useless require removal. 
original commit: b6b840076b275d653843400f18259bf7f67c7a53
 2010-09-09 16:08:03 -04:00
Sam Tobin-Hochstadt
63748f9460 Progress on delaying some environments. 
original commit: de0e8bc81ce566d9a540832f794d96b2cf9409ce
 2010-09-09 16:08:03 -04:00
Robby Findler
780c2159b8 changed the ->d contracts to ->i contracts 
original commit: d419e8c12a554d660a65198dd102bc03e01c93a8
 2010-09-09 14:21:35 -05:00
Sam Tobin-Hochstadt
54763a9ca3 simplify requires 
original commit: 837291a793bd9602af16404db1b4fc49e639021f
 2010-09-08 13:20:34 -04:00
Sam Tobin-Hochstadt
72a11f2d56 Load typechecker dynamically to reduce footprint. 
original commit: 120a1d0d87824f90b153047cc3a5408a60753b65
 2010-09-08 13:20:34 -04:00
Sam Tobin-Hochstadt
673abe2e46 simplify 
original commit: cfc289d806a4a71e34df8dc8b98b5024b66a4cff
 2010-09-08 11:37:02 -04:00
Sam Tobin-Hochstadt
1503fed8c3 Add memory fns. 
original commit: fae02be9f06aefd55c65211d2e95a07041ebfede
 2010-09-08 11:32:04 -04:00
Sam Tobin-Hochstadt
8cdcde83cd Fix contract name references. 
original commit: 350cef9af8bc27dc5eb223875d3f7a3c408753a4
 2010-09-08 11:05:51 -04:00
Sam Tobin-Hochstadt
fba3c3b9ca Propogate #:mutable for polymorphic structs. 
Closes PR 11127

original commit: a0e77705e578927e5d8180e6bc811461173580ab
 2010-09-08 10:47:51 -04:00
Sam Tobin-Hochstadt
4bf64acde5 Fix polymorphic structs with mutability. 
original commit: 6130f3551c1019c1bc035d802378c29bf574a0c1
 2010-09-08 10:24:58 -04:00
Sam Tobin-Hochstadt
617496f14e Make syntax of #{} less accepting of errors. 
original commit: 91fefa055ea0b0fda8ae8bffb993bc163e4160af
 2010-09-08 10:24:58 -04:00
Vincent St-Amour
73decd8674 Fix broken tests that depended on an unsafe optimization. 
original commit: 14097dd90e787c08a138fa5e907680f6af96aea3
 2010-09-07 20:11:44 -04:00
Vincent St-Amour
ae11f47dbd Fixed a dangling link in the doc. 
original commit: 11e168f01eecd7b39228d5399e045510d6349e01
 2010-09-07 16:57:02 -04:00
Vincent St-Amour
a50913b597 Removed unsafe optimization on fixnums. 
original commit: ae88abd5c849b664e4720fb0ac20b29c684b2a2b
 2010-09-07 16:57:02 -04:00
Vincent St-Amour
0df6f293ce Added the fixnum types to the documentation. 
original commit: 440871f99d8edc425f633e87555c9f4d110c501d
 2010-09-07 16:57:02 -04:00
Stevie Strickland
3e6ab819c6 Check struct predicate before checking fields. 
original commit: 3b0de9c141edee84be57768a22b1ae3264fcc7f5
 2010-09-02 19:59:00 -04:00
Ryan Culpepper
721c939b95 added #:commit to TR optimizer stxclasses 
original commit: 0c4f82a434daa05decb6f4c92bede7ef11d5b998
 2010-08-31 16:21:44 -06:00
Ryan Culpepper
7799959a8b fixed TR optimizer to work with backtracking syntax/parse update 
problem was unboxed-inexact-complex-opt-expr, "non exhaustive" error variant

original commit: 04a93812b455586ca3ad8c69844e20ddc6025162
 2010-08-31 10:55:58 -06:00
Vincent St-Amour
a506c6cefb Ignored a rounding error between PPC and x86. 
original commit: e1fd445fa4acab85eb2894bc94dc1a9b009fc9ba
 2010-08-29 10:17:56 -04:00
Sam Tobin-Hochstadt
01fd7f5b8c Use `any/c' for contracts for polymorphic functions. 
original commit: 92ce3ca02d448df97ba8e9e2210a898848cae0f1
 2010-08-27 18:36:49 -04:00
Sam Tobin-Hochstadt
a6a1840da1 Use the correct name in the provide. 
original commit: d38af188f6ee5d52b442b14a572b7e579b417925
 2010-08-27 18:36:49 -04:00
Vincent St-Amour
f360fac138 Added annotations to plain for and for* in typed code. 
original commit: d3ee52d4514170b514faecb80b5c939bf7da3aea
 2010-08-27 18:18:52 -04:00
Vincent St-Amour
e9e53e8382 Improved sandboxing with code from Eli. 
original commit: b386f01ee45b5d6f0d6dcb59668b16e729a80cc8
 2010-08-27 18:18:51 -04:00
Vincent St-Amour
b12db574b2 Removed obsolete comment. 
original commit: f06c2d492653b52b720d8776f942255d284c756e
 2010-08-27 18:18:51 -04:00
Vincent St-Amour
d516bb877d Better way to setup the sandbox input. 
original commit: 9f540bce011106dfcda7de2c13eae3bcd3d42582
 2010-08-27 14:43:22 -04:00
Vincent St-Amour
5ead0f43e2 Cleanup of syntax-parse patterns. 
original commit: 988466369739ac5682205e49185c3956e07f3f0d
 2010-08-27 14:43:19 -04:00
Vincent St-Amour
6df18f3f24 Cleanup of the test harness. 
original commit: 1c9e8e05b061648ee7a54bf120c288eefddbfb15
 2010-08-27 13:29:43 -04:00
Vincent St-Amour
989cd5ce81 Renamed tests directory to make more sense with the new structure. 
original commit: 7cfba9f02d48d10a886bf2cfce2499a26b8db9af
 2010-08-27 13:29:43 -04:00
Vincent St-Amour
31342660e4 Improved logging since it's now used for testing. 
original commit: ca16ac4db50032324c2886766f477909f38b983c
 2010-08-27 13:29:42 -04:00
Vincent St-Amour
5169f42b28 Test expected optimizations by comparing optimizer logs instead of expanded code. 
original commit: 18af26ec9b4a20aa62bddc5cd04d54c6c35a7ac2
 2010-08-27 13:29:42 -04:00
Vincent St-Amour
2ed40e6b09 Adapted filename logging for testing purposes. 
original commit: 6f6ec3b2bf1999e64c04b9ff2afb29739e9c3eef
 2010-08-27 13:29:42 -04:00
Vincent St-Amour
99658f326c Logging can be turned on from the command-line. 
original commit: 9b598df60a5fb621491a3513ff445e2db6053f83
 2010-08-27 13:29:41 -04:00
Vincent St-Amour
7b0682b8d0 Use sandboxes instead of duplicate files to test results when optimizing. 
original commit: 46b2a2113af3e6f8174379880620f7add5b0f079
 2010-08-26 18:08:41 -04:00
Vincent St-Amour
e291319f96 Exclude directories when testing TR's optimizer. 
original commit: eadc2a7e4c35d56ad84a251a52f1af7ce5548425
 2010-08-26 17:46:59 -04:00
Vincent St-Amour
6e2563c2a9 Documented with-asserts. 
original commit: 63530ed74df880b55b4dc85398181fb2925e6947
 2010-08-26 17:46:58 -04:00
Vincent St-Amour
acd7b572ae Added with-asserts, from code from Neil Toronto. 
original commit: ea472a9d57b7344e9111bd37663fd7ad0884f0d5
 2010-08-26 17:46:58 -04:00
Vincent St-Amour
ee39b520ce Extend sign analysis to sqr. 
original commit: 694d2da4b362f83b6f492095c712703856acb068
 2010-08-26 17:46:57 -04:00
Sam Tobin-Hochstadt
4d0a7b1d97 Fixes for real/imag-part 
original commit: 52c90628ce5ec306287c8202ab863fefbb9a1d62
 2010-08-26 16:59:12 -04:00
Sam Tobin-Hochstadt
3929e32f26 Tests for new optimizer additions. 
original commit: 3e4ddde80806795923ee8dab602da80ca38e2ec0
 2010-08-26 16:59:12 -04:00
Sam Tobin-Hochstadt
c35ef60c7f Avoid reboxing when computing real/imag-part. 
original commit: c40c48bd97b12526e8cc9da0b9a68926478cdbdf
 2010-08-26 16:59:12 -04:00
Sam Tobin-Hochstadt
daa11ce61f Add optimization for `magnitude', fix handling of functions that return floats, not complexes. 
original commit: fd2d37a7108855691b566997d4c9a3032416f169
 2010-08-26 16:59:12 -04:00
Eli Barzilay
48b7074752 More "~n" -> "\n" changes 
original commit: 8e0f8dd39c3744472b450021f003f9cbe8cbcb62
 2010-08-26 12:11:00 -04:00
Eli Barzilay
8ab581cf2e Change a bunch of "~%" and "~n" in format strings to "\n". 
original commit: 7dc4d2e5a63ab416d90e44d7bf75cb5593329909
 2010-08-25 17:17:01 -04:00
Eli Barzilay
d4b3623003 Lots of "~e" to "~.s" changes. 
original commit: 606b7f60dc597a6870efc11364e1dd3e1a8b4a1b
 2010-08-25 17:17:01 -04:00
Sam Tobin-Hochstadt
7efb07a4b0 Add Futureof' type, types for future' and `touch' 
original commit: b08de170bc616d2217c6fde3dff8c3f1b042eb3b
 2010-08-25 10:27:07 -04:00