From 408d9adb5abaed3f3684e045b62225c13db01a9d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 13 Jun 2010 14:35:05 -0400 Subject: [PATCH] add \rightarrow as alias for -> --- collects/typed-scheme/private/base-types-extra.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/private/base-types-extra.rkt b/collects/typed-scheme/private/base-types-extra.rkt index de39e1727d..43ba28ad41 100644 --- a/collects/typed-scheme/private/base-types-extra.rkt +++ b/collects/typed-scheme/private/base-types-extra.rkt @@ -18,6 +18,7 @@ (provide (rename-out [All ∀] [U Un] + [-> →] [List Tuple] [Rec mu] [Parameterof Parameter]))