diff options
author | Son Ho | 2022-11-08 16:35:55 +0100 |
---|---|---|
committer | Son HO | 2022-11-10 11:35:30 +0100 |
commit | dcb1a77150d26875ab67b5e12cb299a3d9369d4a (patch) | |
tree | c5eba364eab9f975bf6fc454320c6e38dfb330c1 /compiler/Pure.ml | |
parent | 357782ba4c039ac6d83b4fd8344121e89f87eb7b (diff) |
Update `switch` to have a specific treatment of ADTs
Diffstat (limited to '')
-rw-r--r-- | compiler/Pure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index 7f71cf7f..62657fc7 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -48,7 +48,7 @@ let option_none_id = T.option_none_id type type_id = AdtId of TypeDeclId.id | Tuple | Assumed of assumed_ty [@@deriving show, ord] -(** Ancestor for iter visitor for {!ty} *) +(** Ancestor for iter visitor for {!Pure.ty} *) class ['self] iter_ty_base = object (_self : 'self) inherit [_] VisitorsRuntime.iter @@ -57,7 +57,7 @@ class ['self] iter_ty_base = method visit_integer_type : 'env -> integer_type -> unit = fun _ _ -> () end -(** Ancestor for map visitor for {!ty} *) +(** Ancestor for map visitor for {!Pure.ty} *) class ['self] map_ty_base = object (_self : 'self) inherit [_] VisitorsRuntime.map |