JSON example #9

Merged
merged 2 commits into from Jan 8, 2014

Conversation

Projects
None yet
2 participants
@timjb
Contributor

timjb commented Jan 2, 2014

Implemented a basic JSON parser. This is an interesting example because it involves mutually recursive parsers. Apparently one needs to wrap the recursive call with lazy : a -> a. Otherwise the binary produced by the Idris compiler eats a lot of memory and fails.

ziman added a commit that referenced this pull request Jan 8, 2014

@ziman ziman merged commit 08837c8 into ziman:master Jan 8, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment