diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 10:48:29 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 11:05:08 +0100 |
| commit | fce14b4a6a908a460854b86d40edd5b45cd1e45f (patch) | |
| tree | 2f6f79f90b55be944112f90af6985f0379deca90 /testdata/Builtins.out | |
| parent | 5f7bbe131b0645a74a0389172ab302e2b25ea9c7 (diff) | |
refactoring
Diffstat (limited to 'testdata/Builtins.out')
| -rw-r--r-- | testdata/Builtins.out | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index bc06d1b4..649aa4f4 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
| @@ -917,10 +917,8 @@ testdata/Builtins.lc 94:20-112:24 Type | Type->Type | |||
| 917 | testdata/Builtins.lc 94:20-122:40 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a | 917 | testdata/Builtins.lc 94:20-122:40 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a |
| 918 | testdata/Builtins.lc 94:20-123:35 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a | 918 | testdata/Builtins.lc 94:20-123:35 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a |
| 919 | testdata/Builtins.lc 95:14-95:15 V1 | 919 | testdata/Builtins.lc 95:14-95:15 V1 |
| 920 | testdata/Builtins.lc 95:14-95:22 Int | ||
| 921 | testdata/Builtins.lc 95:19-95:22 Type | 920 | testdata/Builtins.lc 95:19-95:22 Type |
| 922 | testdata/Builtins.lc 96:13-96:14 V1 | 921 | testdata/Builtins.lc 96:13-96:14 V1 |
| 923 | testdata/Builtins.lc 96:13-96:21 Int | ||
| 924 | testdata/Builtins.lc 96:18-96:21 Type | 922 | testdata/Builtins.lc 96:18-96:21 Type |
| 925 | testdata/Builtins.lc 97:20-97:24 Type | 923 | testdata/Builtins.lc 97:20-97:24 Type |
| 926 | testdata/Builtins.lc 97:20-98:23 V1->V2 | 924 | testdata/Builtins.lc 97:20-98:23 V1->V2 |
| @@ -929,10 +927,8 @@ testdata/Builtins.lc 97:20-112:24 Type | |||
| 929 | testdata/Builtins.lc 97:20-122:40 V1 | 927 | testdata/Builtins.lc 97:20-122:40 V1 |
| 930 | testdata/Builtins.lc 97:20-123:35 V1 | 928 | testdata/Builtins.lc 97:20-123:35 V1 |
| 931 | testdata/Builtins.lc 98:14-98:15 V1 | 929 | testdata/Builtins.lc 98:14-98:15 V1 |
| 932 | testdata/Builtins.lc 98:14-98:23 Word | ||
| 933 | testdata/Builtins.lc 98:19-98:23 Type | 930 | testdata/Builtins.lc 98:19-98:23 Type |
| 934 | testdata/Builtins.lc 99:13-99:14 V1 | 931 | testdata/Builtins.lc 99:13-99:14 V1 |
| 935 | testdata/Builtins.lc 99:13-99:22 Word | ||
| 936 | testdata/Builtins.lc 99:18-99:22 Type | 932 | testdata/Builtins.lc 99:18-99:22 Type |
| 937 | testdata/Builtins.lc 100:20-100:25 Type | 933 | testdata/Builtins.lc 100:20-100:25 Type |
| 938 | testdata/Builtins.lc 100:20-101:17 V1->V2 | 934 | testdata/Builtins.lc 100:20-101:17 V1->V2 |