aboutsummaryrefslogtreecommitdiff
path: root/engine/termops.mli
diff options
context:
space:
mode:
authorGaëtan Gilbert2018-10-17 15:27:25 +0200
committerGaëtan Gilbert2018-10-17 15:31:41 +0200
commit4c3aaca2f6ab4f018da7d271a81c98cd86ba0301 (patch)
treea3427f5f0999d8bd67647769ea5254821e25b7b0 /engine/termops.mli
parent15998894ff76b1fa9354085ea0bddae4f8f23ddf (diff)
Enable fragile pattern warning in cclosure
This file is already mostly in the required style so I wanted to see what it looks like. For a couple matches I locally disabled the warning as it was too annoying otherwise (`when` clauses are especially annoying). There are a couple places where I think it clearly looks better (eg assoc_defined at the beginning of the file) but overall I'm not all that convinced. What do other people think?
Diffstat (limited to 'engine/termops.mli')
0 files changed, 0 insertions, 0 deletions