tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR14.scl

   1 module { export = [main], features = [chr] }
   2 import "Prelude"
   3
   4 ruleset A where
   5     constraint AR Integer Integer
   6
   7 pcombine :: A -> <Proc> ()
   8 pcombine a = ()
   9   where
  10     include A a
  11
  12     -AR ?a ?b => True
  13
  14 main = ()
  15 --
  16 ()