Home
last modified time | relevance | path

Searched refs:ulambda (Results 1 – 24 of 24) sorted by relevance

/dports/lang/ocaml/ocaml-4.05.0/asmcomp/
H A Dclambda.mli39 and ulambda = type
43 | Ugeneric_apply of ulambda * ulambda list * Debuginfo.t
47 | Uletrec of (Ident.t * ulambda) list * ulambda
50 | Ustringswitch of ulambda * (string * ulambda) list * ulambda option
52 | Ucatch of int * Ident.t list * ulambda * ulambda
53 | Utrywith of ulambda * Ident.t * ulambda
54 | Uifthenelse of ulambda * ulambda * ulambda
55 | Usequence of ulambda * ulambda
56 | Uwhile of ulambda * ulambda
57 | Ufor of Ident.t * ulambda * ulambda * direction_flag * ulambda
[all …]
H A Dclambda.ml39 and ulambda = type
43 | Ugeneric_apply of ulambda * ulambda list * Debuginfo.t
47 | Uletrec of (Ident.t * ulambda) list * ulambda
50 | Ustringswitch of ulambda * (string * ulambda) list * ulambda option
52 | Ucatch of int * Ident.t list * ulambda * ulambda
53 | Utrywith of ulambda * Ident.t * ulambda
54 | Uifthenelse of ulambda * ulambda * ulambda
55 | Usequence of ulambda * ulambda
56 | Uwhile of ulambda * ulambda
57 | Ufor of Ident.t * ulambda * ulambda * direction_flag * ulambda
[all …]
H A Dun_anf.mli20 : Clambda.ulambda
22 -> Clambda.ulambda
H A Dasmgen.ml44 ({ Flambda_to_clambda. expr = ulambda; preallocated_blocks = _;
49 Printclambda.clambda ppf ulambda;
60 Clambda.ulambda *
65 ((ulambda, _, structured_constants):clambda_and_constants) =
69 Printclambda.clambda ppf ulambda;
165 let set_export_info (ulambda, prealloc, structured_constants, export) =
167 (ulambda, prealloc, structured_constants)
H A Dflambda_to_clambda.ml82 let check_closure ulam named : Clambda.ulambda =
97 let check_field ulam pos named_opt : Clambda.ulambda =
121 val add_subst : t -> Variable.t -> Clambda.ulambda -> t
122 val find_subst_exn : t -> Variable.t -> Clambda.ulambda
136 { subst : Clambda.ulambda Variable.Map.t;
187 let subst_var env var : Clambda.ulambda =
197 let build_uoffset ulam offset : Clambda.ulambda =
222 let to_clambda_symbol env sym : Clambda.ulambda =
270 let aux () : Clambda.ulambda =
463 as set_of_closures) : Clambda.ulambda =
[all …]
H A Dun_anf.ml32 let ignore_ulambda (_ : Clambda.ulambda) = ()
33 let ignore_ulambda_list (_ : Clambda.ulambda list) = ()
60 let make_ident_info (clam : Clambda.ulambda) : ident_info =
64 let rec loop : Clambda.ulambda -> unit = function
207 let rec loop let_bound_vars (args : Clambda.ulambda list) =
239 let rec loop : Clambda.ulambda -> unit = function
399 : Clambda.ulambda =
542 (args : Clambda.ulambda list)
571 : Clambda.ulambda * moveable =
718 and un_anf ident_info env clam : Clambda.ulambda =
[all …]
H A Dclosure.mli18 val intro: int -> Lambda.lambda -> Clambda.ulambda
H A Dprintclambda.mli19 val clambda: formatter -> ulambda -> unit
H A Dflambda_to_clambda.mli20 expr : Clambda.ulambda;
H A Dcmmgen.mli19 Clambda.ulambda
H A Dclosure.ml501 (* Substitute variables in a [ulambda] term (a body of an inlined function)
773 The closure environment [cenv] maps idents to [ulambda] terms.
/dports/lang/ocaml-nox11/ocaml-4.05.0/asmcomp/
H A Dclambda.mli39 and ulambda = type
43 | Ugeneric_apply of ulambda * ulambda list * Debuginfo.t
47 | Uletrec of (Ident.t * ulambda) list * ulambda
50 | Ustringswitch of ulambda * (string * ulambda) list * ulambda option
52 | Ucatch of int * Ident.t list * ulambda * ulambda
53 | Utrywith of ulambda * Ident.t * ulambda
54 | Uifthenelse of ulambda * ulambda * ulambda
55 | Usequence of ulambda * ulambda
56 | Uwhile of ulambda * ulambda
57 | Ufor of Ident.t * ulambda * ulambda * direction_flag * ulambda
[all …]
H A Dclambda.ml39 and ulambda = type
43 | Ugeneric_apply of ulambda * ulambda list * Debuginfo.t
47 | Uletrec of (Ident.t * ulambda) list * ulambda
50 | Ustringswitch of ulambda * (string * ulambda) list * ulambda option
52 | Ucatch of int * Ident.t list * ulambda * ulambda
53 | Utrywith of ulambda * Ident.t * ulambda
54 | Uifthenelse of ulambda * ulambda * ulambda
55 | Usequence of ulambda * ulambda
56 | Uwhile of ulambda * ulambda
57 | Ufor of Ident.t * ulambda * ulambda * direction_flag * ulambda
[all …]
H A Dun_anf.mli20 : Clambda.ulambda
22 -> Clambda.ulambda
H A Dasmgen.ml44 ({ Flambda_to_clambda. expr = ulambda; preallocated_blocks = _;
49 Printclambda.clambda ppf ulambda;
60 Clambda.ulambda *
65 ((ulambda, _, structured_constants):clambda_and_constants) =
69 Printclambda.clambda ppf ulambda;
165 let set_export_info (ulambda, prealloc, structured_constants, export) =
167 (ulambda, prealloc, structured_constants)
H A Dflambda_to_clambda.ml82 let check_closure ulam named : Clambda.ulambda =
97 let check_field ulam pos named_opt : Clambda.ulambda =
121 val add_subst : t -> Variable.t -> Clambda.ulambda -> t
122 val find_subst_exn : t -> Variable.t -> Clambda.ulambda
136 { subst : Clambda.ulambda Variable.Map.t;
187 let subst_var env var : Clambda.ulambda =
197 let build_uoffset ulam offset : Clambda.ulambda =
222 let to_clambda_symbol env sym : Clambda.ulambda =
270 let aux () : Clambda.ulambda =
463 as set_of_closures) : Clambda.ulambda =
[all …]
H A Dun_anf.ml32 let ignore_ulambda (_ : Clambda.ulambda) = ()
33 let ignore_ulambda_list (_ : Clambda.ulambda list) = ()
60 let make_ident_info (clam : Clambda.ulambda) : ident_info =
64 let rec loop : Clambda.ulambda -> unit = function
207 let rec loop let_bound_vars (args : Clambda.ulambda list) =
239 let rec loop : Clambda.ulambda -> unit = function
399 : Clambda.ulambda =
542 (args : Clambda.ulambda list)
571 : Clambda.ulambda * moveable =
718 and un_anf ident_info env clam : Clambda.ulambda =
[all …]
H A Dclosure.mli18 val intro: int -> Lambda.lambda -> Clambda.ulambda
H A Dprintclambda.mli19 val clambda: formatter -> ulambda -> unit
H A Dflambda_to_clambda.mli20 expr : Clambda.ulambda;
H A Dcmmgen.mli19 Clambda.ulambda
H A Dclosure.ml501 (* Substitute variables in a [ulambda] term (a body of an inlined function)
773 The closure environment [cenv] maps idents to [ulambda] terms.
/dports/biology/fasta3/fasta-36.3.8/src/
H A Dparam.h93 float ulambda; /* ungapped lambda */ member
H A Dupam.h29 float ulambda; /* lambda (ungapped) */ member