From 5af212e8257663780515e4c842f973ba5ca2faaf Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 17 Dec 2009 19:01:23 +0000 Subject: [PATCH] Add `make-list' Fix `let/ec:' svn: r17340 --- collects/typed-scheme/private/base-env-indexing-abs.ss | 1 + collects/typed-scheme/private/prims.ss | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-indexing-abs.ss b/collects/typed-scheme/private/base-env-indexing-abs.ss index 63581174fe..61bdf5b612 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.ss +++ b/collects/typed-scheme/private/base-env-indexing-abs.ss @@ -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)] diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss index 5723b61299..0017dd813c 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/collects/typed-scheme/private/prims.ss @@ -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))))