action

KonjacSource · Sep 6, 2024 · 3e73f59 · 3e73f59
1 parent 9c790bb
commit 3e73f59
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -18,7 +18,7 @@ jobs:
     - uses: actions/checkout@v4
     - uses: actions/setup-haskell@v1
       with:
-        ghc-version: '8.10.3'
+        ghc-version: '9.6.4'
         cabal-version: '3.2'
 
     - name: Cache

diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 .stack-work/
+dist-newstyle/
 *~
diff --git a/Example.shitt b/Example.shitt
@@ -64,8 +64,6 @@ fun addComm (x y : N) : Id (add x y) (add y x) where
 fun nomatchTest (n : N) (_: Id (succ (succ n)) (succ n)) : N where 
 | n k !@ k
 
---- 
-
 data Imf {A B : U} (f : A -> B) : (_ : B) -> U where 
 | imf : (x : A) -> ... (f x) 
 

diff --git a/src/ShiTT/Parser.hs b/src/ShiTT/Parser.hs
@@ -13,7 +13,6 @@ import Control.Monad.Reader
 
 import qualified ShiTT.Decl as D
 import ShiTT.Decl (Pattern(PVar, PCon), Rhs(Rhs, NoMatchFor))
-
 import ShiTT.Context
 import ShiTT.Syntax
 import Data.Char