diff options
| author | Gaëtan Gilbert | 2018-10-17 15:27:25 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-17 15:31:41 +0200 |
| commit | 4c3aaca2f6ab4f018da7d271a81c98cd86ba0301 (patch) | |
| tree | a3427f5f0999d8bd67647769ea5254821e25b7b0 /engine/termops.mli | |
| parent | 15998894ff76b1fa9354085ea0bddae4f8f23ddf (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
