tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/NonexistentTypeClassInAnnotation.scl

   1 import "Prelude"
   2
   3 deepId :: FooBar b => b -> a -> a
   4 deepId count x = deepId2 count x
   5 deepId2 count x = if count <= 0 then x else deepId (count-1) x
   6
   7 main = deepId (5 :: Integer) "FOO"
   8 --
   9 3:11-3:17: Unresolved type class FooBar.