Fix call to *Keyword - thanks Matthew.

svn: r11733

original commit: 49c816cfaa30ba7caa343d4d3fbf2cc9a1472acf
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-13 22:47:52 +00:00
parent dd509b80f3
commit a17e62cca0

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