[ test ] Layout derivation tests differently

buzden · Sep 14, 2023 · ec1adec · ec1adec
1 parent 593c8bf
commit ec1adec
Show file tree

Hide file tree

Showing 1,342 changed files with 28 additions and 28 deletions.
diff --git a/.github/workflows/ci-deptycheck.yml b/.github/workflows/ci-deptycheck.yml
@@ -188,8 +188,8 @@ jobs:
         run: |
           (
           echo -n "derivation-test-sets=["
-          find tests/gen-derivation/ -type f,l -name run | \
-            grep -v '/_' | sed 's|^tests/gen-derivation/|"|' | sed 's|/[^/]*/run$|"|' | \
+          find tests/derivation/ -type f,l -name run | \
+            grep -v '/_' | sed 's|^tests/derivation/|"|' | sed 's|/[^/]*/run$|"|' | \
             sort | uniq | awk 'ORS=", "' | head -c -2
           echo "]"
           ) >> "$GITHUB_OUTPUT"
@@ -216,7 +216,7 @@ jobs:
       - name: Untar the `pack` dir
         run: tar -xvf "${{ env.pack_dir_file }}" --one-top-level=/ --touch
 
-      - run: pack test deptycheck "gen-derivation/${{matrix.test_set}}"
+      - run: pack test deptycheck "derivation/${{matrix.test_set}}"
 
   #################
   # Test examples #

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -83,26 +83,26 @@ deptycheck:test:derive:
       - "*"
       - src/**/*
       - tests/*
-      - tests/gen-derivation/**/*
+      - tests/derivation/**/*
   parallel:
     matrix:
       - test_set:
         - inputvalidation/
-        - up-to-renaming-ttimp-eq/
-        - canonicsig/
-        - cons-analysis/
-        - derivation/infra/
-        - arg-deps/
-        - derivation/least-effort/print/adt
-        - derivation/least-effort/print/gadt
-        - derivation/least-effort/print/regression
-        - derivation/least-effort/run/adt
-        - derivation/least-effort/run/gadt
-        - derivation/least-effort/run/regression
-        - derivation/core/
-        - derivation/distribution/
+        - infra/
+        - utils/up-to-renaming-ttimp-eq/
+        - utils/canonicsig/
+        - utils/cons-analysis/
+        - utils/arg-deps/
+        - least-effort/print/adt
+        - least-effort/print/gadt
+        - least-effort/print/regression
+        - least-effort/run/adt
+        - least-effort/run/gadt
+        - least-effort/run/regression
+        - core/
+        - distribution/
   script:
-    - NUM_THREADS=2 pack test deptycheck gen-derivation/"$test_set"
+    - NUM_THREADS=2 pack test deptycheck derivation/"$test_set"
 
 pil:build:
   stage: pil:build

