ES Alt: removed deprecated comments

grin-compiler · Nov 30, 2019 · d5f1bcc · d5f1bcc
1 parent 1ad43d1
commit d5f1bcc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/grin/src/AbstractInterpretation/ExtendedSyntax/HeapPointsTo/CodeGen.hs b/grin/src/AbstractInterpretation/ExtendedSyntax/HeapPointsTo/CodeGen.hs
@@ -305,7 +305,6 @@ codeGenM = cata folder where
 
       pure $ R caseResultReg
 
-    -- NOTE: Currently, the names of the alternatives are ignored by the analysis.
     AltF cpat n exp -> do
       altNameReg <- newReg
       addReg n altNameReg

diff --git a/grin/src/AbstractInterpretation/ExtendedSyntax/LiveVariable/CodeGen.hs b/grin/src/AbstractInterpretation/ExtendedSyntax/LiveVariable/CodeGen.hs
@@ -399,7 +399,6 @@ codeGenM e = (cata folder >=> const setMainLive) e
 
       pure $ R caseResultReg
 
-    -- NOTE: Currently, the names of the alternatives are ignored by the analysis.
     AltF cpat n exp -> do
       altNameReg <- newReg
       addReg n altNameReg