search

vmchale / recursion_schemes

Recursion schemes for Idris
BSD 3-Clause "New" or "Revised" License
64 stars 5 forks source link

Mismatch types #1

Closed xgrommx closed 7 years ago

xgrommx commented 7 years ago

Hello @vmchale I got this after trying to run your code

~/w/i/recursion_schemes (master|…) $ idris --testpkg test.ipkg
Type checking ./Data/Functor/Foldable/Instances.idr
./Data/Functor/Foldable/Instances.idr:17:17:
When checking type of Data.Functor.Foldable.Instances.NuF:
When checking an application of Data.Functor.Foldable.Instances.Nu:
        Type mismatch between
                Type (Type of g)
        and
                (a -> f a) -> a (Expected type)
./Data/Functor/Foldable/Instances.idr:19:41-42:
When checking type of Data.Functor.Foldable.Instances.Mu:
Type mismatch between
        Type -> Type (Type of a)
and
        Type (Expected type)

I use Idris 1.1.0

vmchale commented 7 years ago

Hi @xgrommx,

I just pushed an updated version of the library that should fix this.

Thanks for the report!