From d06b3ed1df34d1ac9f0628eb3ca87073e40ca658 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 --- 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 a1a7601c59..7c6e82965a 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 ...)))