From 07c1349e2a50669bd391b21ce45f42952cac6bcd Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 12 Jan 2012 17:22:08 -0500 Subject: [PATCH] Add an alternate name for case->. original commit: ca11c2e4fa24979e81e6ea992ac38ba70d841bba --- collects/tests/typed-racket/optimizer/tests/case-arrow.rkt | 4 ++-- collects/typed-racket/base-env/base-types-extra.rkt | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt b/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt index 50ce7bf6..360ad66e 100644 --- a/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt +++ b/collects/tests/typed-racket/optimizer/tests/case-arrow.rkt @@ -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))) diff --git a/collects/typed-racket/base-env/base-types-extra.rkt b/collects/typed-racket/base-env/base-types-extra.rkt index f686e74b..84313705 100644 --- a/collects/typed-racket/base-env/base-types-extra.rkt +++ b/collects/typed-racket/base-env/base-types-extra.rkt @@ -18,7 +18,8 @@ (provide (rename-out [All ∀] [U Un] - [-> →] + [-> →] + [case-> case→] [List Tuple] [Rec mu] [Parameterof Parameter]))