diff options
| author | Alasdair | 2019-02-02 00:11:47 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-02 00:12:12 +0000 |
| commit | 4eed419ed4999a1e092b14c5e81154c97d1ec89c (patch) | |
| tree | 54a408bc960773d871466b57d4331b18d91c60d8 /src | |
| parent | 38befd6856101fb7a7a4b49dcb0306dc9dd2f64f (diff) | |
Monomorphisation tests all pass so add them to standard regression tests
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index ab1a2f82..3243bf20 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -4076,7 +4076,7 @@ let make_bitvector_cast_exp cast_name cast_env quant_kids typ target_typ exp = let arg_typ' = subst_unifiers unifiers arg_typ in arg_typ' end - | _ -> typ_error l ("Malformed constructor " ^ string_of_id f ^ " with type " ^ string_of_typ ctor_typ) + | _ -> typ_error env l ("Malformed constructor " ^ string_of_id f ^ " with type " ^ string_of_typ ctor_typ) in (* Push the cast down, including through constructors *) |