add \rightarrow as alias for ->

2010-06-13 14:35:05 -04:00 · 2010-06-13 14:35:05 -04:00 · 408d9adb5a
commit 408d9adb5a
parent c2ac8046c4
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]))