diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-11-08 13:13:04 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-11-08 13:20:09 +0100 |
| commit | 7b3d8e1d13bab22c82b38012cfcb8cbfe67ed7e5 (patch) | |
| tree | fe3ff12c741040042e2f55222420d2bde802ca9c /.gitignore | |
| parent | 5fb6d7cbb60bb5420562b9aa336a796d1bb63a2f (diff) | |
| download | ocaml-sid-7b3d8e1d13bab22c82b38012cfcb8cbfe67ed7e5.tar.gz | |
sid: functorize well-formedness checks
Offload the test for member count and size constraints of sas and ia,
respectively, into a separate validation module. This is a preparatory
step toward adding less rigid parsing modes.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions