search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.82k stars 253 forks source link

Standard Library: Parser combinators #5418

Open robin-aws opened 3 weeks ago

robin-aws commented 3 weeks ago

Already implemented and in use in https://github.com/dafny-lang/libraries/tree/parser-combinators-library.

This might not be as core a utility as the other standard libraries, but since we don't have great support for publishing and consuming Dafny libraries in general yet, I'm in favor of adding this as a standard library with the option to ship it separately later on.

codyroux commented 3 weeks ago

+1 to this, generally a leaf parser for ingesting (small amounts of) JSON is so useful that having it in the stdlib is not absurd.