From d534c5a4f50a88077c7e26ffd2f12f68128ad9e2 Mon Sep 17 00:00:00 2001 From: RJ Date: Thu, 16 Jun 2022 12:05:28 +0100 Subject: [PATCH] comment --- core/desugarEffects.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/desugarEffects.ml b/core/desugarEffects.ml index 5d76f7023..13c12e390 100644 --- a/core/desugarEffects.ml +++ b/core/desugarEffects.ml @@ -1106,7 +1106,7 @@ class main_traversal simple_tycon_env = let module WP = SourceCode.WithPos in function | Typename _ as t -> super#aliasbody t - | Effectname (r, _) -> + | Effectname (r, _) -> (* hack to cleanup the row and desugar properly *) let wp = cleanup_effects tycon_env (WP.dummy (Effect r)) in match WP.node wp with | Effect r -> (o, Effectname(r, None))