/[svn]/ocamliface/mlstub.ml
ViewVC logotype

Diff of /ocamliface/mlstub.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1214 by abate, Tue Jul 10 18:30:59 2007 UTC revision 1215 by abate, Tue Jul 10 18:31:55 2007 UTC
# Line 50  Line 50 
50    | Builtin ("array", [t]) -> Types.descr (Sequence.star_node (typ t))    | Builtin ("array", [t]) -> Types.descr (Sequence.star_node (typ t))
51    | Builtin ("Pervasives.ref", [t]) -> Builtin_defs.ref_type (typ t)    | Builtin ("Pervasives.ref", [t]) -> Builtin_defs.ref_type (typ t)
52    | Builtin ("Cduce_lib.Value.t", []) -> Types.any    | Builtin ("Cduce_lib.Value.t", []) -> Types.any
53      | Builtin ("Cduce_lib.Encodings.Utf8.t", []) -> Builtin_defs.string
54    | Builtin ("unit", []) -> Sequence.nil_type    | Builtin ("unit", []) -> Sequence.nil_type
55    | Var i -> Types.descr (!vars).(i)    | Var i -> Types.descr (!vars).(i)
56    | _ -> assert false    | _ -> assert false
# Line 272  Line 273 
273        )        )
274    
275    | Builtin ("Cduce_lib.Value.t", []) -> e    | Builtin ("Cduce_lib.Value.t", []) -> e
276      | Builtin ("Cduce_lib.Encodings.Utf8.t", []) ->
277          <:expr< Value.ocaml2cduce_string_utf8 $e$ >>
278    | Builtin ("unit", []) -> <:expr< do { $e$; Value.nil } >>    | Builtin ("unit", []) -> <:expr< do { $e$; Value.nil } >>
279    | Var _ -> e    | Var _ -> e
280    | _ -> assert false    | _ -> assert false
# Line 393  Line 396 
396        let e = <:expr< Eval.eval_apply $e$ Value.nil >> in        let e = <:expr< Eval.eval_apply $e$ Value.nil >> in
397        <:expr< Pervasives.ref $to_ml e t$ >>        <:expr< Pervasives.ref $to_ml e t$ >>
398    | Builtin ("Cduce_lib.Value.t", []) -> e    | Builtin ("Cduce_lib.Value.t", []) -> e
399      | Builtin ("Cduce_lib.Encodings.Utf8.t", []) ->
400          <:expr< Value.cduce2ocaml_string_utf8 $e$ >>
401    | Builtin ("unit", []) -> <:expr< ignore $e$ >>    | Builtin ("unit", []) -> <:expr< ignore $e$ >>
402    | Var _ -> e    | Var _ -> e
403    | _ -> assert false    | _ -> assert false
Legend:
Removed from v.1214  
changed lines
  Added in v.1215
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5