Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

json: delimited arrays

Browse source
This commit is contained in:
Nathan McCarty 2025-01-26 21:09:58 -05:00
parent ef690db972
commit 90c48b3672
1 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/Parser/JSON.md
View file

@ -203,11 +203,7 @@ array = do
pure $ first ::: rest pure $ first ::: rest
occupiedArray : Parser (JSONValue TArray) occupiedArray : Parser (JSONValue TArray)
occupiedArray = do occupiedArray = do
_ <- parseExactChar '[' xs <- delimited '[' ']' values
xs <- values
_ <- parseExactChar ']'
-- TODO: Why is this busted?
-- xs <- delimited '[' ']' values
let (types ** xs) = DList.fromList (forget xs) let (types ** xs) = DList.fromList (forget xs)
pure $ VArray xs pure $ VArray xs
``` ```