Fix type for raise-type-error. Closes PR 11426.

original commit: e10f139ad82748ee5d6b959c1f6225886b41084d
2010-11-22 17:21:26 -05:00 · 2010-11-22 17:21:26 -05:00 · b9303a1f4b
commit b9303a1f4b
parent 44e1994364
1 changed files with 3 additions and 3 deletions
--- a/collects/typed-scheme/private/base-env-indexing-abs.rkt
+++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt
@ -173,9 +173,9 @@
   [random (cl-> [(index-type) -Nat] [() -Real])]
   
   [raise-type-error
-    (cl->
-     [(Sym -String Univ) (Un)]
-     [(Sym -String index-type (-lst Univ)) (Un)])]
+    (cl->*
+     [-> Sym -String Univ (Un)]
+     [->* (list Sym -String index-type) Univ (Un)])]
   
   ))