diff --git a/...on/derivation/_common/AlternativeCore.idr → tests/derivation/_common/AlternativeCore.idr b/...on/derivation/_common/AlternativeCore.idr → tests/derivation/_common/AlternativeCore.idr
diff --git a/...on/derivation/_common/PrintDerivation.idr → tests/derivation/_common/PrintDerivation.idr b/...on/derivation/_common/PrintDerivation.idr → tests/derivation/_common/PrintDerivation.idr
diff --git a/...tion/derivation/_common/RunDerivedGen.idr → tests/derivation/_common/RunDerivedGen.idr b/...tion/derivation/_common/RunDerivedGen.idr → tests/derivation/_common/RunDerivedGen.idr
diff --git a/...derivation/derivation/_common/derive.ipkg → tests/derivation/_common/derive.ipkg b/...derivation/derivation/_common/derive.ipkg → tests/derivation/_common/derive.ipkg
diff --git a/tests/gen-derivation/derivation/_common/run → tests/derivation/_common/run b/tests/gen-derivation/derivation/_common/run → tests/derivation/_common/run
diff --git a/tests/gen-derivation/derivation/core/_common → tests/derivation/core/_common b/tests/gen-derivation/derivation/core/_common → tests/derivation/core/_common
diff --git a/...core/norec nodep noext 001/DerivedGen.idr → ...core/norec nodep noext 001/DerivedGen.idr b/...core/norec nodep noext 001/DerivedGen.idr → ...core/norec nodep noext 001/DerivedGen.idr
diff --git a/...e/norec nodep noext 001/RunDerivedGen.idr → ...e/norec nodep noext 001/RunDerivedGen.idr b/...e/norec nodep noext 001/RunDerivedGen.idr → ...e/norec nodep noext 001/RunDerivedGen.idr
diff --git a/...on/core/norec nodep noext 001/derive.ipkg → ...on/core/norec nodep noext 001/derive.ipkg b/...on/core/norec nodep noext 001/derive.ipkg → ...on/core/norec nodep noext 001/derive.ipkg
diff --git a/...ation/core/norec nodep noext 001/expected → ...ation/core/norec nodep noext 001/expected b/...ation/core/norec nodep noext 001/expected → ...ation/core/norec nodep noext 001/expected
diff --git a/...n-derivation/arg-deps/deps-001-simple/run → ...derivation/core/norec nodep noext 001/run b/...n-derivation/arg-deps/deps-001-simple/run → ...derivation/core/norec nodep noext 001/run
diff --git a/...core/norec nodep noext 002/DerivedGen.idr → ...core/norec nodep noext 002/DerivedGen.idr b/...core/norec nodep noext 002/DerivedGen.idr → ...core/norec nodep noext 002/DerivedGen.idr
diff --git a/...e/norec nodep noext 002/RunDerivedGen.idr → ...e/norec nodep noext 002/RunDerivedGen.idr b/...e/norec nodep noext 002/RunDerivedGen.idr → ...e/norec nodep noext 002/RunDerivedGen.idr
diff --git a/...on/core/norec nodep noext 002/derive.ipkg → ...on/core/norec nodep noext 002/derive.ipkg b/...on/core/norec nodep noext 002/derive.ipkg → ...on/core/norec nodep noext 002/derive.ipkg
diff --git a/...ation/core/norec nodep noext 002/expected → ...ation/core/norec nodep noext 002/expected b/...ation/core/norec nodep noext 002/expected → ...ation/core/norec nodep noext 002/expected
diff --git a/...n/arg-deps/deps-002-longer-transitive/run → ...derivation/core/norec nodep noext 002/run b/...n/arg-deps/deps-002-longer-transitive/run → ...derivation/core/norec nodep noext 002/run
diff --git a/.../norec nodep noext 003-neg/DerivedGen.idr → .../norec nodep noext 003-neg/DerivedGen.idr b/.../norec nodep noext 003-neg/DerivedGen.idr → .../norec nodep noext 003-neg/DerivedGen.idr
diff --git a/...rec nodep noext 003-neg/RunDerivedGen.idr → ...rec nodep noext 003-neg/RunDerivedGen.idr b/...rec nodep noext 003-neg/RunDerivedGen.idr → ...rec nodep noext 003-neg/RunDerivedGen.idr
diff --git a/...ore/norec nodep noext 003-neg/derive.ipkg → ...ore/norec nodep noext 003-neg/derive.ipkg b/...ore/norec nodep noext 003-neg/derive.ipkg → ...ore/norec nodep noext 003-neg/derive.ipkg
diff --git a/...n/core/norec nodep noext 003-neg/expected → ...n/core/norec nodep noext 003-neg/expected b/...n/core/norec nodep noext 003-neg/expected → ...n/core/norec nodep noext 003-neg/expected
diff --git a/.../gen-derivation/canonicsig/dep-params/run → ...vation/core/norec nodep noext 003-neg/run b/.../gen-derivation/canonicsig/dep-params/run → ...vation/core/norec nodep noext 003-neg/run
diff --git a/.../norec nodep noext 004-neg/DerivedGen.idr → .../norec nodep noext 004-neg/DerivedGen.idr b/.../norec nodep noext 004-neg/DerivedGen.idr → .../norec nodep noext 004-neg/DerivedGen.idr
diff --git a/...rec nodep noext 004-neg/RunDerivedGen.idr → ...rec nodep noext 004-neg/RunDerivedGen.idr b/...rec nodep noext 004-neg/RunDerivedGen.idr → ...rec nodep noext 004-neg/RunDerivedGen.idr
diff --git a/...ore/norec nodep noext 004-neg/derive.ipkg → ...ore/norec nodep noext 004-neg/derive.ipkg b/...ore/norec nodep noext 004-neg/derive.ipkg → ...ore/norec nodep noext 004-neg/derive.ipkg
diff --git a/...n/core/norec nodep noext 004-neg/expected → ...n/core/norec nodep noext 004-neg/expected b/...n/core/norec nodep noext 004-neg/expected → ...n/core/norec nodep noext 004-neg/expected
diff --git a/...ivation/canonicsig/nondep-expl-params/run → ...vation/core/norec nodep noext 004-neg/run b/...ivation/canonicsig/nondep-expl-params/run → ...vation/core/norec nodep noext 004-neg/run
diff --git a/.../norec nodep noext 005-neg/DerivedGen.idr → .../norec nodep noext 005-neg/DerivedGen.idr b/.../norec nodep noext 005-neg/DerivedGen.idr → .../norec nodep noext 005-neg/DerivedGen.idr
diff --git a/...rec nodep noext 005-neg/RunDerivedGen.idr → ...rec nodep noext 005-neg/RunDerivedGen.idr b/...rec nodep noext 005-neg/RunDerivedGen.idr → ...rec nodep noext 005-neg/RunDerivedGen.idr
diff --git a/...ore/norec nodep noext 005-neg/derive.ipkg → ...ore/norec nodep noext 005-neg/derive.ipkg b/...ore/norec nodep noext 005-neg/derive.ipkg → ...ore/norec nodep noext 005-neg/derive.ipkg
diff --git a/...n/core/norec nodep noext 005-neg/expected → ...n/core/norec nodep noext 005-neg/expected b/...n/core/norec nodep noext 005-neg/expected → ...n/core/norec nodep noext 005-neg/expected
diff --git a/...vation/canonicsig/nondep-mixed-params/run → ...vation/core/norec nodep noext 005-neg/run b/...vation/canonicsig/nondep-mixed-params/run → ...vation/core/norec nodep noext 005-neg/run
diff --git a/...core/norec nodep w_ext 001/DerivedGen.idr → ...core/norec nodep w_ext 001/DerivedGen.idr b/...core/norec nodep w_ext 001/DerivedGen.idr → ...core/norec nodep w_ext 001/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 001/RunDerivedGen.idr → ...e/norec nodep w_ext 001/RunDerivedGen.idr b/...e/norec nodep w_ext 001/RunDerivedGen.idr → ...e/norec nodep w_ext 001/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 001/derive.ipkg → ...on/core/norec nodep w_ext 001/derive.ipkg b/...on/core/norec nodep w_ext 001/derive.ipkg → ...on/core/norec nodep w_ext 001/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 001/expected → ...ation/core/norec nodep w_ext 001/expected b/...ation/core/norec nodep w_ext 001/expected → ...ation/core/norec nodep w_ext 001/expected
diff --git a/tests/gen-derivation/canonicsig/trivial/run → ...derivation/core/norec nodep w_ext 001/run b/tests/gen-derivation/canonicsig/trivial/run → ...derivation/core/norec nodep w_ext 001/run
diff --git a/...core/norec nodep w_ext 002/DerivedGen.idr → ...core/norec nodep w_ext 002/DerivedGen.idr b/...core/norec nodep w_ext 002/DerivedGen.idr → ...core/norec nodep w_ext 002/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 002/RunDerivedGen.idr → ...e/norec nodep w_ext 002/RunDerivedGen.idr b/...e/norec nodep w_ext 002/RunDerivedGen.idr → ...e/norec nodep w_ext 002/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 002/derive.ipkg → ...on/core/norec nodep w_ext 002/derive.ipkg b/...on/core/norec nodep w_ext 002/derive.ipkg → ...on/core/norec nodep w_ext 002/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 002/expected → ...ation/core/norec nodep w_ext 002/expected b/...ation/core/norec nodep w_ext 002/expected → ...ation/core/norec nodep w_ext 002/expected
diff --git a/...derivation/core/norec nodep noext 001/run → ...derivation/core/norec nodep w_ext 002/run b/...derivation/core/norec nodep noext 001/run → ...derivation/core/norec nodep w_ext 002/run
diff --git a/...core/norec nodep w_ext 003/DerivedGen.idr → ...core/norec nodep w_ext 003/DerivedGen.idr b/...core/norec nodep w_ext 003/DerivedGen.idr → ...core/norec nodep w_ext 003/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 003/RunDerivedGen.idr → ...e/norec nodep w_ext 003/RunDerivedGen.idr b/...e/norec nodep w_ext 003/RunDerivedGen.idr → ...e/norec nodep w_ext 003/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 003/derive.ipkg → ...on/core/norec nodep w_ext 003/derive.ipkg b/...on/core/norec nodep w_ext 003/derive.ipkg → ...on/core/norec nodep w_ext 003/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 003/expected → ...ation/core/norec nodep w_ext 003/expected b/...ation/core/norec nodep w_ext 003/expected → ...ation/core/norec nodep w_ext 003/expected
diff --git a/...derivation/core/norec nodep noext 002/run → ...derivation/core/norec nodep w_ext 003/run b/...derivation/core/norec nodep noext 002/run → ...derivation/core/norec nodep w_ext 003/run
diff --git a/...core/norec nodep w_ext 004/DerivedGen.idr → ...core/norec nodep w_ext 004/DerivedGen.idr b/...core/norec nodep w_ext 004/DerivedGen.idr → ...core/norec nodep w_ext 004/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 004/RunDerivedGen.idr → ...e/norec nodep w_ext 004/RunDerivedGen.idr b/...e/norec nodep w_ext 004/RunDerivedGen.idr → ...e/norec nodep w_ext 004/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 004/derive.ipkg → ...on/core/norec nodep w_ext 004/derive.ipkg b/...on/core/norec nodep w_ext 004/derive.ipkg → ...on/core/norec nodep w_ext 004/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 004/expected → ...ation/core/norec nodep w_ext 004/expected b/...ation/core/norec nodep w_ext 004/expected → ...ation/core/norec nodep w_ext 004/expected
diff --git a/...vation/core/norec nodep noext 003-neg/run → ...derivation/core/norec nodep w_ext 004/run b/...vation/core/norec nodep noext 003-neg/run → ...derivation/core/norec nodep w_ext 004/run
diff --git a/...core/norec nodep w_ext 005/DerivedGen.idr → ...core/norec nodep w_ext 005/DerivedGen.idr b/...core/norec nodep w_ext 005/DerivedGen.idr → ...core/norec nodep w_ext 005/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 005/RunDerivedGen.idr → ...e/norec nodep w_ext 005/RunDerivedGen.idr b/...e/norec nodep w_ext 005/RunDerivedGen.idr → ...e/norec nodep w_ext 005/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 005/derive.ipkg → ...on/core/norec nodep w_ext 005/derive.ipkg b/...on/core/norec nodep w_ext 005/derive.ipkg → ...on/core/norec nodep w_ext 005/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 005/expected → ...ation/core/norec nodep w_ext 005/expected b/...ation/core/norec nodep w_ext 005/expected → ...ation/core/norec nodep w_ext 005/expected
diff --git a/...vation/core/norec nodep noext 004-neg/run → ...derivation/core/norec nodep w_ext 005/run b/...vation/core/norec nodep noext 004-neg/run → ...derivation/core/norec nodep w_ext 005/run
diff --git a/...core/norec nodep w_ext 006/DerivedGen.idr → ...core/norec nodep w_ext 006/DerivedGen.idr b/...core/norec nodep w_ext 006/DerivedGen.idr → ...core/norec nodep w_ext 006/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 006/RunDerivedGen.idr → ...e/norec nodep w_ext 006/RunDerivedGen.idr b/...e/norec nodep w_ext 006/RunDerivedGen.idr → ...e/norec nodep w_ext 006/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 006/derive.ipkg → ...on/core/norec nodep w_ext 006/derive.ipkg b/...on/core/norec nodep w_ext 006/derive.ipkg → ...on/core/norec nodep w_ext 006/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 006/expected → ...ation/core/norec nodep w_ext 006/expected b/...ation/core/norec nodep w_ext 006/expected → ...ation/core/norec nodep w_ext 006/expected
diff --git a/...vation/core/norec nodep noext 005-neg/run → ...derivation/core/norec nodep w_ext 006/run b/...vation/core/norec nodep noext 005-neg/run → ...derivation/core/norec nodep w_ext 006/run
diff --git a/...core/norec nodep w_ext 007/DerivedGen.idr → ...core/norec nodep w_ext 007/DerivedGen.idr b/...core/norec nodep w_ext 007/DerivedGen.idr → ...core/norec nodep w_ext 007/DerivedGen.idr
diff --git a/...e/norec nodep w_ext 007/RunDerivedGen.idr → ...e/norec nodep w_ext 007/RunDerivedGen.idr b/...e/norec nodep w_ext 007/RunDerivedGen.idr → ...e/norec nodep w_ext 007/RunDerivedGen.idr
diff --git a/...on/core/norec nodep w_ext 007/derive.ipkg → ...on/core/norec nodep w_ext 007/derive.ipkg b/...on/core/norec nodep w_ext 007/derive.ipkg → ...on/core/norec nodep w_ext 007/derive.ipkg
diff --git a/...ation/core/norec nodep w_ext 007/expected → ...ation/core/norec nodep w_ext 007/expected b/...ation/core/norec nodep w_ext 007/expected → ...ation/core/norec nodep w_ext 007/expected
diff --git a/...derivation/core/norec nodep w_ext 001/run → ...derivation/core/norec nodep w_ext 007/run b/...derivation/core/norec nodep w_ext 001/run → ...derivation/core/norec nodep w_ext 007/run
diff --git a/...e/norec part noext 001-neg/DerivedGen.idr → ...e/norec part noext 001-neg/DerivedGen.idr b/...e/norec part noext 001-neg/DerivedGen.idr → ...e/norec part noext 001-neg/DerivedGen.idr
diff --git a/...orec part noext 001-neg/RunDerivedGen.idr → ...orec part noext 001-neg/RunDerivedGen.idr b/...orec part noext 001-neg/RunDerivedGen.idr → ...orec part noext 001-neg/RunDerivedGen.idr
diff --git a/...core/norec part noext 001-neg/derive.ipkg → ...core/norec part noext 001-neg/derive.ipkg b/...core/norec part noext 001-neg/derive.ipkg → ...core/norec part noext 001-neg/derive.ipkg
diff --git a/...on/core/norec part noext 001-neg/expected → ...on/core/norec part noext 001-neg/expected b/...on/core/norec part noext 001-neg/expected → ...on/core/norec part noext 001-neg/expected
diff --git a/...derivation/core/norec nodep w_ext 002/run → ...ivation/core/norec part noext 001-neg/run b/...derivation/core/norec nodep w_ext 002/run → ...ivation/core/norec part noext 001-neg/run
diff --git a/...e/norec part noext 002-neg/DerivedGen.idr → ...e/norec part noext 002-neg/DerivedGen.idr b/...e/norec part noext 002-neg/DerivedGen.idr → ...e/norec part noext 002-neg/DerivedGen.idr
diff --git a/...orec part noext 002-neg/RunDerivedGen.idr → ...orec part noext 002-neg/RunDerivedGen.idr b/...orec part noext 002-neg/RunDerivedGen.idr → ...orec part noext 002-neg/RunDerivedGen.idr
diff --git a/...core/norec part noext 002-neg/derive.ipkg → ...core/norec part noext 002-neg/derive.ipkg b/...core/norec part noext 002-neg/derive.ipkg → ...core/norec part noext 002-neg/derive.ipkg
diff --git a/...on/core/norec part noext 002-neg/expected → ...on/core/norec part noext 002-neg/expected b/...on/core/norec part noext 002-neg/expected → ...on/core/norec part noext 002-neg/expected
diff --git a/...derivation/core/norec nodep w_ext 003/run → ...ivation/core/norec part noext 002-neg/run b/...derivation/core/norec nodep w_ext 003/run → ...ivation/core/norec part noext 002-neg/run
diff --git a/.../core/norec part noext 003/DerivedGen.idr → .../core/norec part noext 003/DerivedGen.idr b/.../core/norec part noext 003/DerivedGen.idr → .../core/norec part noext 003/DerivedGen.idr
diff --git a/...re/norec part noext 003/RunDerivedGen.idr → ...re/norec part noext 003/RunDerivedGen.idr b/...re/norec part noext 003/RunDerivedGen.idr → ...re/norec part noext 003/RunDerivedGen.idr
diff --git a/...ion/core/norec part noext 003/derive.ipkg → ...ion/core/norec part noext 003/derive.ipkg b/...ion/core/norec part noext 003/derive.ipkg → ...ion/core/norec part noext 003/derive.ipkg
diff --git a/...vation/core/norec part noext 003/expected → ...vation/core/norec part noext 003/expected b/...vation/core/norec part noext 003/expected → ...vation/core/norec part noext 003/expected
diff --git a/...derivation/core/norec nodep w_ext 004/run → .../derivation/core/norec part noext 003/run b/...derivation/core/norec nodep w_ext 004/run → .../derivation/core/norec part noext 003/run
diff --git a/.../core/norec part noext 004/DerivedGen.idr → .../core/norec part noext 004/DerivedGen.idr b/.../core/norec part noext 004/DerivedGen.idr → .../core/norec part noext 004/DerivedGen.idr
diff --git a/...re/norec part noext 004/RunDerivedGen.idr → ...re/norec part noext 004/RunDerivedGen.idr b/...re/norec part noext 004/RunDerivedGen.idr → ...re/norec part noext 004/RunDerivedGen.idr
diff --git a/...ion/core/norec part noext 004/derive.ipkg → ...ion/core/norec part noext 004/derive.ipkg b/...ion/core/norec part noext 004/derive.ipkg → ...ion/core/norec part noext 004/derive.ipkg
diff --git a/...vation/core/norec part noext 004/expected → ...vation/core/norec part noext 004/expected b/...vation/core/norec part noext 004/expected → ...vation/core/norec part noext 004/expected
diff --git a/...derivation/core/norec nodep w_ext 005/run → .../derivation/core/norec part noext 004/run b/...derivation/core/norec nodep w_ext 005/run → .../derivation/core/norec part noext 004/run
diff --git a/.../core/norec part noext 005/DerivedGen.idr → .../core/norec part noext 005/DerivedGen.idr b/.../core/norec part noext 005/DerivedGen.idr → .../core/norec part noext 005/DerivedGen.idr
diff --git a/...re/norec part noext 005/RunDerivedGen.idr → ...re/norec part noext 005/RunDerivedGen.idr b/...re/norec part noext 005/RunDerivedGen.idr → ...re/norec part noext 005/RunDerivedGen.idr
diff --git a/...ion/core/norec part noext 005/derive.ipkg → ...ion/core/norec part noext 005/derive.ipkg b/...ion/core/norec part noext 005/derive.ipkg → ...ion/core/norec part noext 005/derive.ipkg
diff --git a/...vation/core/norec part noext 005/expected → ...vation/core/norec part noext 005/expected b/...vation/core/norec part noext 005/expected → ...vation/core/norec part noext 005/expected
diff --git a/...derivation/core/norec nodep w_ext 006/run → .../derivation/core/norec part noext 005/run b/...derivation/core/norec nodep w_ext 006/run → .../derivation/core/norec part noext 005/run
diff --git a/.../core/norec part w_ext 001/DerivedGen.idr → .../core/norec part w_ext 001/DerivedGen.idr b/.../core/norec part w_ext 001/DerivedGen.idr → .../core/norec part w_ext 001/DerivedGen.idr
diff --git a/...re/norec part w_ext 001/RunDerivedGen.idr → ...re/norec part w_ext 001/RunDerivedGen.idr b/...re/norec part w_ext 001/RunDerivedGen.idr → ...re/norec part w_ext 001/RunDerivedGen.idr
diff --git a/...ion/core/norec part w_ext 001/derive.ipkg → ...ion/core/norec part w_ext 001/derive.ipkg b/...ion/core/norec part w_ext 001/derive.ipkg → ...ion/core/norec part w_ext 001/derive.ipkg
diff --git a/...vation/core/norec part w_ext 001/expected → ...vation/core/norec part w_ext 001/expected b/...vation/core/norec part w_ext 001/expected → ...vation/core/norec part w_ext 001/expected
diff --git a/...derivation/core/norec nodep w_ext 007/run → .../derivation/core/norec part w_ext 001/run b/...derivation/core/norec nodep w_ext 007/run → .../derivation/core/norec part w_ext 001/run
diff --git a/.../core/norec part w_ext 002/DerivedGen.idr → .../core/norec part w_ext 002/DerivedGen.idr b/.../core/norec part w_ext 002/DerivedGen.idr → .../core/norec part w_ext 002/DerivedGen.idr
diff --git a/...re/norec part w_ext 002/RunDerivedGen.idr → ...re/norec part w_ext 002/RunDerivedGen.idr b/...re/norec part w_ext 002/RunDerivedGen.idr → ...re/norec part w_ext 002/RunDerivedGen.idr
diff --git a/...ion/core/norec part w_ext 002/derive.ipkg → ...ion/core/norec part w_ext 002/derive.ipkg b/...ion/core/norec part w_ext 002/derive.ipkg → ...ion/core/norec part w_ext 002/derive.ipkg
diff --git a/...vation/core/norec part w_ext 002/expected → ...vation/core/norec part w_ext 002/expected b/...vation/core/norec part w_ext 002/expected → ...vation/core/norec part w_ext 002/expected
diff --git a/...ivation/core/norec part noext 001-neg/run → .../derivation/core/norec part w_ext 002/run b/...ivation/core/norec part noext 001-neg/run → .../derivation/core/norec part w_ext 002/run
diff --git a/.../core/norec part w_ext 003/DerivedGen.idr → .../core/norec part w_ext 003/DerivedGen.idr b/.../core/norec part w_ext 003/DerivedGen.idr → .../core/norec part w_ext 003/DerivedGen.idr
diff --git a/...re/norec part w_ext 003/RunDerivedGen.idr → ...re/norec part w_ext 003/RunDerivedGen.idr b/...re/norec part w_ext 003/RunDerivedGen.idr → ...re/norec part w_ext 003/RunDerivedGen.idr
diff --git a/...ion/core/norec part w_ext 003/derive.ipkg → ...ion/core/norec part w_ext 003/derive.ipkg b/...ion/core/norec part w_ext 003/derive.ipkg → ...ion/core/norec part w_ext 003/derive.ipkg
diff --git a/...vation/core/norec part w_ext 003/expected → ...vation/core/norec part w_ext 003/expected b/...vation/core/norec part w_ext 003/expected → ...vation/core/norec part w_ext 003/expected
diff --git a/...ivation/core/norec part noext 002-neg/run → .../derivation/core/norec part w_ext 003/run b/...ivation/core/norec part noext 002-neg/run → .../derivation/core/norec part w_ext 003/run
diff --git a/...e/norec part w_ext 004-neg/DerivedGen.idr → ...e/norec part w_ext 004-neg/DerivedGen.idr b/...e/norec part w_ext 004-neg/DerivedGen.idr → ...e/norec part w_ext 004-neg/DerivedGen.idr
diff --git a/...orec part w_ext 004-neg/RunDerivedGen.idr → ...orec part w_ext 004-neg/RunDerivedGen.idr b/...orec part w_ext 004-neg/RunDerivedGen.idr → ...orec part w_ext 004-neg/RunDerivedGen.idr
diff --git a/...core/norec part w_ext 004-neg/derive.ipkg → ...core/norec part w_ext 004-neg/derive.ipkg b/...core/norec part w_ext 004-neg/derive.ipkg → ...core/norec part w_ext 004-neg/derive.ipkg
diff --git a/...on/core/norec part w_ext 004-neg/expected → ...on/core/norec part w_ext 004-neg/expected b/...on/core/norec part w_ext 004-neg/expected → ...on/core/norec part w_ext 004-neg/expected
diff --git a/.../derivation/core/norec part noext 003/run → ...ivation/core/norec part w_ext 004-neg/run b/.../derivation/core/norec part noext 003/run → ...ivation/core/norec part w_ext 004-neg/run
diff --git a/...e/norec part w_ext 005-neg/DerivedGen.idr → ...e/norec part w_ext 005-neg/DerivedGen.idr b/...e/norec part w_ext 005-neg/DerivedGen.idr → ...e/norec part w_ext 005-neg/DerivedGen.idr
diff --git a/...orec part w_ext 005-neg/RunDerivedGen.idr → ...orec part w_ext 005-neg/RunDerivedGen.idr b/...orec part w_ext 005-neg/RunDerivedGen.idr → ...orec part w_ext 005-neg/RunDerivedGen.idr
diff --git a/...core/norec part w_ext 005-neg/derive.ipkg → ...core/norec part w_ext 005-neg/derive.ipkg b/...core/norec part w_ext 005-neg/derive.ipkg → ...core/norec part w_ext 005-neg/derive.ipkg
diff --git a/...on/core/norec part w_ext 005-neg/expected → ...on/core/norec part w_ext 005-neg/expected b/...on/core/norec part w_ext 005-neg/expected → ...on/core/norec part w_ext 005-neg/expected
diff --git a/.../derivation/core/norec part noext 004/run → ...ivation/core/norec part w_ext 005-neg/run b/.../derivation/core/norec part noext 004/run → ...ivation/core/norec part w_ext 005-neg/run
diff --git a/...e/norec part w_ext 006-neg/DerivedGen.idr → ...e/norec part w_ext 006-neg/DerivedGen.idr b/...e/norec part w_ext 006-neg/DerivedGen.idr → ...e/norec part w_ext 006-neg/DerivedGen.idr
diff --git a/...orec part w_ext 006-neg/RunDerivedGen.idr → ...orec part w_ext 006-neg/RunDerivedGen.idr b/...orec part w_ext 006-neg/RunDerivedGen.idr → ...orec part w_ext 006-neg/RunDerivedGen.idr
diff --git a/...core/norec part w_ext 006-neg/derive.ipkg → ...core/norec part w_ext 006-neg/derive.ipkg b/...core/norec part w_ext 006-neg/derive.ipkg → ...core/norec part w_ext 006-neg/derive.ipkg
diff --git a/...on/core/norec part w_ext 006-neg/expected → ...on/core/norec part w_ext 006-neg/expected b/...on/core/norec part w_ext 006-neg/expected → ...on/core/norec part w_ext 006-neg/expected
diff --git a/.../derivation/core/norec part noext 005/run → ...ivation/core/norec part w_ext 006-neg/run b/.../derivation/core/norec part noext 005/run → ...ivation/core/norec part w_ext 006-neg/run
diff --git a/...ec t-..->p. noext 001-shdw/DerivedGen.idr → ...ec t-..->p. noext 001-shdw/DerivedGen.idr b/...ec t-..->p. noext 001-shdw/DerivedGen.idr → ...ec t-..->p. noext 001-shdw/DerivedGen.idr
diff --git a/...t-..->p. noext 001-shdw/RunDerivedGen.idr → ...t-..->p. noext 001-shdw/RunDerivedGen.idr b/...t-..->p. noext 001-shdw/RunDerivedGen.idr → ...t-..->p. noext 001-shdw/RunDerivedGen.idr
diff --git a/...norec t-..->p. noext 001-shdw/derive.ipkg → ...norec t-..->p. noext 001-shdw/derive.ipkg b/...norec t-..->p. noext 001-shdw/derive.ipkg → ...norec t-..->p. noext 001-shdw/derive.ipkg
diff --git a/...re/norec t-..->p. noext 001-shdw/expected → ...re/norec t-..->p. noext 001-shdw/expected b/...re/norec t-..->p. noext 001-shdw/expected → ...re/norec t-..->p. noext 001-shdw/expected
diff --git a/.../derivation/core/norec part w_ext 001/run → ...on/core/norec t-..->p. noext 001-shdw/run b/.../derivation/core/norec part w_ext 001/run → ...on/core/norec t-..->p. noext 001-shdw/run
diff --git a/...e/norec t-..->p. noext 001/DerivedGen.idr → ...e/norec t-..->p. noext 001/DerivedGen.idr b/...e/norec t-..->p. noext 001/DerivedGen.idr → ...e/norec t-..->p. noext 001/DerivedGen.idr
diff --git a/...orec t-..->p. noext 001/RunDerivedGen.idr → ...orec t-..->p. noext 001/RunDerivedGen.idr b/...orec t-..->p. noext 001/RunDerivedGen.idr → ...orec t-..->p. noext 001/RunDerivedGen.idr
diff --git a/...core/norec t-..->p. noext 001/derive.ipkg → ...core/norec t-..->p. noext 001/derive.ipkg b/...core/norec t-..->p. noext 001/derive.ipkg → ...core/norec t-..->p. noext 001/derive.ipkg
diff --git a/...on/core/norec t-..->p. noext 001/expected → ...on/core/norec t-..->p. noext 001/expected b/...on/core/norec t-..->p. noext 001/expected → ...on/core/norec t-..->p. noext 001/expected
diff --git a/.../derivation/core/norec part w_ext 002/run → ...ivation/core/norec t-..->p. noext 001/run b/.../derivation/core/norec part w_ext 002/run → ...ivation/core/norec t-..->p. noext 001/run
diff --git a/...e/norec t-..->p. noext 002/DerivedGen.idr → ...e/norec t-..->p. noext 002/DerivedGen.idr b/...e/norec t-..->p. noext 002/DerivedGen.idr → ...e/norec t-..->p. noext 002/DerivedGen.idr
diff --git a/...orec t-..->p. noext 002/RunDerivedGen.idr → ...orec t-..->p. noext 002/RunDerivedGen.idr b/...orec t-..->p. noext 002/RunDerivedGen.idr → ...orec t-..->p. noext 002/RunDerivedGen.idr
diff --git a/...core/norec t-..->p. noext 002/derive.ipkg → ...core/norec t-..->p. noext 002/derive.ipkg b/...core/norec t-..->p. noext 002/derive.ipkg → ...core/norec t-..->p. noext 002/derive.ipkg
diff --git a/...on/core/norec t-..->p. noext 002/expected → ...on/core/norec t-..->p. noext 002/expected b/...on/core/norec t-..->p. noext 002/expected → ...on/core/norec t-..->p. noext 002/expected
diff --git a/.../derivation/core/norec part w_ext 003/run → ...ivation/core/norec t-..->p. noext 002/run b/.../derivation/core/norec part w_ext 003/run → ...ivation/core/norec t-..->p. noext 002/run
diff --git a/...e/norec t-p.->.. noext 001/DerivedGen.idr → ...e/norec t-p.->.. noext 001/DerivedGen.idr b/...e/norec t-p.->.. noext 001/DerivedGen.idr → ...e/norec t-p.->.. noext 001/DerivedGen.idr
diff --git a/...orec t-p.->.. noext 001/RunDerivedGen.idr → ...orec t-p.->.. noext 001/RunDerivedGen.idr b/...orec t-p.->.. noext 001/RunDerivedGen.idr → ...orec t-p.->.. noext 001/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. noext 001/derive.ipkg → ...core/norec t-p.->.. noext 001/derive.ipkg b/...core/norec t-p.->.. noext 001/derive.ipkg → ...core/norec t-p.->.. noext 001/derive.ipkg
diff --git a/...on/core/norec t-p.->.. noext 001/expected → ...on/core/norec t-p.->.. noext 001/expected b/...on/core/norec t-p.->.. noext 001/expected → ...on/core/norec t-p.->.. noext 001/expected
diff --git a/...ivation/core/norec part w_ext 004-neg/run → ...ivation/core/norec t-p.->.. noext 001/run b/...ivation/core/norec part w_ext 004-neg/run → ...ivation/core/norec t-p.->.. noext 001/run
diff --git a/...e/norec t-p.->.. noext 002/DerivedGen.idr → ...e/norec t-p.->.. noext 002/DerivedGen.idr b/...e/norec t-p.->.. noext 002/DerivedGen.idr → ...e/norec t-p.->.. noext 002/DerivedGen.idr
diff --git a/...orec t-p.->.. noext 002/RunDerivedGen.idr → ...orec t-p.->.. noext 002/RunDerivedGen.idr b/...orec t-p.->.. noext 002/RunDerivedGen.idr → ...orec t-p.->.. noext 002/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. noext 002/derive.ipkg → ...core/norec t-p.->.. noext 002/derive.ipkg b/...core/norec t-p.->.. noext 002/derive.ipkg → ...core/norec t-p.->.. noext 002/derive.ipkg
diff --git a/...on/core/norec t-p.->.. noext 002/expected → ...on/core/norec t-p.->.. noext 002/expected b/...on/core/norec t-p.->.. noext 002/expected → ...on/core/norec t-p.->.. noext 002/expected
diff --git a/...ivation/core/norec part w_ext 005-neg/run → ...ivation/core/norec t-p.->.. noext 002/run b/...ivation/core/norec part w_ext 005-neg/run → ...ivation/core/norec t-p.->.. noext 002/run
diff --git a/...e/norec t-p.->.. noext 003/DerivedGen.idr → ...e/norec t-p.->.. noext 003/DerivedGen.idr b/...e/norec t-p.->.. noext 003/DerivedGen.idr → ...e/norec t-p.->.. noext 003/DerivedGen.idr
diff --git a/...orec t-p.->.. noext 003/RunDerivedGen.idr → ...orec t-p.->.. noext 003/RunDerivedGen.idr b/...orec t-p.->.. noext 003/RunDerivedGen.idr → ...orec t-p.->.. noext 003/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. noext 003/derive.ipkg → ...core/norec t-p.->.. noext 003/derive.ipkg b/...core/norec t-p.->.. noext 003/derive.ipkg → ...core/norec t-p.->.. noext 003/derive.ipkg
diff --git a/...on/core/norec t-p.->.. noext 003/expected → ...on/core/norec t-p.->.. noext 003/expected b/...on/core/norec t-p.->.. noext 003/expected → ...on/core/norec t-p.->.. noext 003/expected
diff --git a/...ivation/core/norec part w_ext 006-neg/run → ...ivation/core/norec t-p.->.. noext 003/run b/...ivation/core/norec part w_ext 006-neg/run → ...ivation/core/norec t-p.->.. noext 003/run
diff --git a/...e/norec t-p.->.. w_ext 001/DerivedGen.idr → ...e/norec t-p.->.. w_ext 001/DerivedGen.idr b/...e/norec t-p.->.. w_ext 001/DerivedGen.idr → ...e/norec t-p.->.. w_ext 001/DerivedGen.idr
diff --git a/...orec t-p.->.. w_ext 001/RunDerivedGen.idr → ...orec t-p.->.. w_ext 001/RunDerivedGen.idr b/...orec t-p.->.. w_ext 001/RunDerivedGen.idr → ...orec t-p.->.. w_ext 001/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. w_ext 001/derive.ipkg → ...core/norec t-p.->.. w_ext 001/derive.ipkg b/...core/norec t-p.->.. w_ext 001/derive.ipkg → ...core/norec t-p.->.. w_ext 001/derive.ipkg
diff --git a/...on/core/norec t-p.->.. w_ext 001/expected → ...on/core/norec t-p.->.. w_ext 001/expected b/...on/core/norec t-p.->.. w_ext 001/expected → ...on/core/norec t-p.->.. w_ext 001/expected
diff --git a/...on/core/norec t-..->p. noext 001-shdw/run → ...ivation/core/norec t-p.->.. w_ext 001/run b/...on/core/norec t-..->p. noext 001-shdw/run → ...ivation/core/norec t-p.->.. w_ext 001/run
diff --git a/...e/norec t-p.->.. w_ext 002/DerivedGen.idr → ...e/norec t-p.->.. w_ext 002/DerivedGen.idr b/...e/norec t-p.->.. w_ext 002/DerivedGen.idr → ...e/norec t-p.->.. w_ext 002/DerivedGen.idr
diff --git a/...orec t-p.->.. w_ext 002/RunDerivedGen.idr → ...orec t-p.->.. w_ext 002/RunDerivedGen.idr b/...orec t-p.->.. w_ext 002/RunDerivedGen.idr → ...orec t-p.->.. w_ext 002/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. w_ext 002/derive.ipkg → ...core/norec t-p.->.. w_ext 002/derive.ipkg b/...core/norec t-p.->.. w_ext 002/derive.ipkg → ...core/norec t-p.->.. w_ext 002/derive.ipkg
diff --git a/...on/core/norec t-p.->.. w_ext 002/expected → ...on/core/norec t-p.->.. w_ext 002/expected b/...on/core/norec t-p.->.. w_ext 002/expected → ...on/core/norec t-p.->.. w_ext 002/expected
diff --git a/...ivation/core/norec t-..->p. noext 001/run → ...ivation/core/norec t-p.->.. w_ext 002/run b/...ivation/core/norec t-..->p. noext 001/run → ...ivation/core/norec t-p.->.. w_ext 002/run
diff --git a/...rec t-p.->.. w_ext 003-neg/DerivedGen.idr → ...rec t-p.->.. w_ext 003-neg/DerivedGen.idr b/...rec t-p.->.. w_ext 003-neg/DerivedGen.idr → ...rec t-p.->.. w_ext 003-neg/DerivedGen.idr
diff --git a/... t-p.->.. w_ext 003-neg/RunDerivedGen.idr → ... t-p.->.. w_ext 003-neg/RunDerivedGen.idr b/... t-p.->.. w_ext 003-neg/RunDerivedGen.idr → ... t-p.->.. w_ext 003-neg/RunDerivedGen.idr
diff --git a/.../norec t-p.->.. w_ext 003-neg/derive.ipkg → .../norec t-p.->.. w_ext 003-neg/derive.ipkg b/.../norec t-p.->.. w_ext 003-neg/derive.ipkg → .../norec t-p.->.. w_ext 003-neg/derive.ipkg
diff --git a/...ore/norec t-p.->.. w_ext 003-neg/expected → ...ore/norec t-p.->.. w_ext 003-neg/expected b/...ore/norec t-p.->.. w_ext 003-neg/expected → ...ore/norec t-p.->.. w_ext 003-neg/expected
diff --git a/...ivation/core/norec t-..->p. noext 002/run → ...ion/core/norec t-p.->.. w_ext 003-neg/run b/...ivation/core/norec t-..->p. noext 002/run → ...ion/core/norec t-p.->.. w_ext 003-neg/run
diff --git a/...rec t-p.->.. w_ext 004-neg/DerivedGen.idr → ...rec t-p.->.. w_ext 004-neg/DerivedGen.idr b/...rec t-p.->.. w_ext 004-neg/DerivedGen.idr → ...rec t-p.->.. w_ext 004-neg/DerivedGen.idr
diff --git a/... t-p.->.. w_ext 004-neg/RunDerivedGen.idr → ... t-p.->.. w_ext 004-neg/RunDerivedGen.idr b/... t-p.->.. w_ext 004-neg/RunDerivedGen.idr → ... t-p.->.. w_ext 004-neg/RunDerivedGen.idr
diff --git a/.../norec t-p.->.. w_ext 004-neg/derive.ipkg → .../norec t-p.->.. w_ext 004-neg/derive.ipkg b/.../norec t-p.->.. w_ext 004-neg/derive.ipkg → .../norec t-p.->.. w_ext 004-neg/derive.ipkg
diff --git a/...ore/norec t-p.->.. w_ext 004-neg/expected → ...ore/norec t-p.->.. w_ext 004-neg/expected b/...ore/norec t-p.->.. w_ext 004-neg/expected → ...ore/norec t-p.->.. w_ext 004-neg/expected
diff --git a/...ivation/core/norec t-p.->.. noext 001/run → ...ion/core/norec t-p.->.. w_ext 004-neg/run b/...ivation/core/norec t-p.->.. noext 001/run → ...ion/core/norec t-p.->.. w_ext 004-neg/run
diff --git a/...e/norec t-p.->.. w_ext 005/DerivedGen.idr → ...e/norec t-p.->.. w_ext 005/DerivedGen.idr b/...e/norec t-p.->.. w_ext 005/DerivedGen.idr → ...e/norec t-p.->.. w_ext 005/DerivedGen.idr
diff --git a/...orec t-p.->.. w_ext 005/RunDerivedGen.idr → ...orec t-p.->.. w_ext 005/RunDerivedGen.idr b/...orec t-p.->.. w_ext 005/RunDerivedGen.idr → ...orec t-p.->.. w_ext 005/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. w_ext 005/derive.ipkg → ...core/norec t-p.->.. w_ext 005/derive.ipkg b/...core/norec t-p.->.. w_ext 005/derive.ipkg → ...core/norec t-p.->.. w_ext 005/derive.ipkg
diff --git a/...on/core/norec t-p.->.. w_ext 005/expected → ...on/core/norec t-p.->.. w_ext 005/expected b/...on/core/norec t-p.->.. w_ext 005/expected → ...on/core/norec t-p.->.. w_ext 005/expected
diff --git a/...ivation/core/norec t-p.->.. noext 002/run → ...ivation/core/norec t-p.->.. w_ext 005/run b/...ivation/core/norec t-p.->.. noext 002/run → ...ivation/core/norec t-p.->.. w_ext 005/run
diff --git a/...e/norec t-p.->.. w_ext 006/DerivedGen.idr → ...e/norec t-p.->.. w_ext 006/DerivedGen.idr b/...e/norec t-p.->.. w_ext 006/DerivedGen.idr → ...e/norec t-p.->.. w_ext 006/DerivedGen.idr
diff --git a/...orec t-p.->.. w_ext 006/RunDerivedGen.idr → ...orec t-p.->.. w_ext 006/RunDerivedGen.idr b/...orec t-p.->.. w_ext 006/RunDerivedGen.idr → ...orec t-p.->.. w_ext 006/RunDerivedGen.idr
diff --git a/...core/norec t-p.->.. w_ext 006/derive.ipkg → ...core/norec t-p.->.. w_ext 006/derive.ipkg b/...core/norec t-p.->.. w_ext 006/derive.ipkg → ...core/norec t-p.->.. w_ext 006/derive.ipkg
diff --git a/...on/core/norec t-p.->.. w_ext 006/expected → ...on/core/norec t-p.->.. w_ext 006/expected b/...on/core/norec t-p.->.. w_ext 006/expected → ...on/core/norec t-p.->.. w_ext 006/expected
diff --git a/...ivation/core/norec t-p.->.. noext 003/run → ...ivation/core/norec t-p.->.. w_ext 006/run b/...ivation/core/norec t-p.->.. noext 003/run → ...ivation/core/norec t-p.->.. w_ext 006/run
diff --git a/...e/norec t-pi->.. noext 001/DerivedGen.idr → ...e/norec t-pi->.. noext 001/DerivedGen.idr b/...e/norec t-pi->.. noext 001/DerivedGen.idr → ...e/norec t-pi->.. noext 001/DerivedGen.idr
diff --git a/...orec t-pi->.. noext 001/RunDerivedGen.idr → ...orec t-pi->.. noext 001/RunDerivedGen.idr b/...orec t-pi->.. noext 001/RunDerivedGen.idr → ...orec t-pi->.. noext 001/RunDerivedGen.idr
diff --git a/...core/norec t-pi->.. noext 001/derive.ipkg → ...core/norec t-pi->.. noext 001/derive.ipkg b/...core/norec t-pi->.. noext 001/derive.ipkg → ...core/norec t-pi->.. noext 001/derive.ipkg
diff --git a/...on/core/norec t-pi->.. noext 001/expected → ...on/core/norec t-pi->.. noext 001/expected b/...on/core/norec t-pi->.. noext 001/expected → ...on/core/norec t-pi->.. noext 001/expected
diff --git a/...ivation/core/norec t-p.->.. w_ext 001/run → ...ivation/core/norec t-pi->.. noext 001/run b/...ivation/core/norec t-p.->.. w_ext 001/run → ...ivation/core/norec t-pi->.. noext 001/run
diff --git a/...e/norec t-pi->.. noext 002/DerivedGen.idr → ...e/norec t-pi->.. noext 002/DerivedGen.idr b/...e/norec t-pi->.. noext 002/DerivedGen.idr → ...e/norec t-pi->.. noext 002/DerivedGen.idr
diff --git a/...orec t-pi->.. noext 002/RunDerivedGen.idr → ...orec t-pi->.. noext 002/RunDerivedGen.idr b/...orec t-pi->.. noext 002/RunDerivedGen.idr → ...orec t-pi->.. noext 002/RunDerivedGen.idr
diff --git a/...core/norec t-pi->.. noext 002/derive.ipkg → ...core/norec t-pi->.. noext 002/derive.ipkg b/...core/norec t-pi->.. noext 002/derive.ipkg → ...core/norec t-pi->.. noext 002/derive.ipkg
diff --git a/...on/core/norec t-pi->.. noext 002/expected → ...on/core/norec t-pi->.. noext 002/expected b/...on/core/norec t-pi->.. noext 002/expected → ...on/core/norec t-pi->.. noext 002/expected
diff --git a/...ivation/core/norec t-p.->.. w_ext 002/run → ...ivation/core/norec t-pi->.. noext 002/run b/...ivation/core/norec t-p.->.. w_ext 002/run → ...ivation/core/norec t-pi->.. noext 002/run
diff --git a/...e/norec t-pi->.. noext 003/DerivedGen.idr → ...e/norec t-pi->.. noext 003/DerivedGen.idr b/...e/norec t-pi->.. noext 003/DerivedGen.idr → ...e/norec t-pi->.. noext 003/DerivedGen.idr
diff --git a/...orec t-pi->.. noext 003/RunDerivedGen.idr → ...orec t-pi->.. noext 003/RunDerivedGen.idr b/...orec t-pi->.. noext 003/RunDerivedGen.idr → ...orec t-pi->.. noext 003/RunDerivedGen.idr
diff --git a/...core/norec t-pi->.. noext 003/derive.ipkg → ...core/norec t-pi->.. noext 003/derive.ipkg b/...core/norec t-pi->.. noext 003/derive.ipkg → ...core/norec t-pi->.. noext 003/derive.ipkg
diff --git a/...on/core/norec t-pi->.. noext 003/expected → ...on/core/norec t-pi->.. noext 003/expected b/...on/core/norec t-pi->.. noext 003/expected → ...on/core/norec t-pi->.. noext 003/expected
diff --git a/...ion/core/norec t-p.->.. w_ext 003-neg/run → ...ivation/core/norec t-pi->.. noext 003/run b/...ion/core/norec t-p.->.. w_ext 003-neg/run → ...ivation/core/norec t-pi->.. noext 003/run
diff --git a/...e/norec t-pi->.. noext 004/DerivedGen.idr → ...e/norec t-pi->.. noext 004/DerivedGen.idr b/...e/norec t-pi->.. noext 004/DerivedGen.idr → ...e/norec t-pi->.. noext 004/DerivedGen.idr
diff --git a/...orec t-pi->.. noext 004/RunDerivedGen.idr → ...orec t-pi->.. noext 004/RunDerivedGen.idr b/...orec t-pi->.. noext 004/RunDerivedGen.idr → ...orec t-pi->.. noext 004/RunDerivedGen.idr
diff --git a/...core/norec t-pi->.. noext 004/derive.ipkg → ...core/norec t-pi->.. noext 004/derive.ipkg b/...core/norec t-pi->.. noext 004/derive.ipkg → ...core/norec t-pi->.. noext 004/derive.ipkg
diff --git a/...on/core/norec t-pi->.. noext 004/expected → ...on/core/norec t-pi->.. noext 004/expected b/...on/core/norec t-pi->.. noext 004/expected → ...on/core/norec t-pi->.. noext 004/expected
diff --git a/...ion/core/norec t-p.->.. w_ext 004-neg/run → ...ivation/core/norec t-pi->.. noext 004/run b/...ion/core/norec t-p.->.. w_ext 004-neg/run → ...ivation/core/norec t-pi->.. noext 004/run
diff --git a/...ec t-pi->.. w_ext 001-shdw/DerivedGen.idr → ...ec t-pi->.. w_ext 001-shdw/DerivedGen.idr b/...ec t-pi->.. w_ext 001-shdw/DerivedGen.idr → ...ec t-pi->.. w_ext 001-shdw/DerivedGen.idr
diff --git a/...t-pi->.. w_ext 001-shdw/RunDerivedGen.idr → ...t-pi->.. w_ext 001-shdw/RunDerivedGen.idr b/...t-pi->.. w_ext 001-shdw/RunDerivedGen.idr → ...t-pi->.. w_ext 001-shdw/RunDerivedGen.idr
diff --git a/...norec t-pi->.. w_ext 001-shdw/derive.ipkg → ...norec t-pi->.. w_ext 001-shdw/derive.ipkg b/...norec t-pi->.. w_ext 001-shdw/derive.ipkg → ...norec t-pi->.. w_ext 001-shdw/derive.ipkg
diff --git a/...g-deps/deps-003-lambda-shadowing/dont-run → ...re/norec t-pi->.. w_ext 001-shdw/dont-run b/...g-deps/deps-003-lambda-shadowing/dont-run → ...re/norec t-pi->.. w_ext 001-shdw/dont-run
diff --git a/...re/norec t-pi->.. w_ext 001-shdw/expected → ...re/norec t-pi->.. w_ext 001-shdw/expected b/...re/norec t-pi->.. w_ext 001-shdw/expected → ...re/norec t-pi->.. w_ext 001-shdw/expected
diff --git a/...e/norec t-pi->.. w_ext 001/DerivedGen.idr → ...e/norec t-pi->.. w_ext 001/DerivedGen.idr b/...e/norec t-pi->.. w_ext 001/DerivedGen.idr → ...e/norec t-pi->.. w_ext 001/DerivedGen.idr
diff --git a/...orec t-pi->.. w_ext 001/RunDerivedGen.idr → ...orec t-pi->.. w_ext 001/RunDerivedGen.idr b/...orec t-pi->.. w_ext 001/RunDerivedGen.idr → ...orec t-pi->.. w_ext 001/RunDerivedGen.idr
diff --git a/...core/norec t-pi->.. w_ext 001/derive.ipkg → ...core/norec t-pi->.. w_ext 001/derive.ipkg b/...core/norec t-pi->.. w_ext 001/derive.ipkg → ...core/norec t-pi->.. w_ext 001/derive.ipkg
diff --git a/...erivation/arg-deps/deps-004-case/dont-run → ...on/core/norec t-pi->.. w_ext 001/dont-run b/...erivation/arg-deps/deps-004-case/dont-run → ...on/core/norec t-pi->.. w_ext 001/dont-run
diff --git a/...on/core/norec t-pi->.. w_ext 001/expected → ...on/core/norec t-pi->.. w_ext 001/expected b/...on/core/norec t-pi->.. w_ext 001/expected → ...on/core/norec t-pi->.. w_ext 001/expected
diff --git a/...e/norec t-pi->.. w_ext 002/DerivedGen.idr → ...e/norec t-pi->.. w_ext 002/DerivedGen.idr b/...e/norec t-pi->.. w_ext 002/DerivedGen.idr → ...e/norec t-pi->.. w_ext 002/DerivedGen.idr
diff --git a/...orec t-pi->.. w_ext 002/RunDerivedGen.idr → ...orec t-pi->.. w_ext 002/RunDerivedGen.idr b/...orec t-pi->.. w_ext 002/RunDerivedGen.idr → ...orec t-pi->.. w_ext 002/RunDerivedGen.idr
diff --git a/...core/norec t-pi->.. w_ext 002/derive.ipkg → ...core/norec t-pi->.. w_ext 002/derive.ipkg b/...core/norec t-pi->.. w_ext 002/derive.ipkg → ...core/norec t-pi->.. w_ext 002/derive.ipkg
diff --git a/...on/core/norec t-pi->.. w_ext 002/expected → ...on/core/norec t-pi->.. w_ext 002/expected b/...on/core/norec t-pi->.. w_ext 002/expected → ...on/core/norec t-pi->.. w_ext 002/expected
diff --git a/...ivation/core/norec t-p.->.. w_ext 005/run → ...ivation/core/norec t-pi->.. w_ext 002/run b/...ivation/core/norec t-p.->.. w_ext 005/run → ...ivation/core/norec t-pi->.. w_ext 002/run
diff --git a/...-derivation/derivation/core/tests-roadmap → tests/derivation/core/tests-roadmap b/...-derivation/derivation/core/tests-roadmap → tests/derivation/core/tests-roadmap
diff --git a/...erivation/core/trivial 001/DerivedGen.idr → ...erivation/core/trivial 001/DerivedGen.idr b/...erivation/core/trivial 001/DerivedGen.idr → ...erivation/core/trivial 001/DerivedGen.idr
diff --git a/...vation/core/trivial 001/RunDerivedGen.idr → ...vation/core/trivial 001/RunDerivedGen.idr b/...vation/core/trivial 001/RunDerivedGen.idr → ...vation/core/trivial 001/RunDerivedGen.idr
diff --git a/...n/derivation/core/trivial 001/derive.ipkg → ...s/derivation/core/trivial 001/derive.ipkg b/...n/derivation/core/trivial 001/derive.ipkg → ...s/derivation/core/trivial 001/derive.ipkg
diff --git a/...tion/derivation/core/trivial 001/expected → tests/derivation/core/trivial 001/expected b/...tion/derivation/core/trivial 001/expected → tests/derivation/core/trivial 001/expected
diff --git a/...ivation/core/norec t-p.->.. w_ext 006/run → tests/derivation/core/trivial 001/run b/...ivation/core/norec t-p.->.. w_ext 006/run → tests/derivation/core/trivial 001/run
diff --git a/...ation/core/trivial 002-neg/DerivedGen.idr → ...ation/core/trivial 002-neg/DerivedGen.idr b/...ation/core/trivial 002-neg/DerivedGen.idr → ...ation/core/trivial 002-neg/DerivedGen.idr
diff --git a/...on/core/trivial 002-neg/RunDerivedGen.idr → ...on/core/trivial 002-neg/RunDerivedGen.idr b/...on/core/trivial 002-neg/RunDerivedGen.idr → ...on/core/trivial 002-neg/RunDerivedGen.idr
diff --git a/...rivation/core/trivial 002-neg/derive.ipkg → ...rivation/core/trivial 002-neg/derive.ipkg b/...rivation/core/trivial 002-neg/derive.ipkg → ...rivation/core/trivial 002-neg/derive.ipkg
diff --git a/.../derivation/core/trivial 002-neg/expected → .../derivation/core/trivial 002-neg/expected b/.../derivation/core/trivial 002-neg/expected → .../derivation/core/trivial 002-neg/expected
diff --git a/...ivation/core/norec t-pi->.. noext 001/run → tests/derivation/core/trivial 002-neg/run b/...ivation/core/norec t-pi->.. noext 001/run → tests/derivation/core/trivial 002-neg/run
diff --git a/...ation/core/trivial 003-neg/DerivedGen.idr → ...ation/core/trivial 003-neg/DerivedGen.idr b/...ation/core/trivial 003-neg/DerivedGen.idr → ...ation/core/trivial 003-neg/DerivedGen.idr
diff --git a/...on/core/trivial 003-neg/RunDerivedGen.idr → ...on/core/trivial 003-neg/RunDerivedGen.idr b/...on/core/trivial 003-neg/RunDerivedGen.idr → ...on/core/trivial 003-neg/RunDerivedGen.idr
diff --git a/...rivation/core/trivial 003-neg/derive.ipkg → ...rivation/core/trivial 003-neg/derive.ipkg b/...rivation/core/trivial 003-neg/derive.ipkg → ...rivation/core/trivial 003-neg/derive.ipkg
diff --git a/.../derivation/core/trivial 003-neg/expected → .../derivation/core/trivial 003-neg/expected b/.../derivation/core/trivial 003-neg/expected → .../derivation/core/trivial 003-neg/expected
diff --git a/...ivation/core/norec t-pi->.. noext 002/run → tests/derivation/core/trivial 003-neg/run b/...ivation/core/norec t-pi->.. noext 002/run → tests/derivation/core/trivial 003-neg/run
diff --git a/...ation/core/trivial 004-neg/DerivedGen.idr → ...ation/core/trivial 004-neg/DerivedGen.idr b/...ation/core/trivial 004-neg/DerivedGen.idr → ...ation/core/trivial 004-neg/DerivedGen.idr
diff --git a/...on/core/trivial 004-neg/RunDerivedGen.idr → ...on/core/trivial 004-neg/RunDerivedGen.idr b/...on/core/trivial 004-neg/RunDerivedGen.idr → ...on/core/trivial 004-neg/RunDerivedGen.idr
diff --git a/...rivation/core/trivial 004-neg/derive.ipkg → ...rivation/core/trivial 004-neg/derive.ipkg b/...rivation/core/trivial 004-neg/derive.ipkg → ...rivation/core/trivial 004-neg/derive.ipkg
diff --git a/.../derivation/core/trivial 004-neg/expected → .../derivation/core/trivial 004-neg/expected b/.../derivation/core/trivial 004-neg/expected → .../derivation/core/trivial 004-neg/expected
diff --git a/...ivation/core/norec t-pi->.. noext 003/run → tests/derivation/core/trivial 004-neg/run b/...ivation/core/norec t-pi->.. noext 003/run → tests/derivation/core/trivial 004-neg/run
diff --git a/...ion/core/typealias con 001/DerivedGen.idr → ...ion/core/typealias con 001/DerivedGen.idr b/...ion/core/typealias con 001/DerivedGen.idr → ...ion/core/typealias con 001/DerivedGen.idr
diff --git a/.../core/typealias con 001/RunDerivedGen.idr → .../core/typealias con 001/RunDerivedGen.idr b/.../core/typealias con 001/RunDerivedGen.idr → .../core/typealias con 001/RunDerivedGen.idr
diff --git a/...vation/core/typealias con 001/derive.ipkg → ...vation/core/typealias con 001/derive.ipkg b/...vation/core/typealias con 001/derive.ipkg → ...vation/core/typealias con 001/derive.ipkg
diff --git a/...erivation/core/typealias con 001/expected → ...erivation/core/typealias con 001/expected b/...erivation/core/typealias con 001/expected → ...erivation/core/typealias con 001/expected
diff --git a/...ivation/core/norec t-pi->.. noext 004/run → tests/derivation/core/typealias con 001/run b/...ivation/core/norec t-pi->.. noext 004/run → tests/derivation/core/typealias con 001/run
diff --git a/...ion/core/typealias con 002/DerivedGen.idr → ...ion/core/typealias con 002/DerivedGen.idr b/...ion/core/typealias con 002/DerivedGen.idr → ...ion/core/typealias con 002/DerivedGen.idr
diff --git a/.../core/typealias con 002/RunDerivedGen.idr → .../core/typealias con 002/RunDerivedGen.idr b/.../core/typealias con 002/RunDerivedGen.idr → .../core/typealias con 002/RunDerivedGen.idr
diff --git a/...vation/core/typealias con 002/derive.ipkg → ...vation/core/typealias con 002/derive.ipkg b/...vation/core/typealias con 002/derive.ipkg → ...vation/core/typealias con 002/derive.ipkg
diff --git a/...erivation/core/typealias con 002/expected → ...erivation/core/typealias con 002/expected b/...erivation/core/typealias con 002/expected → ...erivation/core/typealias con 002/expected
diff --git a/...ivation/core/norec t-pi->.. w_ext 002/run → tests/derivation/core/typealias con 002/run b/...ivation/core/norec t-pi->.. w_ext 002/run → tests/derivation/core/typealias con 002/run
diff --git a/...core/typealias con 003-neg/DerivedGen.idr → ...core/typealias con 003-neg/DerivedGen.idr b/...core/typealias con 003-neg/DerivedGen.idr → ...core/typealias con 003-neg/DerivedGen.idr
diff --git a/...e/typealias con 003-neg/RunDerivedGen.idr → ...e/typealias con 003-neg/RunDerivedGen.idr b/...e/typealias con 003-neg/RunDerivedGen.idr → ...e/typealias con 003-neg/RunDerivedGen.idr
diff --git a/...on/core/typealias con 003-neg/derive.ipkg → ...on/core/typealias con 003-neg/derive.ipkg b/...on/core/typealias con 003-neg/derive.ipkg → ...on/core/typealias con 003-neg/derive.ipkg
diff --git a/...ation/core/typealias con 003-neg/expected → ...ation/core/typealias con 003-neg/expected b/...ation/core/typealias con 003-neg/expected → ...ation/core/typealias con 003-neg/expected
diff --git a/...erivation/derivation/core/trivial 001/run → ...derivation/core/typealias con 003-neg/run b/...erivation/derivation/core/trivial 001/run → ...derivation/core/typealias con 003-neg/run
diff --git a/...ivation/core/upstream-2983/DerivedGen.idr → ...ivation/core/upstream-2983/DerivedGen.idr b/...ivation/core/upstream-2983/DerivedGen.idr → ...ivation/core/upstream-2983/DerivedGen.idr
diff --git a/...tion/core/upstream-2983/RunDerivedGen.idr → ...tion/core/upstream-2983/RunDerivedGen.idr b/...tion/core/upstream-2983/RunDerivedGen.idr → ...tion/core/upstream-2983/RunDerivedGen.idr
diff --git a/...derivation/core/upstream-2983/derive.ipkg → ...derivation/core/upstream-2983/derive.ipkg b/...derivation/core/upstream-2983/derive.ipkg → ...derivation/core/upstream-2983/derive.ipkg
diff --git a/...on/derivation/core/upstream-2983/expected → tests/derivation/core/upstream-2983/expected b/...on/derivation/core/upstream-2983/expected → tests/derivation/core/upstream-2983/expected
diff --git a/...ation/derivation/core/trivial 002-neg/run → tests/derivation/core/upstream-2983/run b/...ation/derivation/core/trivial 002-neg/run → tests/derivation/core/upstream-2983/run
diff --git a/tests/derivation/distribution/_common b/tests/derivation/distribution/_common
@@ -0,0 +1 @@
+../../lib/distribution/_common/
diff --git a/...bution/list-nat-001/CheckDistribution.idr → ...bution/list-nat-001/CheckDistribution.idr b/...bution/list-nat-001/CheckDistribution.idr → ...bution/list-nat-001/CheckDistribution.idr
diff --git a/...ibution/list-nat-001/DistrCheckCommon.idr → ...ibution/list-nat-001/DistrCheckCommon.idr b/...ibution/list-nat-001/DistrCheckCommon.idr → ...ibution/list-nat-001/DistrCheckCommon.idr
diff --git a/...vation/distribution/list-nat-001/expected → ...vation/distribution/list-nat-001/expected b/...vation/distribution/list-nat-001/expected → ...vation/distribution/list-nat-001/expected
diff --git a/...ation/derivation/core/trivial 003-neg/run → .../derivation/distribution/list-nat-001/run b/...ation/derivation/core/trivial 003-neg/run → .../derivation/distribution/list-nat-001/run
diff --git a/...ation/distribution/list-nat-001/test.ipkg → ...ation/distribution/list-nat-001/test.ipkg b/...ation/distribution/list-nat-001/test.ipkg → ...ation/distribution/list-nat-001/test.ipkg
diff --git a/...bution/list-nat-002/CheckDistribution.idr → ...bution/list-nat-002/CheckDistribution.idr b/...bution/list-nat-002/CheckDistribution.idr → ...bution/list-nat-002/CheckDistribution.idr
diff --git a/...ibution/list-nat-002/DistrCheckCommon.idr → ...ibution/list-nat-002/DistrCheckCommon.idr b/...ibution/list-nat-002/DistrCheckCommon.idr → ...ibution/list-nat-002/DistrCheckCommon.idr
diff --git a/...vation/distribution/list-nat-002/expected → ...vation/distribution/list-nat-002/expected b/...vation/distribution/list-nat-002/expected → ...vation/distribution/list-nat-002/expected
diff --git a/...ation/derivation/core/trivial 004-neg/run → .../derivation/distribution/list-nat-002/run b/...ation/derivation/core/trivial 004-neg/run → .../derivation/distribution/list-nat-002/run
diff --git a/...ation/distribution/list-nat-002/test.ipkg → ...ation/distribution/list-nat-002/test.ipkg b/...ation/distribution/list-nat-002/test.ipkg → ...ation/distribution/list-nat-002/test.ipkg
diff --git a/...stribution/nats-001/CheckDistribution.idr → ...stribution/nats-001/CheckDistribution.idr b/...stribution/nats-001/CheckDistribution.idr → ...stribution/nats-001/CheckDistribution.idr
diff --git a/...istribution/nats-001/DistrCheckCommon.idr → ...istribution/nats-001/DistrCheckCommon.idr b/...istribution/nats-001/DistrCheckCommon.idr → ...istribution/nats-001/DistrCheckCommon.idr
diff --git a/...derivation/distribution/nats-001/expected → ...derivation/distribution/nats-001/expected b/...derivation/distribution/nats-001/expected → ...derivation/distribution/nats-001/expected
diff --git a/...ion/derivation/core/typealias con 001/run → tests/derivation/distribution/nats-001/run b/...ion/derivation/core/typealias con 001/run → tests/derivation/distribution/nats-001/run
diff --git a/...erivation/distribution/nats-001/test.ipkg → ...erivation/distribution/nats-001/test.ipkg b/...erivation/distribution/nats-001/test.ipkg → ...erivation/distribution/nats-001/test.ipkg
diff --git a/...bution/vect-nat-001/CheckDistribution.idr → ...bution/vect-nat-001/CheckDistribution.idr b/...bution/vect-nat-001/CheckDistribution.idr → ...bution/vect-nat-001/CheckDistribution.idr
diff --git a/...ibution/vect-nat-001/DistrCheckCommon.idr → ...ibution/vect-nat-001/DistrCheckCommon.idr b/...ibution/vect-nat-001/DistrCheckCommon.idr → ...ibution/vect-nat-001/DistrCheckCommon.idr
diff --git a/...vation/distribution/vect-nat-001/expected → ...vation/distribution/vect-nat-001/expected b/...vation/distribution/vect-nat-001/expected → ...vation/distribution/vect-nat-001/expected
diff --git a/...ion/derivation/core/typealias con 002/run → .../derivation/distribution/vect-nat-001/run b/...ion/derivation/core/typealias con 002/run → .../derivation/distribution/vect-nat-001/run
diff --git a/...ation/distribution/vect-nat-001/test.ipkg → ...ation/distribution/vect-nat-001/test.ipkg b/...ation/distribution/vect-nat-001/test.ipkg → ...ation/distribution/vect-nat-001/test.ipkg
diff --git a/...s/gen-derivation/derivation/infra/_common → tests/derivation/infra/_common b/...s/gen-derivation/derivation/infra/_common → tests/derivation/infra/_common
diff --git a/.../empty-body print 001/AlternativeCore.idr → .../empty-body print 001/AlternativeCore.idr b/.../empty-body print 001/AlternativeCore.idr → .../empty-body print 001/AlternativeCore.idr
diff --git a/...infra/empty-body print 001/DerivedGen.idr → ...infra/empty-body print 001/DerivedGen.idr b/...infra/empty-body print 001/DerivedGen.idr → ...infra/empty-body print 001/DerivedGen.idr
diff --git a/.../empty-body print 001/PrintDerivation.idr → .../empty-body print 001/PrintDerivation.idr b/.../empty-body print 001/PrintDerivation.idr → .../empty-body print 001/PrintDerivation.idr
diff --git a/...ra/empty-body print 001/RunDerivedGen.idr → ...ra/empty-body print 001/RunDerivedGen.idr b/...ra/empty-body print 001/RunDerivedGen.idr → ...ra/empty-body print 001/RunDerivedGen.idr
diff --git a/...on/infra/empty-body print 001/derive.ipkg → ...on/infra/empty-body print 001/derive.ipkg b/...on/infra/empty-body print 001/derive.ipkg → ...on/infra/empty-body print 001/derive.ipkg
diff --git a/...ation/infra/empty-body print 001/expected → ...ation/infra/empty-body print 001/expected b/...ation/infra/empty-body print 001/expected → ...ation/infra/empty-body print 001/expected
diff --git a/...derivation/core/typealias con 003-neg/run → ...derivation/infra/empty-body print 001/run b/...derivation/core/typealias con 003-neg/run → ...derivation/infra/empty-body print 001/run
diff --git a/.../empty-body print 002/AlternativeCore.idr → .../empty-body print 002/AlternativeCore.idr b/.../empty-body print 002/AlternativeCore.idr → .../empty-body print 002/AlternativeCore.idr
diff --git a/...infra/empty-body print 002/DerivedGen.idr → ...infra/empty-body print 002/DerivedGen.idr b/...infra/empty-body print 002/DerivedGen.idr → ...infra/empty-body print 002/DerivedGen.idr
diff --git a/.../empty-body print 002/PrintDerivation.idr → .../empty-body print 002/PrintDerivation.idr b/.../empty-body print 002/PrintDerivation.idr → .../empty-body print 002/PrintDerivation.idr
diff --git a/...ra/empty-body print 002/RunDerivedGen.idr → ...ra/empty-body print 002/RunDerivedGen.idr b/...ra/empty-body print 002/RunDerivedGen.idr → ...ra/empty-body print 002/RunDerivedGen.idr
diff --git a/...on/infra/empty-body print 002/derive.ipkg → ...on/infra/empty-body print 002/derive.ipkg b/...on/infra/empty-body print 002/derive.ipkg → ...on/infra/empty-body print 002/derive.ipkg
diff --git a/...ation/infra/empty-body print 002/expected → ...ation/infra/empty-body print 002/expected b/...ation/infra/empty-body print 002/expected → ...ation/infra/empty-body print 002/expected
diff --git a/...ivation/derivation/core/upstream-2983/run → ...derivation/infra/empty-body print 002/run b/...ivation/derivation/core/upstream-2983/run → ...derivation/infra/empty-body print 002/run
diff --git a/.../empty-body print 003/AlternativeCore.idr → .../empty-body print 003/AlternativeCore.idr b/.../empty-body print 003/AlternativeCore.idr → .../empty-body print 003/AlternativeCore.idr
diff --git a/...infra/empty-body print 003/DerivedGen.idr → ...infra/empty-body print 003/DerivedGen.idr b/...infra/empty-body print 003/DerivedGen.idr → ...infra/empty-body print 003/DerivedGen.idr
diff --git a/.../empty-body print 003/PrintDerivation.idr → .../empty-body print 003/PrintDerivation.idr b/.../empty-body print 003/PrintDerivation.idr → .../empty-body print 003/PrintDerivation.idr
diff --git a/...ra/empty-body print 003/RunDerivedGen.idr → ...ra/empty-body print 003/RunDerivedGen.idr b/...ra/empty-body print 003/RunDerivedGen.idr → ...ra/empty-body print 003/RunDerivedGen.idr
diff --git a/...on/infra/empty-body print 003/derive.ipkg → ...on/infra/empty-body print 003/derive.ipkg b/...on/infra/empty-body print 003/derive.ipkg → ...on/infra/empty-body print 003/derive.ipkg