agda2hs build fixes

jespercockx · Jan 7, 2025 · 46cb2ca · 46cb2ca
1 parent f8da11b
commit 46cb2ca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -6,7 +6,7 @@ LIBRARIES =
 
 build: cabal-build
 
-alllib: lib lib/Scope.hs lib/Scope/All.hs lib/Scope/Core.hs lib/Scope/Diff.hs lib/Scope/In.hs lib/Scope/Split.hs lib/Scope/Sub.hs
+alllib: lib lib/Scope.hs lib/Scope/All.hs lib/Scope/Core.hs lib/Scope/Diff.hs lib/Scope/In.hs lib/Scope/Split.hs lib/Scope/Sub.hs lib/Scope/Cut.hs
 
 # alllib: lib lib/*.hs
 

diff --git a/src/Scope/In.agda b/src/Scope/In.agda
@@ -21,7 +21,7 @@ private variable
 data Index : Set where
   Zero : Index
   Suc : Index → Index
-{-# COMPILE AGDA2HS Index #-}
+{-# COMPILE AGDA2HS Index deriving Show #-}
 
 
 data IsNth (@0 x : name) : @0 Scope name → Index → Set where