categorifier-c-recursion> No ghcjs found
categorifier-c-recursion> No ghcjs-pkg found
categorifier-c-recursion> No greencard found
categorifier-c-recursion> Using haddock version 2.26.0 found on system at:
categorifier-c-recursion> /nix/store/vk21w6wlbgwgvfagxv4m71qx9q4d5d4l-ghc-9.2.1/bin/haddock
categorifier-c-recursion> No happy found
categorifier-c-recursion> Using haskell-suite found on system at: haskell-suite-dummy-location
categorifier-c-recursion> Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
categorifier-c-recursion> No hmake found
categorifier-c-recursion> Using hpc version 0.68 found on system at:
categorifier-c-recursion> /nix/store/vk21w6wlbgwgvfagxv4m71qx9q4d5d4l-ghc-9.2.1/bin/hpc
categorifier-c-recursion> Using hsc2hs version 0.68.8 found on system at:
categorifier-c-recursion> /nix/store/vk21w6wlbgwgvfagxv4m71qx9q4d5d4l-ghc-9.2.1/bin/hsc2hs
categorifier-c-recursion> Using hscolour version 1.24 found on system at:
categorifier-c-recursion> /nix/store/xm0vv429c8mar7v8vayhkw0w759ivwps-hscolour-1.24.4/bin/HsColour
categorifier-c-recursion> No jhc found
categorifier-c-recursion> Using ld found on system at:
categorifier-c-recursion> /nix/store/8rmwwv30162vnhn5l74m0vjiyq7dnm90-binutils-wrapper-2.35.2/bin/ld.gold
categorifier-c-recursion> No pkg-config found
categorifier-c-recursion> Using runghc version 9.2.1 found on system at:
categorifier-c-recursion> /nix/store/vk21w6wlbgwgvfagxv4m71qx9q4d5d4l-ghc-9.2.1/bin/runghc
categorifier-c-recursion> Using strip version 2.35 found on system at:
categorifier-c-recursion> /nix/store/myjrqkb583ak29f3r5wmxrazy33i90pi-gcc-wrapper-10.3.0/bin/strip
categorifier-c-recursion> Using tar found on system at:
categorifier-c-recursion> /nix/store/gapgxqfyny37b2i6xbcmdzb9vnqar6y0-gnutar-1.34/bin/tar
categorifier-c-recursion> No uhc found
categorifier-c-recursion> building
categorifier-c-recursion> Preprocessing library for categorifier-c-recursion-0.1..
categorifier-c-recursion> Building library for categorifier-c-recursion-0.1..
categorifier-c-recursion> [1 of 3] Compiling Categorifier.C.Higher ( Categorifier/C/Higher.hs, dist/build/Categorifier/C/Higher.o, dist/build/Categorifier/C/Higher.dyn_o )
fin> test/Inspection.hs:52:1: lhsInline === rhs passed.
fin> test/Inspection.hs:53:1: lhsNormal === rhs failed expectedly.
fin> test/Inspection.hs:73:1: lhsEnum ==- rhsEnum passed.
fin> test/Inspection.hs:86:1: lhsProof ==- rhsProof passed.
fin> test/Inspection.hs:112:1: lhsFold === rhsFold passed.
fin> test/Inspection.hs:113:1: lhsFold' === rhsFold failed expectedly.
fin> test/Inspection.hs:121:1: lhsUnfold === rhsUnfold passed.
fin> test/Inspection.hs:138:1: lhsPower5 === rhsPower5 passed.
fin> inspection testing successful
fin>       expected successes: 6
fin>        expected failures: 2
categorifier-c-recursion> [2 of 3] Compiling Categorifier.C.Recursion ( Categorifier/C/Recursion.hs, dist/build/Categorifier/C/Recursion.o, dist/build/Categorifier/C/Recursion.dyn_o )
fin> Linking dist/build/inspection/inspection ...
categorifier-c-recursion> Categorifier/C/Recursion.hs:71:10: error:
categorifier-c-recursion>     • Could not deduce (Data.Functor.Classes.Eq1 (HFix f))
categorifier-c-recursion>         arising from the superclasses of an instance declaration
categorifier-c-recursion>       from the context: Hashable1 (f (HFix f))
categorifier-c-recursion>         bound by the instance declaration
categorifier-c-recursion>         at Categorifier/C/Recursion.hs:71:10-53
categorifier-c-recursion>     • In the instance declaration for ‘Hashable1 (HFix f)’
categorifier-c-recursion>    |
categorifier-c-recursion> 71 | instance Hashable1 (f (HFix f)) => Hashable1 (HFix f) where
categorifier-c-recursion>    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
categorifier-c-recursion> Categorifier/C/Recursion.hs:74:10: error:
categorifier-c-recursion>     • Could not deduce (Eq (f (HFix f) a))
categorifier-c-recursion>         arising from the superclasses of an instance declaration
categorifier-c-recursion>       from the context: (Hashable1 (f (HFix f)), Hashable a)
categorifier-c-recursion>         bound by the instance declaration
categorifier-c-recursion>         at Categorifier/C/Recursion.hs:74:10-68
categorifier-c-recursion>     • In the instance declaration for ‘Hashable (HFix f a)’
categorifier-c-recursion>    |
categorifier-c-recursion> 74 | instance (Hashable1 (f (HFix f)), Hashable a) => Hashable (HFix f a) where
categorifier-c-recursion>    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
categorifier-c-recursion> Categorifier/C/Recursion.hs:116:10: error:
categorifier-c-recursion>     • Could not deduce (Data.Functor.Classes.Eq1 (BFix f))
categorifier-c-recursion>         arising from the superclasses of an instance declaration
categorifier-c-recursion>       from the context: Hashable1 (f (BFix f))
categorifier-c-recursion>         bound by the instance declaration
categorifier-c-recursion>         at Categorifier/C/Recursion.hs:116:10-53
categorifier-c-recursion>     • In the instance declaration for ‘Hashable1 (BFix f)’
categorifier-c-recursion>     |
categorifier-c-recursion> 116 | instance Hashable1 (f (BFix f)) => Hashable1 (BFix f) where
categorifier-c-recursion>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
categorifier-c-recursion> Categorifier/C/Recursion.hs:119:10: error:
categorifier-c-recursion>     • Could not deduce (Eq (f (BFix f) a))
categorifier-c-recursion>         arising from the superclasses of an instance declaration
categorifier-c-recursion>       from the context: (Hashable1 (f (BFix f)), Hashable a)
categorifier-c-recursion>         bound by the instance declaration
categorifier-c-recursion>         at Categorifier/C/Recursion.hs:119:10-68
categorifier-c-recursion>     • In the instance declaration for ‘Hashable (BFix f a)’
categorifier-c-recursion>     |
categorifier-c-recursion> 119 | instance (Hashable1 (f (BFix f)), Hashable a) => Hashable (BFix f a) where
categorifier-c-recursion>     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
categorifier-c-recursion> [3 of 3] Compiling Paths_categorifier_c_recursion ( dist/build/autogen/Paths_categorifier_c_recursion.hs, dist/build/Paths_categorifier_c_recursion.o, dist/build/Paths_categorifier_c_recursion.dyn_o )
error: build of '/nix/store/r0y3wcgcj0hkczaqka7fvk9fzi2cn12a-categorifier-c-recursion-0.1.drv' on 'ssh-ng://nix-ssh@garnix3' failed: builder for '/nix/store/r0y3wcgcj0hkczaqka7fvk9fzi2cn12a-categorifier-c-recursion-0.1.drv' failed with exit code 1;
       last 10 log lines:
       >     • Could not deduce (Eq (f (BFix f) a))
       >         arising from the superclasses of an instance declaration
       >       from the context: (Hashable1 (f (BFix f)), Hashable a)
       >         bound by the instance declaration
       >         at Categorifier/C/Recursion.hs:119:10-68
       >     • In the instance declaration for ‘Hashable (BFix f a)’
       >     |
       > 119 | instance (Hashable1 (f (BFix f)), Hashable a) => Hashable (BFix f a) where
       >     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
       > [3 of 3] Compiling Paths_categorifier_c_recursion ( dist/build/autogen/Paths_categorifier_c_recursion.hs, dist/build/Paths_categorifier_c_recursion.o, dist/build/Paths_categorifier_c_recursion.dyn_o )
       For full logs, run 'nix log /nix/store/r0y3wcgcj0hkczaqka7fvk9fzi2cn12a-categorifier-c-recursion-0.1.drv'.
error: builder for '/nix/store/r0y3wcgcj0hkczaqka7fvk9fzi2cn12a-categorifier-c-recursion-0.1.drv' failed with exit code 1
error: 1 dependencies of derivation '/nix/store/0gqi802z3bfizvvlg38jhzvni9xamnqx-categorifier-c-0.1.drv' failed to build
error: 1 dependencies of derivation '/nix/store/ask2g521ywr441y2xazp9x73qdlcph6m-categorifier-c-maker-map-0.1.drv' failed to build