summaryrefslogtreecommitdiff
path: root/test/files/run/patmat-behavior-2.check
blob: a928fe7918b98e3a84da6ebd5d9cc7524c40f69b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
f1(Foo(1)) == true
f1(Foo(1, 2)) == false
f1(Foo(1, 2, 3)) == false

f2(Foo(1)) == false
f2(Foo(1, 2)) == true
f2(Foo(1, 2, 3)) == false

f3(Foo(1)) == false
f3(Foo(1, 2)) == false
f3(Foo(1, 2, 3)) == true

f1seq(Foo(1)) == true
f1seq(Foo(1, 2)) == true
f1seq(Foo(1, 2, 3)) == true

f2seq(Foo(1)) == false
f2seq(Foo(1, 2)) == true
f2seq(Foo(1, 2, 3)) == true

f3seq(Foo(1)) == false
f3seq(Foo(1, 2)) == false
f3seq(Foo(1, 2, 3)) == true