I've been trying to compile HLearn on a more recent GHC release. Since it depends on subhask, I need to get that compiling first! I've gotten most of the modules compiling.
The current issue is related to the Monoidal category class:
/Users/xavier/Code/mikeizbicki/subhask/src/SubHask/Category.hs:268:27: error:
• Expected a type, but ‘TUnit cat’ has kind ‘k’
• In the type signature:
tunit :: proxy cat -> TUnit cat
In the class declaration for ‘Monoidal’
for reference:
type TUnit cat :: k
tunit :: proxy cat -> TUnit cat
I don't understand how this was working before since all values are of kind *?
I've been trying to compile HLearn on a more recent GHC release. Since it depends on subhask, I need to get that compiling first! I've gotten most of the modules compiling.
The current issue is related to the
Monoidal
category class:for reference:
I don't understand how this was working before since all values are of kind
*
?