Add `make-list'
Fix `let/ec:' svn: r17340
This commit is contained in:
parent
73aa22e65d
commit
5af212e825
|
@ -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)]
|
||||
|
|
|
@ -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))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user