@@ -26,7 +26,9 @@ record :: IParser T.Type
27 do char '{' ; whitespace
27 do char '{' ; whitespace
28 ext <- extend
28 ext <- extend
30+ T.EmptyRecord -> commaSep fields
29− fs <- fields
31+ _ -> commaSep1 fields
30 dumbWhitespace ; char '}'
32 dumbWhitespace ; char '}'
31 return (T.Record fs ext)
33 return (T.Record fs ext)
@@ -34,7 +36,7 @@ record =
35 whitespace >> string "|" >> whitespace
37 whitespace >> string "|" >> whitespace
37− fields = commaSep1 $ do
39+ fields = do
38 lbl <- rLabel
40 lbl <- rLabel
39 whitespace >> hasType >> whitespace
41 whitespace >> hasType >> whitespace
40 (,) lbl <$> expr
42 (,) lbl <$> expr