Rename AQL stuff in tests to CQL. #146

statebox · Aug 5, 2019 · bbca707 · bbca707
1 parent c7257bf
commit bbca707
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/examples/Petri.aql → examples/Petri.cql b/examples/Petri.aql → examples/Petri.cql
diff --git a/test/CQLSpec.hs b/test/CQLSpec.hs
@@ -66,12 +66,12 @@ spec = do
     fileContent <- liftIO $ readFile ("examples/Congruence.cql" :: String)
     parsed <- pure $ runProg fileContent
     isRight parsed `shouldBe` True
-  it "processes correctly the example file KB.aql" $ do
-    fileContent <- liftIO $ readFile ("examples/KB.aql" :: String)
+  it "processes correctly the example file KB.cql" $ do
+    fileContent <- liftIO $ readFile ("examples/KB.cql" :: String)
     parsed <- pure $ runProg fileContent
     isRight parsed `shouldBe` True
-  -- it "processes correctly the example file Petri.aql" $ do
-  --   fileContent <- liftIO $ readFile ("examples/Petri.aql" :: String)
+  -- it "processes correctly the example file Petri.cql" $ do
+  --   fileContent <- liftIO $ readFile ("examples/Petri.cql" :: String)
   --   parsed <- pure $ runProg fileContent
   --   isRight parsed `shouldBe` True
   -- print typesideDom