@@ -26,7 +26,9 @@ record :: IParser T.Type
2626record =
2727 do char '{' ; whitespace
2828 ext <- extend
29− fs <- fields
29+ fs <- case ext of
30+ T.EmptyRecord -> commaSep fields
31+ _ -> commaSep1 fields
3032 dumbWhitespace ; char '}'
3133 return (T.Record fs ext)
3234 where
@@ -34,7 +36,7 @@ record =
3436 t <- tvar
3537 whitespace >> string "|" >> whitespace
3638 return t
37− fields = commaSep1 $ do
39+ fields = do
3840 lbl <- rLabel
3941 whitespace >> hasType >> whitespace
4042 (,) lbl <$> expr