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/HList/Builtins.out | |
| parent | 5f7bbe131b0645a74a0389172ab302e2b25ea9c7 (diff) | |
refactoring
Diffstat (limited to 'testdata/HList/Builtins.out')
| -rw-r--r-- | testdata/HList/Builtins.out | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testdata/HList/Builtins.out b/testdata/HList/Builtins.out index c6777483..9c8a6bcd 100644 --- a/testdata/HList/Builtins.out +++ b/testdata/HList/Builtins.out | |||
| @@ -922,10 +922,8 @@ testdata/HList/Builtins.lc 95:20-113:24 Type | Type->Type | |||
| 922 | testdata/HList/Builtins.lc 95:20-123:40 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a | 922 | testdata/HList/Builtins.lc 95:20-123:40 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a |
| 923 | testdata/HList/Builtins.lc 95:20-124:35 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a | 923 | testdata/HList/Builtins.lc 95:20-124:35 V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a |
| 924 | testdata/HList/Builtins.lc 96:14-96:15 V1 | 924 | testdata/HList/Builtins.lc 96:14-96:15 V1 |
| 925 | testdata/HList/Builtins.lc 96:14-96:22 Int | ||
| 926 | testdata/HList/Builtins.lc 96:19-96:22 Type | 925 | testdata/HList/Builtins.lc 96:19-96:22 Type |
| 927 | testdata/HList/Builtins.lc 97:13-97:14 V1 | 926 | testdata/HList/Builtins.lc 97:13-97:14 V1 |
| 928 | testdata/HList/Builtins.lc 97:13-97:21 Int | ||
| 929 | testdata/HList/Builtins.lc 97:18-97:21 Type | 927 | testdata/HList/Builtins.lc 97:18-97:21 Type |
| 930 | testdata/HList/Builtins.lc 98:20-98:24 Type | 928 | testdata/HList/Builtins.lc 98:20-98:24 Type |
| 931 | testdata/HList/Builtins.lc 98:20-99:23 V1->V2 | 929 | testdata/HList/Builtins.lc 98:20-99:23 V1->V2 |
| @@ -934,10 +932,8 @@ testdata/HList/Builtins.lc 98:20-113:24 Type | |||
| 934 | testdata/HList/Builtins.lc 98:20-123:40 V1 | 932 | testdata/HList/Builtins.lc 98:20-123:40 V1 |
| 935 | testdata/HList/Builtins.lc 98:20-124:35 V1 | 933 | testdata/HList/Builtins.lc 98:20-124:35 V1 |
| 936 | testdata/HList/Builtins.lc 99:14-99:15 V1 | 934 | testdata/HList/Builtins.lc 99:14-99:15 V1 |
| 937 | testdata/HList/Builtins.lc 99:14-99:23 Word | ||
| 938 | testdata/HList/Builtins.lc 99:19-99:23 Type | 935 | testdata/HList/Builtins.lc 99:19-99:23 Type |
| 939 | testdata/HList/Builtins.lc 100:13-100:14 V1 | 936 | testdata/HList/Builtins.lc 100:13-100:14 V1 |
| 940 | testdata/HList/Builtins.lc 100:13-100:22 Word | ||
| 941 | testdata/HList/Builtins.lc 100:18-100:22 Type | 937 | testdata/HList/Builtins.lc 100:18-100:22 Type |
| 942 | testdata/HList/Builtins.lc 101:20-101:25 Type | 938 | testdata/HList/Builtins.lc 101:20-101:25 Type |
| 943 | testdata/HList/Builtins.lc 101:20-102:17 V1->V2 | 939 | testdata/HList/Builtins.lc 101:20-102:17 V1->V2 |