rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

printing for most of FromParserError

Browse source
This commit is contained in:
rhiannon morris 2023-03-31 19:27:38 +02:00
parent 2b2f79fca9
commit ad942b2fd8
4 changed files with 62 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

3
lib/Quox/Parser/Parser.idr
View file

@ -6,7 +6,9 @@ import public Quox.Parser.Syntax
import Data.Fin
import Data.Vect
import public Text.Parser
import Derive.Prelude
%language ElabReflection
%default total
@ -325,6 +327,7 @@ data Error =
LexError Lexer.Error
| ParseError (List1 (ParsingError Token))
%hide Lexer.Error
%runElab derive "Error" [Show]
export
lexParseWith : {c : Bool} -> Grammar c a -> String -> Either Error a