--- /dev/null
+module {
+ export = [main],
+ chr
+}
+
+import "StandardLibrary"
+
+ruleset RS where
+ constraint X Integer
+ -X ?value, X ?value => True
+ X ?value => print "A \(?value)"
+
+main :: ()
+main = ()
+ where
+ rs = createRS
+ include RS rs
+ X ?value => print "B \(?value)"
+ True => X 1
+ True => X 2
+ True => X 1
+--
+()