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

Adding the type for the last function.

Browse Source 
svn: r9929
This commit is contained in:
Stevie Strickland 2008-05-22 16:41:04 +00:00
parent a973a8cbd5
commit 02f6018788
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3,7 +3,7 @@
;; these are libraries providing functions we add types to that are not in scheme/base ;; these are libraries providing functions we add types to that are not in scheme/base
(require (require
"extra-procs.ss" "extra-procs.ss"
(only-in scheme/list cons? take drop add-between) (only-in scheme/list cons? take drop add-between last)
'#%paramz '#%paramz
(only-in scheme/match/patterns match:error)) (only-in scheme/match/patterns match:error))
@ -136,6 +136,7 @@
[filter (-poly (a) ((a . -> . B) (-lst a) . -> . (-lst a)))] [filter (-poly (a) ((a . -> . B) (-lst a) . -> . (-lst a)))]
[take (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [take (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]
[drop (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [drop (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]
[last (-poly (a) ((-lst a) . -> . a))]
[add-between (-poly (a b) ((-lst a) b . -> . (-lst (Un a b))))] [add-between (-poly (a b) ((-lst a) b . -> . (-lst (Un a b))))]
[remove* (-poly (a b) [remove* (-poly (a b)
(cl-> [((-lst a) (-lst a)) (-lst a)] (cl-> [((-lst a) (-lst a)) (-lst a)]