Ticket #74 (closed defect: fixed)
Finish implementation of constructor classes
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:||0.1.2|
Added by Jared
The following function causes the compiler to panic.
example = map id 0
The error message is
DDC: error in stage solve PANIC in Type.Squid.Class mergeClassesT: [% -> *, * -> *]
This should fail with a class error stating that Int is not an instance of Functor. When type classes are fully working, it should complain that it could not deduce class Functor from context Num.
Kind inference and constructor classes aren't finished yet - so there'll be lots more panic s where this came from.