Move agda2hs.agda-lib into lib directory

Author: HeinrichApfelmus

.github/workflows/ci.yml

@@ -8,7 +8,7 @@ on:
       - 'lib/**'
       - 'src/**'
       - 'test/**'
-      - 'agda2hs.agda-lib'
+      - 'lib/agda2hs/agda2hs.agda-lib'
       - 'agda2hs.cabal'
       - 'cabal.project'
       - 'Makefile'

.github/workflows/nix-ci.yml

@@ -8,7 +8,7 @@ on:
       - 'lib/**'
       - 'src/**'
       - 'test/**'
-      - 'agda2hs.agda-lib'
+      - 'lib/agda2hs/agda2hs.agda-lib'
       - 'agda2hs.cabal'
       - 'cabal.project'
       - 'Makefile'

Makefile

@@ -11,7 +11,7 @@ repl :
 	cabal repl # e.g. `:set args -itest -otest/build test/AllTests.agda ... main ... :r ... main`
 
 libHtml :
-	cabal run agda2hs -- --html lib/Haskell/Prelude.agda
+	cabal run agda2hs -- --html --include-path lib/agda2hs lib/agda2hs/Haskell/Prelude.agda
 	cp html/Haskell.Prelude.html html/index.html
 
 test/agda2hs : $(FILES)

agda2hs.cabal

@@ -18,8 +18,9 @@ description:
 extra-doc-files:    CHANGELOG.md
                     README.md
 
-data-files: agda2hs.agda-lib
-            lib/**/*.agda
+data-files:
+    lib/agda2hs/agda2hs.agda-lib
+    lib/agda2hs/**/*.agda
 
 source-repository head
   type:     git

docs/source/introduction.md

@@ -1,4 +1,4 @@
 name: agda2hs
 depend:
-include: lib
+include: .
 flags: -W noUnsupportedIndexedMatch --erasure

lib/Haskell/Control/Exception.agda renamed to lib/agda2hs/Haskell/Control/Exception.agda

@@ -12,9 +12,9 @@ let
     preBuild = ''
       echo "{-# OPTIONS --sized-types #-}" > Everything.agda
       echo "module Everything where" >> Everything.agda
-      find lib -name '*.agda' | sed -e 's/lib\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda
+      find . -name '*.agda' ! -name 'Everything.agda' | sed -e 's/.\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda
     '';
-    src = ../.;
+    src = ../lib/agda2hs;
   };
 in
 {

lib/Haskell/Control/Monad.agda renamed to lib/agda2hs/Haskell/Control/Monad.agda

@@ -1,4 +1,4 @@
 name: agda2hs-test
 depend:
-include: . ../lib
+include: . ../lib/agda2hs/
 flags: --sized-types --erasure