]> gerrit.simantics Code Review - simantics/platform.git/blob - InvalidKinds3.scl
Code Review / simantics / platform.git / blob
? search:


5e9042913981f5f3a389aaa854e4eebe364d2045
[simantics/platform.git] / InvalidKinds3.scl
1
2 data List a = Nil | Cons a List
3
4 --
5 2:28-2:32: Expected a type with kind * but got ?a -> *.
Simantics Platform SDK.