forked from dafny-lang/dafny
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgit-issue-1005.dfy.expect
28 lines (28 loc) · 3.3 KB
/
git-issue-1005.dfy.expect
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
git-issue-1005.dfy(11,8): Error: wrong number of arguments (got 0, but datatype constructor 'S1' expects 1: (a0: int))
git-issue-1005.dfy(12,8): Error: wrong number of arguments (got 0, but datatype constructor 'S2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(13,8): Error: wrong number of arguments (got 0, but datatype constructor 'S3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(18,8): Error: wrong number of arguments (got 0, but datatype constructor 'S1' expects 1: (a0: int))
git-issue-1005.dfy(19,8): Error: wrong number of arguments (got 0, but datatype constructor 'S2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(20,8): Error: wrong number of arguments (got 0, but datatype constructor 'S3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(24,8): Error: wrong number of arguments (got 1, but datatype constructor 'S0' expects 0)
git-issue-1005.dfy(26,8): Error: wrong number of arguments (got 1, but datatype constructor 'S2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(27,8): Error: wrong number of arguments (got 1, but datatype constructor 'S3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(31,8): Error: wrong number of arguments (got 4, but datatype constructor 'S0' expects 0)
git-issue-1005.dfy(32,8): Error: wrong number of arguments (got 4, but datatype constructor 'S1' expects 1: (a0: int))
git-issue-1005.dfy(33,8): Error: wrong number of arguments (got 4, but datatype constructor 'S2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(34,8): Error: wrong number of arguments (got 4, but datatype constructor 'S3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(44,8): Error: wrong number of arguments (got 0, but datatype constructor 'C1' expects 1: (a0: int))
git-issue-1005.dfy(45,8): Error: wrong number of arguments (got 0, but datatype constructor 'C2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(46,8): Error: wrong number of arguments (got 0, but datatype constructor 'C3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(51,8): Error: wrong number of arguments (got 0, but datatype constructor 'C1' expects 1: (a0: int))
git-issue-1005.dfy(52,8): Error: wrong number of arguments (got 0, but datatype constructor 'C2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(53,8): Error: wrong number of arguments (got 0, but datatype constructor 'C3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(57,8): Error: wrong number of arguments (got 1, but datatype constructor 'C0' expects 0)
git-issue-1005.dfy(59,8): Error: wrong number of arguments (got 1, but datatype constructor 'C2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(60,8): Error: wrong number of arguments (got 1, but datatype constructor 'C3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(64,8): Error: wrong number of arguments (got 4, but datatype constructor 'C0' expects 0)
git-issue-1005.dfy(65,8): Error: wrong number of arguments (got 4, but datatype constructor 'C1' expects 1: (a0: int))
git-issue-1005.dfy(66,8): Error: wrong number of arguments (got 4, but datatype constructor 'C2' expects 2: (a0: int, a1: int))
git-issue-1005.dfy(67,8): Error: wrong number of arguments (got 4, but datatype constructor 'C3' expects 3: (a0: int, a1: int, a2: int))
git-issue-1005.dfy(71,11): Error: unresolved identifier: R5
27 resolution/type errors detected in git-issue-1005.dfy