Runtime error in the compiler when using generics in conjunction with abstract newtypes
test.icl
module test
import StdGeneric
import T
generic g a :: a
derive g T
Start = 42
T.dcl
definition module T
:: T a (=: T a)
T.icl
implementation module T
:: T a =: T a
With both the master and the iTask compiler:
Run time error, rule 'buildTypeDefInfo' in module 'generics1' does not match