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

1686 Commits

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