Remove legacy naive match-to-case compiler (#3003)

Removes the naive match-to-case transformation.
anoma · Sep 8, 2024 · 5675b4f · 5675b4f
1 parent 4ae4e4e
commit 5675b4f
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 419 deletions.
diff --git a/src/Juvix/Compiler/Core/Data/TransformationId.hs b/src/Juvix/Compiler/Core/Data/TransformationId.hs
@@ -17,7 +17,6 @@ data TransformationId
   | UnrollRecursion
   | ComputeTypeInfo
   | MatchToCase
-  | NaiveMatchToCase
   | EtaExpandApps
   | DisambiguateNames
   | CombineInfoTables
@@ -84,7 +83,6 @@ instance TransformationId' TransformationId where
     LetRecLifting -> strLetRecLifting
     TopEtaExpand -> strTopEtaExpand
     MatchToCase -> strMatchToCase
-    NaiveMatchToCase -> strNaiveMatchToCase
     EtaExpandApps -> strEtaExpandApps
     IdentityTrans -> strIdentity
     RemoveTypeArgs -> strRemoveTypeArgs

diff --git a/src/Juvix/Compiler/Core/Data/TransformationId/Strings.hs b/src/Juvix/Compiler/Core/Data/TransformationId/Strings.hs
@@ -32,9 +32,6 @@ strTopEtaExpand = "top-eta-expand"
 strMatchToCase :: Text
 strMatchToCase = "match-to-case"
 
-strNaiveMatchToCase :: Text
-strNaiveMatchToCase = "naive-match-to-case"
-
 strEtaExpandApps :: Text
 strEtaExpandApps = "eta-expand-apps"
 

diff --git a/src/Juvix/Compiler/Core/Transformation.hs b/src/Juvix/Compiler/Core/Transformation.hs
@@ -30,7 +30,6 @@ import Juvix.Compiler.Core.Transformation.LambdaLetRecLifting
 import Juvix.Compiler.Core.Transformation.LetHoisting
 import Juvix.Compiler.Core.Transformation.MatchToCase
 import Juvix.Compiler.Core.Transformation.MoveApps
-import Juvix.Compiler.Core.Transformation.NaiveMatchToCase qualified as Naive
 import Juvix.Compiler.Core.Transformation.NatToPrimInt
 import Juvix.Compiler.Core.Transformation.Normalize
 import Juvix.Compiler.Core.Transformation.Optimize.CaseCallLifting
@@ -75,7 +74,6 @@ applyTransformations ts tbl = foldM (flip appTrans) tbl ts
       ComputeTypeInfo -> return . computeTypeInfo
       UnrollRecursion -> unrollRecursion
       MatchToCase -> mapError (JuvixError @CoreError) . matchToCase
-      NaiveMatchToCase -> return . Naive.matchToCase
       EtaExpandApps -> return . etaExpansionApps
       DisambiguateNames -> return . disambiguateNames
       CombineInfoTables -> return . combineInfoTables

diff --git a/src/Juvix/Compiler/Core/Transformation/NaiveMatchToCase.hs b/src/Juvix/Compiler/Core/Transformation/NaiveMatchToCase.hs