Test and document parsec's string parser

vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

MIT License

1.37k stars 117 forks source link

Test and document parsec's string parser #4

Open ryzhyk opened 6 years ago

ryzhyk commented 6 years ago

We rely on parsec's standard parser for strings, which supports unicode and escaping.

TODO:

check and document its exact functionality
can we handle all OVSDB strings?

remysucre commented 5 years ago

The above commit has nothing to do with this issue. Github confused the PR ID with this issues's ID.