diff options
Diffstat (limited to 'compiler/InterpreterExpressions.ml')
-rw-r--r-- | compiler/InterpreterExpressions.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/InterpreterExpressions.ml b/compiler/InterpreterExpressions.ml index d74ee85f..0f6ed530 100644 --- a/compiler/InterpreterExpressions.ml +++ b/compiler/InterpreterExpressions.ml @@ -110,8 +110,8 @@ let access_rplace_reorganize (config : C.config) (expand_prim_copy : bool) ctx (** Convert an operand constant operand value to a typed value *) -let primitive_to_typed_value (ty : T.ety) (cv : V.primitive_value) : V.typed_value - = +let primitive_to_typed_value (ty : T.ety) (cv : V.primitive_value) : + V.typed_value = (* Check the type while converting - we actually need some information * contained in the type *) log#ldebug @@ -522,7 +522,8 @@ let eval_rvalue_discriminant_concrete (config : C.config) (p : E.place) | Error _ -> raise (Failure "Disciminant id out of range") (* Should really never happen *) | Ok sv -> - cf { V.value = V.Primitive (PV.Scalar sv); ty = Integer Isize })) + cf { V.value = V.Primitive (PV.Scalar sv); ty = Integer Isize }) + ) | _ -> raise (Failure ("Invalid input for `discriminant`: " ^ V.show_typed_value v)) |