catamorphism

catamorphism copied to clipboard

``` Illegal kind signature: ‘ghc-prim-0.5.1.1:GHC.Types.Type’ Perhaps you intended to use KindSignatures In the type signature for ‘cataProp’ | 40 | $(makeCata defaultOptions { cataName = "cataProp" } ''Proposition) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

buggymcbugfix

Code generated for non-regular recursive types does not typecheck

1

Using catamorphism 0.5.0.1, the following program fails to compile: ``` haskell {-# LANGUAGE TemplateHaskell #-} import Data.Morphism.Cata data List a = Empty | Cons a (List (List a)) $(makeCata defaultOptions...

frerich