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

3120 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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