mlsub
mlsub copied to clipboard
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
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)