add \rightarrow as alias for ->

original commit: 408d9adb5abaed3f3684e045b62225c13db01a9d
2010-06-13 14:35:05 -04:00 · 2010-06-13 14:35:05 -04:00 · 3f3e732ac3
commit 3f3e732ac3
parent c6730fa63b
1 changed files with 1 additions and 0 deletions
--- 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]))