diff options
author | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
---|---|---|
committer | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
commit | 77b1c8b89fd8940a63b17c41eb37161e5d159831 (patch) | |
tree | 43dbfb3982d9166b717199cb8faa97bdce30add7 /bytecomp/lambda.mli | |
parent | ba79d4bd1f01a70b892c69f6a5e6e86714a023d6 (diff) | |
download | ocaml-unlabeled-1.2.2.tar.gz |
This commit was manufactured by cvs2svn to create branchunlabeled-1.2.2
'unlabeled-1.2.2'.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unlabeled-1.2.2@37 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/lambda.mli')
-rw-r--r-- | bytecomp/lambda.mli | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli deleted file mode 100644 index ca2a0818f3..0000000000 --- a/bytecomp/lambda.mli +++ /dev/null @@ -1,64 +0,0 @@ -(* The "lambda" intermediate code *) - -open Asttypes - -type primitive = - Pidentity - | Pgetglobal of Ident.t - | Psetglobal of Ident.t - | Pmakeblock of int - | Ptagof - | Pfield of int - | Psetfield of int - | Pccall of string * int - | Pupdate - | Praise - | Psequand | Psequor | Pnot - | Pnegint | Paddint | Psubint | Pmulint | Pdivint | Pmodint - | Pandint | Porint | Pxorint - | Plslint | Plsrint | Pasrint - | Pcomp of comparison - | Poffsetint of int - | Poffsetref of int - | Pgetstringchar | Psetstringchar - | Pvectlength | Pgetvectitem | Psetvectitem - -and comparison = - Ceq | Cneq | Clt | Cgt | Cle | Cge - -type structured_constant = - Const_base of constant - | Const_block of int * structured_constant list - -type lambda = - Lvar of Ident.t - | Lconst of structured_constant - | Lapply of lambda * lambda list - | Lfunction of Ident.t * lambda - | Llet of Ident.t * lambda * lambda - | Lletrec of (Ident.t * lambda * int) list * lambda - | Lprim of primitive * lambda list - | Lswitch of lambda * int * int * (int * lambda) list - | Lstaticfail - | Lcatch of lambda * lambda - | Ltrywith of lambda * Ident.t * lambda - | Lifthenelse of lambda * lambda * lambda - | Lsequence of lambda * lambda - | Lwhile of lambda * lambda - | Lfor of Ident.t * lambda * lambda * direction_flag * lambda - | Lshared of lambda * int option ref - -val const_unit: structured_constant -val lambda_unit: lambda -val share_lambda: lambda -> lambda -val name_lambda: lambda -> (Ident.t -> lambda) -> lambda -val free_variables: lambda -> Ident.t list -val is_guarded: lambda -> bool - -type compilenv - -val empty_env: compilenv -val add_env: Ident.t -> lambda -> compilenv -> compilenv -val transl_access: compilenv -> Ident.t -> lambda - -val transl_path: Path.t -> lambda |