diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-04-27 02:47:45 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-04-27 02:47:45 +0000 |
| commit | 61fe590178920b27747b788046193b5c9310e3e8 (patch) | |
| tree | bc89052f0030267ab6a1bd22383882e81acef058 | |
| parent | e95d355d4bdd7e9cb1c125b506b76a827f454cd3 (diff) | |
use definitions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/camlinternalOO.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/camlinternalOO.ml b/stdlib/camlinternalOO.ml index 95f07456f..7af74b155 100644 --- a/stdlib/camlinternalOO.ml +++ b/stdlib/camlinternalOO.ml @@ -588,18 +588,18 @@ type impl = let method_impl i arr = let next () = incr i; magic arr.(!i) in match next() with - GetConst -> let x : t = next() in ret (fun obj -> x) + GetConst -> let x : t = next() in get_const x | GetVar -> let n = next() in get_var n | GetEnv -> let e = next() and n = next() in get_env e n | GetMeth -> let n = next() in get_meth n | SetVar -> let n = next() in set_var n - | AppConst -> let f = next() and x = next() in ret (fun obj -> f x) + | AppConst -> let f = next() and x = next() in app_const f x | AppVar -> let f = next() and n = next () in app_var f n | AppEnv -> let f = next() and e = next() and n = next() in app_env f e n | AppMeth -> let f = next() and n = next () in app_meth f n | AppConstConst -> - let f = next() and x = next() and y = next() in ret (fun obj -> f x y) + let f = next() and x = next() and y = next() in app_const_const f x y | AppConstVar -> let f = next() and x = next() and n = next() in app_const_var f x n | AppConstEnv -> |