Merge pull request #3672 from unisonweb/topic/ci-unit-tests

Fix CI to run some (previously skipped) unit tests in unison-parser-typechecker

parser-typechecker/tests/Unison/Test/UnisonSources.hs

@@ -70,8 +70,8 @@ test = do
         ]
 
 shouldPassPath, shouldFailPath :: String
-shouldPassPath = "unison-src/tests"
-shouldFailPath = "unison-src/errors"
+shouldPassPath = "../unison-src/tests"
+shouldFailPath = "../unison-src/errors"
 
 shouldPassNow :: IO [FilePath]
 shouldPassNow = find always (extension ==? ".u") shouldPassPath

unison-src/tests/methodical/parens.u

@@ -15,7 +15,8 @@ ex3 = '(let
 ex4 = '(
   let
   use List ++
-  [1] ++ [3]; [4]
+  _ = [1] ++ [3]
+  [4]
 )
 
 ex5 = '(

unison-src/tests/methodical/scopedtypevars.u

@@ -9,7 +9,7 @@ ex2 : x -> y -> x
 ex2 a b =
   id : ∀ x . x -> x -- doesn't refer the variable in outer scope
   id x = x
-  id 42
+  _ = id 42
   id a
 
 merge : (a -> a -> Boolean) -> [a] -> [a] -> [a]

unison-src/tests/methodical/semis.u

@@ -1,12 +1,23 @@
 
 -- explicit semicolons allowed inside the block parser
 -- no need for a space either before or after
-x = 0; 1
-y = 0;1
-z = x;y
-(**) = x ; y
-a = (**);(**);z
-p = 1;-- comments are okay after a semi
+x = 
+  _ = 0;
+  1
+y = 
+  _ = 0;
+  1
+z = 
+  _ = x;
+  y
+(**) = 
+  _ = x ; 
+  y
+a = 
+  a1 = (**);
+  a2 = (**);
+  z
+p = _ = 1;-- comments are okay after a semi
     1 -- and you can put a semi between lines,
       -- even if a virtual semi would have been emitted
 

unison-src/tests/stream.u

@@ -66,5 +66,5 @@ fromSeq a =
 
 -- run two thunks in sequence
 forceBoth a b =
-  !a
+  _ = !a
   !b