diff options
| author | Stephen Dolan <sdolan@janestreet.com> | 2020-03-17 14:59:42 +0000 |
|---|---|---|
| committer | Stephen Dolan <sdolan@janestreet.com> | 2020-04-27 12:58:53 +0100 |
| commit | 2986beaa7800deef612ffb1b77a9b0a62a9b2318 (patch) | |
| tree | bbececc6700beb84f42520832d484a51014c7645 /lambda/switch.mli | |
| parent | a5292808d2ba10805fcaa93270ead21f9e6e7f62 (diff) | |
| download | ocaml-2986beaa7800deef612ffb1b77a9b0a62a9b2318.tar.gz | |
Replace Location.t with Lambda.scoped_location in Lambda code
This commit threads scopes through translation from Typedtree to
Lambda, extending the scopes when entering functions, modules,
classes and methods.
Diffstat (limited to 'lambda/switch.mli')
| -rw-r--r-- | lambda/switch.mli | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lambda/switch.mli b/lambda/switch.mli index b4058c1784..f71240b782 100644 --- a/lambda/switch.mli +++ b/lambda/switch.mli @@ -76,6 +76,8 @@ module type S = val gtint : primitive (* type of actions *) type act + (* type of source locations *) + type loc (* Various constructors, for making a binder, adding one integer, etc. *) @@ -89,8 +91,7 @@ module type S = (* construct an actual switch : make_switch arg cases acts NB: cases is in the value form *) - val make_switch : - Location.t -> act -> int array -> act array -> act + val make_switch : loc -> act -> int array -> act array -> act (* Build last minute sharing of action stuff *) val make_catch : act -> int * (act -> act) val make_exit : int -> act @@ -113,7 +114,7 @@ module Make : sig (* Standard entry point, sharing is tracked *) val zyva : - Location.t -> + Arg.loc -> (int * int) -> Arg.act -> (int * int * int) array -> |