@@ -242,9 +242,9 @@ data ParseError tok = Error String (List tok)
242||| returns a pair of the parse result and the unparsed tokens (the remaining
242||| returns a pair of the parse result and the unparsed tokens (the remaining
243||| input).
243||| input).
245−parse : (xs : List tok) -> (act : Grammar tok c ty) ->
245+parse : (act : Grammar tok c ty) -> (xs : List tok) ->
246 Either (ParseError tok) (ty, List tok)
246 Either (ParseError tok) (ty, List tok)
247−parse xs act
247+parse act xs
248 = case doParse False xs act of
248 = case doParse False xs act of
249 Failure _ msg ts => Left (Error msg ts)
249 Failure _ msg ts => Left (Error msg ts)
250 EmptyRes _ val rest => pure (val, rest)
250 EmptyRes _ val rest => pure (val, rest)