diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2014-04-08 09:38:22 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2014-04-08 09:38:22 +0000 |
| commit | 937e37ef1fe898bf590a7b9e04d3ce8b23ca88ec (patch) | |
| tree | f7cda594f2c4a443cbd3a458d5f080d17da872bd /bytecomp/switch.mli | |
| parent | fcf3571123e2c914768e34f1bd17e4cbaaa7d212 (diff) | |
| download | ocaml-937e37ef1fe898bf590a7b9e04d3ce8b23ca88ec.tar.gz | |
Suppressed some useless argument of switcher calls
(lifted as a functor argument)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/switch.mli')
| -rw-r--r-- | bytecomp/switch.mli | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/bytecomp/switch.mli b/bytecomp/switch.mli index 081be44437..3c1eae32c9 100644 --- a/bytecomp/switch.mli +++ b/bytecomp/switch.mli @@ -65,6 +65,7 @@ module type S = (* Various constructors, for making a binder, adding one integer, etc. *) val bind : act -> (act -> act) -> act + val make_const : int -> act val make_offset : act -> int -> act val make_prim : primitive -> act list -> act val make_isout : act -> act -> act @@ -83,8 +84,7 @@ module type S = (* - Make.zyva mk_const arg low high cases actions where - - mk_const takes an integer sends a constant action. + Make.zyva arg low high cases actions where - arg is the argument of the switch. - low, high are the interval limits. - cases is a list of sub-interval and action indices @@ -99,7 +99,6 @@ module Make : (* Standard entry point, sharing is tracked *) val zyva : (int * int) -> - (int -> Arg.act) -> Arg.act -> (int * int * int) array -> Arg.act t_store -> @@ -107,7 +106,6 @@ module Make : (* Output test sequence, sharing tracked *) val test_sequence : - (int -> Arg.act) -> Arg.act -> (int * int * int) array -> Arg.act t_store -> |