diff options
| author | Alasdair Armstrong | 2017-09-01 15:33:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-01 15:33:24 +0100 |
| commit | 8124c487b576661dfa7a0833415d07d0978bc43e (patch) | |
| tree | b244d61a357f5b32eab4769e801a5f6950cc3dd5 /src | |
| parent | 678d260f5b236404d39906696caf34c8ad74c4e0 (diff) | |
Testing typedef generation for ocaml
Diffstat (limited to 'src')
| -rw-r--r-- | src/rewriter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index 3dc66b04..b180b0a1 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -2510,7 +2510,7 @@ let rewrite_undefined = let rewrite_e_aux (E_aux (e_aux, _) as exp) = match e_aux with | E_lit (L_aux (L_undef, l)) -> - check_exp (env_of exp) (undefined_of_typ (typ_of exp)) (typ_of exp) + check_exp (env_of exp) (undefined_of_typ (Env.expand_synonyms (env_of exp) (typ_of exp))) (typ_of exp) | _ -> exp in let rewrite_exp_undefined = { id_exp_alg with e_aux = (fun (exp, annot) -> rewrite_e_aux (E_aux (exp, annot))) } in |