ES NAlt: TODO fix Conversion New -> Old

grin-compiler · Nov 8, 2019 · 875826c · 875826c
1 parent 96c8c2e
commit 875826c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/grin/src/Transformations/ExtendedSyntax/Conversion.hs b/grin/src/Transformations/ExtendedSyntax/Conversion.hs
@@ -250,6 +250,7 @@ instance Convertible New.Exp Exp where
   convert (New.SReturn val)        = SReturn (convert val)
   convert (New.SBlock exp)         = SBlock (convert exp)
   convert (New.Alt cpat exp)       = Alt (convert cpat) (convert exp)
+  -- TODO: This transformation is not sound if the body contains a reference to the alt name.
   convert (New.NAlt cpat _ exp)    = Alt (convert cpat) (convert exp)
 
 convertToNew :: Exp -> New.Exp