Fix call to *Keyword - thanks Matthew.

svn: r11733
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-13 22:47:52 +00:00
parent 37796884d8
commit 49c816cfaa

View File

@ -97,7 +97,7 @@
(dt Keyword (kw ty required?)
[#:frees (free-vars* ty)
(free-idxs* ty)]
[#:fold-rhs (*Keyword kw (type-rec-id ty))])
[#:fold-rhs (*Keyword kw (type-rec-id ty) required?)])
;; dom : Listof[Type]
;; rng : Type