X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FInvalidKinds3.scl;h=5e9042913981f5f3a389aaa854e4eebe364d2045;hp=445dd7ead6ffeed09f99f5cde9d77f63745adc99;hb=HEAD;hpb=c08364c64a0bb53c45c052a3e4cea8702bbd69a0 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidKinds3.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidKinds3.scl index 445dd7ead..5e9042913 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidKinds3.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidKinds3.scl @@ -1,5 +1,5 @@ - -data List a = Nil | Cons a List - --- + +data List a = Nil | Cons a List + +-- 2:28-2:32: Expected a type with kind * but got ?a -> *. \ No newline at end of file