]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Void2.scl
(refs #7307) Added features field to SCL module header
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / Void2.scl
1 import "JavaBuiltin" as Java
2
3 class Foo a where
4     foo :: a -> () -> a
5     
6 instance Foo Integer where
7     foo x () = x
8     
9 idWithFoo x = foo x ()    
10     
11 main = idWithFoo (13 :: Integer)
12 --
13 13