Fix unnecessary warning emitted from muchused.ml
- Feb 23, 2022
-
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
-
- Feb 22, 2022
-
-
Melwyn Saldanha authored
-
There was a missing checks for chest
& chest_key
in muchused.ml
related to is_dup
,
That was emitting a warning which chest
or chest_key
was used more than once.
The simple solution would be to add the 2 missing checks,
But in order to prevent such error in future the constant types are defined as a Variant,
Such errors will be easily caught by exhaustiveness check of pattern matching