Rename agda2hs.agda-lib to base.agda-lib

Author: HeinrichApfelmus

.github/workflows/ci.yml

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

.github/workflows/nix-ci.yml

@@ -8,7 +8,7 @@ on:
       - 'lib/**'
       - 'src/**'
       - 'test/**'
-      - 'lib/agda2hs/agda2hs.agda-lib'
+      - 'lib/base/base.agda-lib'
       - 'agda2hs.cabal'
       - 'cabal.project'
       - 'Makefile'
@@ -24,12 +24,12 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        derivation: [agda2hs, agda2hs-lib]
+        derivation: [agda2hs, base-lib]
         include:
           - pretty: "Compile agda2hs"
             derivation: agda2hs
           - pretty: "Typecheck with Agda"
-            derivation: agda2hs-lib
+            derivation: base-lib
     steps:
     - uses: actions/checkout@v3
     - uses: cachix/install-nix-action@v22

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 --include-path lib/agda2hs lib/agda2hs/Haskell/Prelude.agda
+	cabal run agda2hs -- --html --include-path lib/base lib/base/Haskell/Prelude.agda
 	cp html/Haskell.Prelude.html html/index.html
 
 test/agda2hs : $(FILES)

agda2hs.cabal

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

docs/source/introduction.md

@@ -0,0 +1,8 @@
+-- This library
+-- * mirrors the Haskell `base` package
+-- * is intertwined with `agda2hs`
+
+name: base
+depend:
+include: .
+flags: -W noUnsupportedIndexedMatch --erasure

lib/agda2hs/agda2hs.agda-lib

@@ -5,19 +5,19 @@
 let
   lib = import ./lib.nix { inherit pkgs; };
   version = "1.3";
-  agdalib = pkgs.agdaPackages.mkDerivation {
-    pname = "agda2hs";
+  base-lib = pkgs.agdaPackages.mkDerivation {
+    pname = "base";
     meta = { };
     version = version;
     preBuild = ''
       echo "{-# OPTIONS --sized-types #-}" > Everything.agda
       echo "module Everything where" >> Everything.agda
       find . -name '*.agda' ! -name 'Everything.agda' | sed -e 's/.\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda
     '';
-    src = ../lib/agda2hs;
+    src = ../lib/base;
   };
 in
 {
   inherit (lib) agda2hs;
-  agda2hs-lib = agdalib;
+  base-lib = base-lib;
 }

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

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