mlsub icon indicating copy to clipboard operation
mlsub copied to clipboard

Warning 8 [partial-match]: this pattern-matching is not exhaustive.

Open AaronNGray opened this issue 3 years ago • 0 comments

Getting the following :-

File "camlgen.ml", lines 31-61, characters 16-28:
31 | ................(loc, Some exp) = match exp with
32 |   | Var v -> CVar v
33 |   | Lambda (args, body) ->
34 |      assert false
35 |      (* CLambda ([args], lower g body) *)
...
58 |   | GetField (obj, field) ->
59 |      withtmp (lower g obj) (fun obj ->
60 |        CApp (CRaw "get_field", [obj; CInt (Symbol.hash field)]))
61 |   | _ -> CRaw "assert false"
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Loc (_, _, _), None)

AaronNGray avatar Jan 20 '22 23:01 AaronNGray