The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
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