]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/scl/InvalidTypeClassInstance1.scl
Fixed multiple issues causing dangling references to discarded queries
[simantics/platform.git] / tests / scl / InvalidTypeClassInstance1.scl
1
2 class Foo a where
3     foo :: a -> Integer
4     
5 instance Foo Long where
6     foo x = x
7         
8 --
9 6:13-6:14: Expected <Integer> got <Long>.