File "alloc.ml", line 34, characters 33-37: 34 | let dont_warn_with_partial_match None x = x ^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some _