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

Add `make-list'

Browse Source 
Fix `let/ec:'

svn: r17340

original commit: 5af212e8257663780515e4c842f973ba5ca2faaf
This commit is contained in:
Sam Tobin-Hochstadt 2009-12-17 19:01:23 +00:00
parent 16b7190098
commit 77c8bacdb4
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -22,6 +22,7 @@
(make-env
[build-list (-poly (a) (-Nat (-Nat* . -> . a) . -> . (-lst a)))]
[make-list (-poly (a) (-Nat a . -> . (-lst a)))]
[string-ref (-> -String -Nat -Char)]
[substring (->opt -String -Nat [-Nat] -String)]

2
collects/typed-scheme/private/prims.ss
View File

@ -424,5 +424,5 @@ This file defines two sorts of primitives. All of them are provided into any mod
#:literals (:)
[(_ k:id : t . body)
(quasisyntax/loc stx
(let/cc #,(annotate-names #'([k : t]) stx) . body))]))
(#,l/c #,(annotate-names #'([k : t]) stx) . body))]))
(values (mk #'let/cc) (mk #'let/ec))))