We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3d53fb6 commit a29cdb2Copy full SHA for a29cdb2
middle_end/flambda/simplify/simplify_primitive.ml
@@ -29,13 +29,14 @@ let apply_cse dacc ~original_prim =
29
match DE.find_cse (DA.denv dacc) with_fixed_value with
30
| None -> None
31
| Some simple ->
32
- let canonical =
+ match
33
TE.get_canonical_simple_exn (DA.typing_env dacc) simple
34
~min_name_mode:NM.normal
35
~name_mode_of_existing_simple:NM.normal
36
- in
37
- match canonical with
38
- | exception Not_found -> None
+ with
+ | exception Not_found ->
+ (* CR pchambart: is this really reachable ? Should this be a fatal_error ? *)
39
+ None
40
| simple -> Some simple
41
42
let try_cse dacc ~original_prim ~simplified_args_with_tys ~min_name_mode
0 commit comments