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

Add an alternate name for case->.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-01-12 17:22:08 -05:00
parent 87a53159dd
commit ca11c2e4fa
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 A (expt 7 5))
(define x 42) (define x 42)
(: gen-random : (case-> (Integer Integer → Exact-Rational) (: gen-random : (case→ (Integer Integer → Exact-Rational)
(Float Float → Float))) (Float Float → Float)))
(define (gen-random min max) (define (gen-random min max)
(set! x (modulo (* A x) p)) (set! x (modulo (* A x) p))
(+ min (/ (* (- max min) 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 ∀] (provide (rename-out [All ∀]
[U Un] [U Un]
[-> →] [-> →]
[case-> case→]
[List Tuple] [List Tuple]
[Rec mu] [Rec mu]
[Parameterof Parameter])) [Parameterof Parameter]))