]> gerrit.simantics Code Review - simantics/platform.git/blob - OneLineMatch.scl
d8210a30582061033f39ec30bf9b7f68ab3ced70
[simantics/platform.git] / OneLineMatch.scl
1 // Tests that match cases can be given in the same line as the scrutinee
2 data FooBar a = Foo a | Bar a
3 extract x = match x with Foo v -> v ; Bar v -> v
4 main = extract (Foo (3 :: Integer))
5 --
6 3