suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
22,488 Commits 17 Branches 54 Tags 278 MiB
fd5019ddea
Commit Graph

677 Commits

Author SHA1 Message Date
Vincent St-Amour
0510bb0949 Have drdr run the missed opts tests. 2011-08-30 17:00:25 -04:00
Sam Tobin-Hochstadt
534d89b983 Fix type of `make-temporary-file'. 2011-08-30 11:33:40 -04:00
Sam Tobin-Hochstadt
3e1eb67336 Make environments much lazier about computing types; remove useless requires. 
Allow duplicate type annotations when they are the same type.
 2011-08-30 11:33:40 -04:00
Eli Barzilay
e788903d0e Remove a bunch of no-longer-needed `compile-omit-paths', and move the 
few ones into the subcollections.
 2011-08-29 16:33:12 -04:00
Sam Tobin-Hochstadt
c7ac40f33b Repair test for boolean generalization. 2011-08-26 14:08:40 -04:00
Sam Tobin-Hochstadt
ba09e906d8 Generalize #t and #f to `Boolean'. 2011-08-26 08:05:44 -04:00
Sam Tobin-Hochstadt
7dd209f905 Initial support for standard optional arguments. 2011-08-25 19:00:49 -04:00
Sam Tobin-Hochstadt
a7cf16d486 Propagate expected function types propertly in case-lambda. 
Closes PR 10139.
 2011-08-24 15:29:10 -04:00
Sam Tobin-Hochstadt
bdcc63b229 Handle apply for functions with no rest arguments. 2011-08-17 18:19:47 -04:00
Sam Tobin-Hochstadt
4c56a94eb1 DrDr repairs. 2011-08-16 08:14:39 -04:00
Sam Tobin-Hochstadt
c54fc6d6d7 Refactor unit tests to handle tests that need base-special-env separately. 2011-08-15 21:39:31 -04:00
Vincent St-Amour
8dba93646a Remove redundant logging message. 2011-08-15 12:19:54 -04:00
Sam Tobin-Hochstadt
54c044c36a Fix initial type environment for new-style keyword functions. 2011-08-14 13:40:42 -04:00
Sam Tobin-Hochstadt
2d094db270 Fix typechecking of `#%variable-reference' 2011-08-14 13:40:42 -04:00
Robby Findler
997813680d change the #:get-lock-file argument of call-with-file-lock/timeout to #:lock-file 2011-08-11 09:29:31 -05:00
Vincent St-Amour
8bcb7f2636 More TR test failures more easily detectable. 2011-08-10 15:45:54 -04:00
Vincent St-Amour
b124d68f40 Improve error message for calls to 'sort' when inference fails. 2011-08-03 17:39:15 -04:00
Vincent St-Amour
5b22dfb6b0 Add for*/sum: and for*/product: to TR. 
These currently don't play nice with inference, so they only work in
limited cases.
 2011-07-29 12:54:29 -04:00
Vincent St-Amour
6a8011854b Add for/sum: and for/product: to TR. 2011-07-29 12:54:29 -04:00
Vincent St-Amour
73140544ce Clean up. 2011-07-21 17:06:03 -04:00
Sam Tobin-Hochstadt
7a763a2da8 Fix types of kernel struct constructors to include parent fields. 
Merge to 5.1.2.
 2011-07-20 15:19:53 -04:00
Eric Dobson
e07ce478af Switched name field in struct type to identifier. Closes PR 11728. 
Closes PR 11998. Closes PR11859.
 2011-07-19 16:47:13 -04:00
Eric Dobson
a7f0f7591d Fixed types for path operations. Closes PR12057. 2011-07-19 16:47:13 -04:00
Vincent St-Amour
419398ce1a Fix test to not be dependent on floating-point printing. 2011-07-19 15:19:17 -04:00
Vincent St-Amour
29882d8fa1 Remove redundant precision-loss messages. 2011-07-19 15:19:17 -04:00
Sam Tobin-Hochstadt
42b79dd489 Fix Typed Racket handling of exception handling with multiple return values. 2011-07-18 17:42:28 -04:00
Vincent St-Amour
5d4d9f2636 Add test for missed opts in multi-file programs. 2011-07-15 15:04:58 -04:00
Vincent St-Amour
db9d51fef7 Change the structure of the "extra precision" missed optimizations. 
Avoids reports that are almost duplicates.
 2011-07-15 15:04:58 -04:00
Vincent St-Amour
f4c3e51d3b Make a test a bit more complicated. 2011-07-15 15:04:56 -04:00
Vincent St-Amour
c5d46449b7 Fix new optimization to use the new loggin facilities. 2011-07-15 15:04:55 -04:00
Vincent St-Amour
34ccf6a3fb Fix new optimization to use new logging. 2011-07-15 15:04:54 -04:00
Vincent St-Amour
d146f8c590 Report missed fixnum optimizations. 2011-07-15 15:04:54 -04:00
Vincent St-Amour
fbf802e61c Fix tests. 2011-07-15 15:04:54 -04:00
Vincent St-Amour
9640d2bfbc Fix tests for new log format. 2011-07-15 15:04:53 -04:00
Vincent St-Amour
5e5fdb2981 Remove redundant optimization reporting. 2011-07-15 15:04:52 -04:00
Vincent St-Amour
8d680ced89 Display larger regions for optimizations. 2011-07-15 15:04:52 -04:00
Vincent St-Amour
a71a45e41f Relocate TR logging capture. 2011-07-15 15:04:51 -04:00
Vincent St-Amour
adeef671cd Fix TR tests to use the new contract error message format. 
If 7b9b3c371b is included in the release, this should be too.
 2011-07-14 17:06:52 -04:00
Eric Dobson
e6030295ff Fix kernel-struct tests in TR. 2011-07-14 17:06:52 -04:00
Eric Dobson
bf72db0f7b Clean up some contract errors and type->contract. Closes PR11756. 2011-07-14 17:06:52 -04:00
Eric Dobson
5e08f7a411 Fixes for inference. Closes PR10937. 2011-07-14 17:06:51 -04:00
Eric Dobson
8a2c9b4682 TR: Produce better error messages with values. Closes PR11772. 2011-07-14 17:06:51 -04:00
Vincent St-Amour
59a85b3eb2 Add list optimizations. 2011-07-11 15:55:07 -04:00
Vincent St-Amour
79ef8e889e Fix test for new contract error message format. 2011-07-11 15:35:49 -04:00
Vincent St-Amour
50974440f4 Fix test to avoid differences in printing. 2011-07-07 11:41:59 -04:00
Vincent St-Amour
0494e16d4f Fix tests. 2011-07-06 18:34:14 -04:00
Vincent St-Amour
2e6b518c95 Add an extra test for partial bounds checking elimination. 2011-07-06 18:09:35 -04:00
Vincent St-Amour
a7459c5ee7 Do partial bounds checking elimination for flvector operations. 2011-07-06 18:09:31 -04:00
Vincent St-Amour
979545a90f First stab at optimizing bounds checking. 2011-07-06 18:09:29 -04:00
Eric Dobson
b25ee81d79 Changed TR test to use struct with struct info instead of HTDP struct. 2011-07-05 11:25:11 -04:00