From 3f3e732ac30dc4d4cd7c8e15e50ca705aadbcccd 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 -> original commit: 408d9adb5abaed3f3684e045b62225c13db01a9d --- 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 de39e172..43ba28ad 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]))