@@ -517,11 +517,13 @@ parseNullBinder :: TokenParser Binder
517parseNullBinder = underscore *> return NullBinder
517parseNullBinder = underscore *> return NullBinder
519parseIdentifierAndBinder :: TokenParser (String, Binder)
519parseIdentifierAndBinder :: TokenParser (String, Binder)
520−parseIdentifierAndBinder = do
520+parseIdentifierAndBinder =
522+ b <- P.option (VarBinder (Ident name)) rest
521− name <- lname <|> stringLiteral
524+ <|> (,) <$> stringLiteral <*> rest
522− C.indented *> (equals <|> colon)
526+ rest = C.indented *> (equals <|> colon) *> C.indented *> parseBinder
523− binder <- C.indented *> parseBinder
524− return (name, binder)
527-- Parse a binder
529-- Parse a binder