diff options
author | Arnaud Spiwack <arnaud@spiwack.net> | 2014-10-23 15:42:07 +0200 |
---|---|---|
committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-10-23 16:02:45 +0200 |
commit | 279ce5a03cb39b6a7fd596e5d339b6f825d03512 (patch) | |
tree | 50b20dfde2ca48d938422489027bc5de0e43c3ee /proofs/logic.ml | |
parent | 4cb05fc1afaf938d1b36e0c00226ff173e2d8f22 (diff) |
Monad: change the error managing of two-list combinators.
Otherwise I risked catching errors from the argument functions when I wanted to catch size mismatch to add information to errors.
Diffstat (limited to 'proofs/logic.ml')
0 files changed, 0 insertions, 0 deletions