|
@@ -2035,9 +2035,13 @@ let configure gen =
|
|
|
| _ -> false
|
|
|
in
|
|
|
|
|
|
- let is_dynamic_expr e = is_dynamic e.etype || match e.eexpr with
|
|
|
+ let is_dynamic_expr e =
|
|
|
+ print_endline (e.epos.pfile ^ ":: " ^ debug_expr e);
|
|
|
+ is_dynamic e.etype || match e.eexpr with
|
|
|
| TField(tf, f) -> field_is_dynamic tf.etype f
|
|
|
- | _ -> false
|
|
|
+ | _ ->
|
|
|
+ print_endline (e.epos.pfile ^ ": yes");
|
|
|
+ false
|
|
|
in
|
|
|
|
|
|
let may_nullable t = match gen.gfollow#run_f t with
|