git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Make row parser accept any type after extension operator
3ecbdc6Łukasz Hanuszczak
src/Language/PureScript/Parser/Types.hs+1−5
compare with golang
unifiedsplit
@@ -126,11 +126,7 @@ parseNameAndType :: TokenParser t -> TokenParser (String, t)
126parseNameAndType p = (,) <$> (indented *> (lname <|> stringLiteral) <* indented <* doubleColon) <*> p
126parseNameAndType p = (,) <$> (indented *> (lname <|> stringLiteral) <* indented <* doubleColon) <*> p
127
127
128parseRowEnding :: TokenParser Type
128parseRowEnding :: TokenParser Type
129−parseRowEnding = P.option REmpty $ indented *> pipe *> indented *> P.choice (map P.try
129+parseRowEnding = P.option REmpty $ indented *> pipe *> indented *> parseType
130− [ parseTypeWildcard
131− , TypeVar <$> identifier
132− , parseTypeConstructor
133− , parens parseRow ])
134
130
135parseRow :: TokenParser Type
131parseRow :: TokenParser Type
136parseRow = (curry rowFromList <$> commaSep (parseNameAndType parsePolyType) <*> parseRowEnding) P.<?> "row"
132parseRow = (curry rowFromList <$> commaSep (parseNameAndType parsePolyType) <*> parseRowEnding) P.<?> "row"