diff options
| author | Pierre Habouzit <pierre.habouzit@m4x.org> | 2005-05-16 15:30:28 +0000 |
|---|---|---|
| committer | Pierre Habouzit <pierre.habouzit@m4x.org> | 2005-05-16 15:30:28 +0000 |
| commit | aad3cfa9920aa80dafd3be39a35c54c5553faf53 (patch) | |
| tree | d1299bf15bb69f9640e8ed9988487096cd466345 /bytecomp/translcore.ml | |
| parent | c8470256db208b4748f27643580ea35f13536867 (diff) | |
| download | ocaml-aad3cfa9920aa80dafd3be39a35c54c5553faf53.tar.gz | |
really fix the toplevel + remove all dyntypes thingies
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jocamltrunk@6869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/translcore.ml')
| -rw-r--r-- | bytecomp/translcore.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 1b52651e11..7dc8e22a76 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -701,23 +701,6 @@ and transl_exp0 e = with Not_constant -> Lprim(Pmakearray kind, ll) end -(*> JOCAML *) - | Texp_dynamic d -> - Lprim (Pmakeblock (0, Immutable), - [Transldyn.make_type_repr_code e.exp_env d.exp_type; - transl_exp d]) - | Texp_coerce (d, t) -> - let te = (* probably wrong if type variables are involved *) - Typetexp.transl_type_scheme e.exp_env t - in - Lapply (Transldyn.dynamics_prim "coerce_internal", - [transl_exp d; - Transldyn.make_type_repr_code e.exp_env te]) - | Texp_dyntype modl -> - let me = !transl_module Tcoerce_none None modl - and te = Transldyn.make_sig_repr_code e.exp_env modl.mod_type in - Lprim (Pmakeblock (0, Immutable), [te; me]) -(*< JOCAML *) | Texp_ifthenelse(cond, ifso, Some ifnot) -> Lifthenelse(transl_exp cond, event_before ifso (transl_exp ifso), |