suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
76edce6f07
typed-racket/collects/tests/typed-scheme
History
Eric Dobson 76edce6f07 Change Module-Path to be union type instead of a Base type. Closes PR 11963. 
original commit: 42415575438236d0fcd900ce1ab854ed8aa256e0
2011-06-23 10:05:36 -04:00
..
fail Add test for PR 10794. 2011-06-22 17:36:31 -04:00
optimizer Change Module-Path to be union type instead of a Base type. Closes PR 11963. 2011-06-23 10:05:36 -04:00
succeed Add negate (racket/function) to TR 2011-06-22 16:04:19 -04:00
unit-tests TR: Added more tests for recently typed identifiers. 2011-06-22 15:17:58 -04:00
xfail Take the meet of constraints earlier in the inference process. 2011-03-18 10:25:19 -04:00
main.rkt close-call -> missed-optimization 2011-06-17 18:18:00 -04:00
nightly-run.rkt Fix nightly running of TR tests. 2011-01-27 16:49:45 -05:00
run.rkt close-call -> missed-optimization 2011-06-17 18:18:00 -04:00