diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 371572fa..fff6f013 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1274,8 +1274,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | Ast.STMT_init_box (dst, v) -> let tv = any() in + unify_lval init_ctx dst (ref (TYSPEC_box tv)); unify_atom rval_ctx v tv; - unify_lval { init_ctx with box_ok = true } dst tv (* FIXME (issue #52): Finish these. *) (* Fake-typecheck a few comm-related statements for now, just enough |