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 = 42T.dcl
definition module T
:: T a (=: T a)T.icl
implementation module T
:: T a =: T aWith both the master and the iTask compiler:
Run time error, rule 'buildTypeDefInfo' in module 'generics1' does not match
To upload designs, you'll need to enable LFS. More information