diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-05-26 11:10:52 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-05-26 11:10:52 +0000 |
| commit | 6a940ef65d7b70f94e221f4b6731b4ed7a9c410e (patch) | |
| tree | a002b52a1f42795af154463599d59c883fd01bef /bytecomp/lambda.mli | |
| parent | d1482d5a412e7b42841a174d48e0288f5ab447b5 (diff) | |
switch to new vtable representation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/lambda.mli')
| -rw-r--r-- | bytecomp/lambda.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index f862ca8aa..2c7c56e01 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -124,6 +124,8 @@ type let_kind = Strict | Alias | StrictOpt | Variable we can discard e if x does not appear in e' Variable: the variable x is assigned later in e' *) +type meth_kind = Self | Public | Cached + type shared_code = (int * int) list (* stack size -> code label *) type lambda = @@ -143,7 +145,7 @@ type lambda = | Lwhile of lambda * lambda | Lfor of Ident.t * lambda * lambda * direction_flag * lambda | Lassign of Ident.t * lambda - | Lsend of lambda * lambda * lambda list + | Lsend of meth_kind * lambda * lambda * lambda list | Levent of lambda * lambda_event | Lifused of Ident.t * lambda |