Add identity (from racket/function) to TR

2011-06-21 16:08:50 -04:00 · 2011-06-21 16:08:50 -04:00 · 05a5c16231
commit 05a5c16231
parent cbd0f31800
1 changed files with 1 additions and 0 deletions
--- 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))