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

add box patterns to the parser oops

Browse source
This commit is contained in:
rhiannon morris 2023-04-01 15:59:16 +02:00
parent a17752f31c
commit 1fce4d80f6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -194,6 +194,7 @@ mutual
caseBody : Grammar True PCaseBody caseBody : Grammar True PCaseBody
caseBody = braces $ caseBody = braces $
[|CasePair (pairPat <* darr) (term <* optSemi)|] [|CasePair (pairPat <* darr) (term <* optSemi)|]
<|> [|CaseBox (bracks bname <* darr) (term <* optSemi)|]
<|> CaseNat <$> zeroCase <* resC ";" <*> succCase <* optSemi <|> CaseNat <$> zeroCase <* resC ";" <*> succCase <* optSemi
<|> flip CaseNat <$> succCase <* resC ";" <*> zeroCase <* optSemi <|> flip CaseNat <$> succCase <* resC ";" <*> zeroCase <* optSemi
<|> [|CaseEnum $ semiSep [|MkPair tag (darr *> term)|]|] <|> [|CaseEnum $ semiSep [|MkPair tag (darr *> term)|]|]