summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-08 13:13:04 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-08 13:20:09 +0100
commit7b3d8e1d13bab22c82b38012cfcb8cbfe67ed7e5 (patch)
treefe3ff12c741040042e2f55222420d2bde802ca9c /.gitignore
parent5fb6d7cbb60bb5420562b9aa336a796d1bb63a2f (diff)
downloadocaml-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