]> gerrit.simantics Code Review - simantics/platform.git/blob - CHRSelect2.scl
e49dd44b4bfd553b97ceb4fc063fb9ee2fb17ffd
[simantics/platform.git] / CHRSelect2.scl
1 module {
2     features = [chr]
3 }
4 import "StandardLibrary"
5
6 main = 
7     select (?a,?b) where
8         Foo ?a
9         Bar ?b
10   where
11     True => Foo 1
12     True => Foo 2
13     
14     True => Bar 3
15     True => Bar 4
16 --
17 [(2,4), (2,3), (1,4), (1,3)]