comment

Orbion-J · Jun 30, 2022 · d534c5a · d534c5a
1 parent dad20db
commit d534c5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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))