ES: added tests for EvaluatedCaseElimination

Author: Anabra

grin/test/Transformations/ExtendedSyntax/Optimising/EvaluatedCaseEliminationSpec.hs

@@ -1,12 +1,12 @@
 {-# LANGUAGE OverloadedStrings, QuasiQuotes, ViewPatterns #-}
 module Transformations.ExtendedSyntax.Optimising.EvaluatedCaseEliminationSpec where
 
-import Transformations.Optimising.EvaluatedCaseElimination
+import Transformations.ExtendedSyntax.Optimising.EvaluatedCaseElimination
 
 import Test.Hspec
-import Grin.TH
-import Test.Test hiding (newVar)
-import Test.Assertions
+import Grin.ExtendedSyntax.TH
+import Test.ExtendedSyntax.New.Test hiding (newVar)
+import Test.ExtendedSyntax.Assertions
 
 
 runTests :: IO ()
@@ -18,8 +18,8 @@ spec = do
     it "Figure 4.22" $ do
       let before = [expr|
           case v of
-            (CLeft l)  -> pure v
-            (CRight r) -> pure v
+            (CLeft l)  @ alt1 -> pure v
+            (CRight r) @ alt2 -> pure v
         |]
       let after = [expr|
           pure v
@@ -29,8 +29,8 @@ spec = do
     it "default case" $ do
       let before = [expr|
           case v of
-            (CLeft l)   -> pure v
-            #default    -> pure v
+            (CLeft l) @ alt1 -> pure v
+            #default  @ alt2 -> pure v
         |]
       let after = [expr|
           pure v