From 36ee83368d06bcdefd0013fb7df64e4bd9715f69 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 26 Feb 2010 19:59:40 +0000 Subject: [PATCH] add inst to no-check svn: r18357 original commit: d06b3ed1df34d1ac9f0628eb3ca87073e40ca658 --- collects/typed-scheme/no-check.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/no-check.ss b/collects/typed-scheme/no-check.ss index a1a7601c..7c6e8296 100644 --- a/collects/typed-scheme/no-check.ss +++ b/collects/typed-scheme/no-check.ss @@ -11,6 +11,7 @@ (define nm . body)) (define-syntax-rule (ann e . rest) e) +(define-syntax-rule (inst e . rest) e) (define-syntax-rule (require/typed mod [id . _] ...) (require (only-in mod id ...)))