diff options
| author | Alasdair Armstrong | 2019-03-21 14:38:22 +0000 |
|---|---|---|
| committer | GitHub | 2019-03-21 14:38:22 +0000 |
| commit | 0e2f1710a951bae15a73230a76bed5b5bb32aee3 (patch) | |
| tree | a96b7f2beeb0e0c933a55fe7d717198a6146c4ed /src/ocaml_backend.ml | |
| parent | e6ae1eab6c2e239b78153cbb5a3fb234c72eb088 (diff) | |
| parent | 03e243d8dd6819e1e8e0694db80962de239dd8e0 (diff) | |
Merge pull request #38 from crabtw/sail2
Fix scattered mapping printing and output message for missing val spec
Diffstat (limited to 'src/ocaml_backend.ml')
| -rw-r--r-- | src/ocaml_backend.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index ff4a9818..9e4dbf8a 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -463,6 +463,7 @@ let ocaml_funcls ctx = match Bindings.find id ctx.val_specs with | Typ_aux (Typ_fn (typs, typ, _), _) -> (typs, typ) | _ -> failwith "Found val spec which was not a function!" + | exception Not_found -> failwith ("No val spec found for " ^ string_of_id id) in (* Any remaining type variables after simple_typ rewrite should ind icate Type-polymorphism. If we have it, we need to generate |