]> gerrit.simantics Code Review - simantics/platform.git/blob - scl/compiler/tests/scl/InvalidKinds3.scl
Fixed multiple issues causing dangling references to discarded queries
[simantics/platform.git] / scl / compiler / tests / scl / 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 -> *.