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

Remove tool.

Browse Source 
Improve error message source.
Add `build-list'
Don't give internal error when inference returns a bad result.

svn: r8885

original commit: f7d6b01d261521f8de4f572bd1b4644ea997dae2
This commit is contained in:
Sam Tobin-Hochstadt 2008-03-04 23:09:45 +00:00
parent e083db98ad
commit 684b5c1c2b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -189,6 +189,7 @@
[vector-ref
(make-Poly (list 'a) ((make-Vector (-v a)) N . -> . (-v a)))]
[build-vector (-poly (a) (N (N . -> . a) . -> . (make-Vector a)))]
[build-list (-poly (a) (N (N . -> . a) . -> . (-lst a)))]
[reverse (make-Poly '(a) (-> (make-lst (-v a)) (make-lst (-v a))))]
[append (-poly (a) (->* (list) (-lst a) (-lst a)))]
[length (make-Poly '(a) (-> (make-lst (-v a)) N))]