From 05a5c162310ef5afb07fffd118386be74d9a73bf Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 21 Jun 2011 16:08:50 -0400 Subject: [PATCH] Add identity (from racket/function) to TR --- collects/typed-scheme/base-env/base-env.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index 5b63233d12..abaf8689ab 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -1352,6 +1352,7 @@ ;; scheme/function +[identity (-poly (a) (-> a a))] [const (-poly (a) (-> a (->* '() Univ a)))] (primitive? (-> Univ B)) (primitive-closure? (-> Univ B))