(refs #7371) Support for select keyword for CHR constraints

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHRSelect1.scl

module {
    features = [chr]
}
import "StandardLibrary"

main = select (?a,?b) where
    ?a <- [1,2,3]
    ?b <- [2,3,4]
--
[(1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,2), (3,3), (3,4)]