suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix type of error.

Browse Source 
svn: r12019

original commit: 6a0b9b4e20d660410238fa68273f2f532c06b122
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-13 16:22:52 +00:00
parent e87cb50bd2
commit 15bc9ba914
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/private/base-env.ss
View File

@ -131,11 +131,11 @@
[remv* (-poly (a b) (cl-> [((-lst a) (-lst a)) (-lst a)]
[((-lst a) (-lst b) (a b . -> . B)) (-lst b)]))]
[error
(make-Function (list (make-arr null (Un))
(make-arr (list Sym -String) (Un) Univ)
(make-arr (list -String) (Un) Univ)
(make-arr (list Sym) (Un))))]
(error
(make-Function (list
(make-arr (list Sym -String) (Un) Univ)
(make-arr (list -String) (Un) Univ)
(make-arr (list Sym) (Un)))))
[namespace-variable-value
(cl-> [(Sym) Univ]