Add identity (from racket/function) to TR

original commit: 05a5c162310ef5afb07fffd118386be74d9a73bf
2011-06-21 16:08:50 -04:00 · 2011-06-21 16:08:50 -04:00 · ee25931548
commit ee25931548
parent 3919eabd09
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))