suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add an alternate name for case->.

Browse Source 
original commit: ca11c2e4fa24979e81e6ea992ac38ba70d841bba
This commit is contained in:
Vincent St-Amour 2012-01-12 17:22:08 -05:00
parent 7d610b014d
commit 07c1349e2a
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-racket/optimizer/tests/case-arrow.rkt
View File

@ -14,8 +14,8 @@ TR missed opt: case-arrow.rkt 21:2 (+ min (/ (* (- max min) x) p)) -- all args f
(define A (expt 7 5))
(define x 42)
(: gen-random : (case-> (Integer Integer → Exact-Rational)
(Float Float → Float)))
(: gen-random : (case→ (Integer Integer → Exact-Rational)
(Float Float → Float)))
(define (gen-random min max)
(set! x (modulo (* A x) p))
(+ min (/ (* (- max min) x) p)))

3
collects/typed-racket/base-env/base-types-extra.rkt
View File

@ -18,7 +18,8 @@
(provide (rename-out [All ∀]
[U Un]
[-> →]
[-> →]
[case-> case→]
[List Tuple]
[Rec mu]
[Parameterof Parameter]))