diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:43 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:49 +0100 |
| commit | be93cb71dc582a4b40ce3e68bbd058b0e318b688 (patch) | |
| tree | bcce84604c0d90b6888d367a55270ddaf589afdd /testdata/complex.out | |
| parent | 03c8e879558f8e16e49b21d493a82ba9657f7d13 (diff) | |
update test output
Diffstat (limited to 'testdata/complex.out')
| -rw-r--r-- | testdata/complex.out | 514 |
1 files changed, 257 insertions, 257 deletions
diff --git a/testdata/complex.out b/testdata/complex.out index d5968fb7..3a7358bd 100644 --- a/testdata/complex.out +++ b/testdata/complex.out | |||
| @@ -1,259 +1,259 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | tooltips: | 2 | tooltips: |
| 3 | ./testdata/accept/complex.lc 3:6-3:10 Type | 3 | testdata/complex.lc 3:6-3:10 Type |
| 4 | ./testdata/accept/complex.lc 3:13-3:19 'Repr | 4 | testdata/complex.lc 3:13-3:19 'Repr |
| 5 | ./testdata/accept/complex.lc 3:22-3:27 'Repr | 5 | testdata/complex.lc 3:22-3:27 'Repr |
| 6 | ./testdata/accept/complex.lc 5:17-5:21 Type | 6 | testdata/complex.lc 5:17-5:21 Type |
| 7 | ./testdata/accept/complex.lc 5:25-5:29 Type | 7 | testdata/complex.lc 5:25-5:29 Type |
| 8 | ./testdata/accept/complex.lc 5:6-5:13 'Repr->Type | 8 | testdata/complex.lc 5:6-5:13 'Repr->Type |
| 9 | ./testdata/accept/complex.lc 6:25-6:52 Type | 9 | testdata/complex.lc 6:25-6:52 Type |
| 10 | ./testdata/accept/complex.lc 6:25-6:30 Type | 10 | testdata/complex.lc 6:25-6:30 Type |
| 11 | ./testdata/accept/complex.lc 6:34-6:52 Type | 11 | testdata/complex.lc 6:34-6:52 Type |
| 12 | ./testdata/accept/complex.lc 6:34-6:39 Type | 12 | testdata/complex.lc 6:34-6:39 Type |
| 13 | ./testdata/accept/complex.lc 6:43-6:52 Type | 13 | testdata/complex.lc 6:43-6:52 Type |
| 14 | ./testdata/accept/complex.lc 6:43-6:50 'Repr->Type | 14 | testdata/complex.lc 6:43-6:50 'Repr->Type |
| 15 | ./testdata/accept/complex.lc 6:51-6:52 'Repr | 15 | testdata/complex.lc 6:51-6:52 'Repr |
| 16 | ./testdata/accept/complex.lc 6:51-6:52 V3 | 16 | testdata/complex.lc 6:51-6:52 V3 |
| 17 | ./testdata/accept/complex.lc 6:3-6:10 {a:'Repr} -> 'Float -> 'Float -> 'Complex a | 17 | testdata/complex.lc 6:3-6:10 {a:'Repr} -> 'Float -> 'Float -> 'Complex a |
| 18 | ./testdata/accept/complex.lc 6:51-6:52 Type | 18 | testdata/complex.lc 6:51-6:52 Type |
| 19 | ./testdata/accept/complex.lc 8:20-8:37 Type | 19 | testdata/complex.lc 8:20-8:37 Type |
| 20 | ./testdata/accept/complex.lc 8:20-8:27 'Repr->Type | 20 | testdata/complex.lc 8:20-8:27 'Repr->Type |
| 21 | ./testdata/accept/complex.lc 8:28-8:29 'Repr | 21 | testdata/complex.lc 8:28-8:29 'Repr |
| 22 | ./testdata/accept/complex.lc 8:28-8:29 V1 | 22 | testdata/complex.lc 8:28-8:29 V1 |
| 23 | ./testdata/accept/complex.lc 8:33-8:37 Type | 23 | testdata/complex.lc 8:33-8:37 Type |
| 24 | ./testdata/accept/complex.lc 9:1-9:5 {a:'Repr} -> 'Complex a -> 'Repr | 24 | testdata/complex.lc 9:1-9:5 {a:'Repr} -> 'Complex a -> 'Repr |
| 25 | ./testdata/accept/complex.lc 11:11-11:43 Type | 25 | testdata/complex.lc 11:11-11:43 Type |
| 26 | ./testdata/accept/complex.lc 11:11-11:16 Type | 26 | testdata/complex.lc 11:11-11:16 Type |
| 27 | ./testdata/accept/complex.lc 11:20-11:43 Type | 27 | testdata/complex.lc 11:20-11:43 Type |
| 28 | ./testdata/accept/complex.lc 11:20-11:25 Type | 28 | testdata/complex.lc 11:20-11:25 Type |
| 29 | ./testdata/accept/complex.lc 11:29-11:43 Type | 29 | testdata/complex.lc 11:29-11:43 Type |
| 30 | ./testdata/accept/complex.lc 11:29-11:36 'Repr->Type | 30 | testdata/complex.lc 11:29-11:36 'Repr->Type |
| 31 | ./testdata/accept/complex.lc 11:37-11:43 'Repr | 31 | testdata/complex.lc 11:37-11:43 'Repr |
| 32 | ./testdata/accept/complex.lc 12:14-12:21 'Float -> 'Float -> 'Complex Normal | 32 | testdata/complex.lc 12:14-12:21 'Float -> 'Float -> 'Complex Normal |
| 33 | ./testdata/accept/complex.lc 12:14-12:21 'Float -> 'Complex Normal | 33 | testdata/complex.lc 12:14-12:21 'Float -> 'Complex Normal |
| 34 | ./testdata/accept/complex.lc 12:14-12:21 'Complex Normal | 34 | testdata/complex.lc 12:14-12:21 'Complex Normal |
| 35 | ./testdata/accept/complex.lc 12:14-12:21 {a:'Repr} -> 'Float -> 'Float -> 'Complex a | 35 | testdata/complex.lc 12:14-12:21 {a:'Repr} -> 'Float -> 'Float -> 'Complex a |
| 36 | ./testdata/accept/complex.lc 12:1-12:7 'Float -> 'Float -> 'Complex Normal | 36 | testdata/complex.lc 12:1-12:7 'Float -> 'Float -> 'Complex Normal |
| 37 | ./testdata/accept/complex.lc 14:10-14:41 Type | 37 | testdata/complex.lc 14:10-14:41 Type |
| 38 | ./testdata/accept/complex.lc 14:10-14:15 Type | 38 | testdata/complex.lc 14:10-14:15 Type |
| 39 | ./testdata/accept/complex.lc 14:19-14:41 Type | 39 | testdata/complex.lc 14:19-14:41 Type |
| 40 | ./testdata/accept/complex.lc 14:19-14:24 Type | 40 | testdata/complex.lc 14:19-14:24 Type |
| 41 | ./testdata/accept/complex.lc 14:28-14:41 Type | 41 | testdata/complex.lc 14:28-14:41 Type |
| 42 | ./testdata/accept/complex.lc 14:28-14:35 'Repr->Type | 42 | testdata/complex.lc 14:28-14:35 'Repr->Type |
| 43 | ./testdata/accept/complex.lc 14:36-14:41 'Repr | 43 | testdata/complex.lc 14:36-14:41 'Repr |
| 44 | ./testdata/accept/complex.lc 15:13-15:20 'Float -> 'Float -> 'Complex Polar | 44 | testdata/complex.lc 15:13-15:20 'Float -> 'Float -> 'Complex Polar |
| 45 | ./testdata/accept/complex.lc 15:13-15:20 'Float -> 'Complex Polar | 45 | testdata/complex.lc 15:13-15:20 'Float -> 'Complex Polar |
| 46 | ./testdata/accept/complex.lc 15:13-15:20 'Complex Polar | 46 | testdata/complex.lc 15:13-15:20 'Complex Polar |
| 47 | ./testdata/accept/complex.lc 15:13-15:20 {a:'Repr} -> 'Float -> 'Float -> 'Complex a | 47 | testdata/complex.lc 15:13-15:20 {a:'Repr} -> 'Float -> 'Float -> 'Complex a |
| 48 | ./testdata/accept/complex.lc 15:1-15:6 'Float -> 'Float -> 'Complex Polar | 48 | testdata/complex.lc 15:1-15:6 'Float -> 'Float -> 'Complex Polar |
| 49 | ./testdata/accept/complex.lc 18:20-18:38 Type | 49 | testdata/complex.lc 18:20-18:38 Type |
| 50 | ./testdata/accept/complex.lc 18:20-18:27 'Repr->Type | 50 | testdata/complex.lc 18:20-18:27 'Repr->Type |
| 51 | ./testdata/accept/complex.lc 18:28-18:29 'Repr | 51 | testdata/complex.lc 18:28-18:29 'Repr |
| 52 | ./testdata/accept/complex.lc 18:28-18:29 V1 | 52 | testdata/complex.lc 18:28-18:29 V1 |
| 53 | ./testdata/accept/complex.lc 18:33-18:38 Type | 53 | testdata/complex.lc 18:33-18:38 Type |
| 54 | ./testdata/accept/complex.lc 19:7-20:29 {a:'Repr} -> 'Complex a -> 'Float | 54 | testdata/complex.lc 19:7-20:29 {a:'Repr} -> 'Complex a -> 'Float |
| 55 | ./testdata/accept/complex.lc 19:7-20:29 'Complex V0 -> 'Float | 55 | testdata/complex.lc 19:7-20:29 'Complex V0 -> 'Float |
| 56 | ./testdata/accept/complex.lc 19:7-20:29 'Float | 56 | testdata/complex.lc 19:7-20:29 'Float |
| 57 | ./testdata/accept/complex.lc 19:23-19:37 V0 | 57 | testdata/complex.lc 19:23-19:37 V0 |
| 58 | ./testdata/accept/complex.lc 19:33-19:37 {a:'Repr} -> 'Float -> 'Float->V3 | 58 | testdata/complex.lc 19:33-19:37 {a:'Repr} -> 'Float -> 'Float->V3 |
| 59 | ./testdata/accept/complex.lc 19:33-19:37 'Float -> 'Float->V3 | 59 | testdata/complex.lc 19:33-19:37 'Float -> 'Float->V3 |
| 60 | ./testdata/accept/complex.lc 19:33-19:37 'Float->V3 | 60 | testdata/complex.lc 19:33-19:37 'Float->V3 |
| 61 | ./testdata/accept/complex.lc 19:33-19:37 V3 | 61 | testdata/complex.lc 19:33-19:37 V3 |
| 62 | ./testdata/accept/complex.lc 19:33-19:37 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 62 | testdata/complex.lc 19:33-19:37 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 63 | ./testdata/accept/complex.lc 19:23-19:26 'Complex V0 | 63 | testdata/complex.lc 19:23-19:26 'Complex V0 |
| 64 | ./testdata/accept/complex.lc 19:23-19:26 'Complex V3 | 64 | testdata/complex.lc 19:23-19:26 'Complex V3 |
| 65 | ./testdata/accept/complex.lc 20:23-20:29 'Float | 65 | testdata/complex.lc 20:23-20:29 'Float |
| 66 | ./testdata/accept/complex.lc 20:23-20:29 'Complex V0 | 66 | testdata/complex.lc 20:23-20:29 'Complex V0 |
| 67 | ./testdata/accept/complex.lc 20:23-20:29 'Complex V2 | 67 | testdata/complex.lc 20:23-20:29 'Complex V2 |
| 68 | ./testdata/accept/complex.lc 19:7-19:13 'Repr | 68 | testdata/complex.lc 19:7-19:13 'Repr |
| 69 | ./testdata/accept/complex.lc 19:1-19:5 {a:'Repr} -> 'Complex a -> 'Float | 69 | testdata/complex.lc 19:1-19:5 {a:'Repr} -> 'Complex a -> 'Float |
| 70 | ./testdata/accept/complex.lc 22:12-22:43 Type | 70 | testdata/complex.lc 22:12-22:43 Type |
| 71 | ./testdata/accept/complex.lc 22:12-22:19 'Repr->Type | 71 | testdata/complex.lc 22:12-22:19 'Repr->Type |
| 72 | ./testdata/accept/complex.lc 22:20-22:26 'Repr | 72 | testdata/complex.lc 22:20-22:26 'Repr |
| 73 | ./testdata/accept/complex.lc 22:30-22:43 Type | 73 | testdata/complex.lc 22:30-22:43 Type |
| 74 | ./testdata/accept/complex.lc 22:30-22:37 'Repr->Type | 74 | testdata/complex.lc 22:30-22:37 'Repr->Type |
| 75 | ./testdata/accept/complex.lc 22:38-22:43 'Repr | 75 | testdata/complex.lc 22:38-22:43 'Repr |
| 76 | ./testdata/accept/complex.lc 23:18-31:13 'Complex Normal -> 'Complex Polar | 76 | testdata/complex.lc 23:18-31:13 'Complex Normal -> 'Complex Polar |
| 77 | ./testdata/accept/complex.lc 23:18-31:13 'Complex Polar | 77 | testdata/complex.lc 23:18-31:13 'Complex Polar |
| 78 | ./testdata/accept/complex.lc 24:8-31:13 {a:'Repr} -> 'Float -> 'Float->V3 | 78 | testdata/complex.lc 24:8-31:13 {a:'Repr} -> 'Float -> 'Float->V3 |
| 79 | ./testdata/accept/complex.lc 24:8-31:13 'Float -> 'Float->V3 | 79 | testdata/complex.lc 24:8-31:13 'Float -> 'Float->V3 |
| 80 | ./testdata/accept/complex.lc 24:8-31:13 'Float->V3 | 80 | testdata/complex.lc 24:8-31:13 'Float->V3 |
| 81 | ./testdata/accept/complex.lc 24:8-31:13 V3 | 81 | testdata/complex.lc 24:8-31:13 V3 |
| 82 | ./testdata/accept/complex.lc 31:9-31:13 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 82 | testdata/complex.lc 31:9-31:13 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 83 | ./testdata/accept/complex.lc 24:8-29:17 {a} -> 'Bool -> a -> a->a | 83 | testdata/complex.lc 24:8-29:17 {a} -> 'Bool -> a -> a->a |
| 84 | ./testdata/accept/complex.lc 24:16-24:19 'Bool | 84 | testdata/complex.lc 24:16-24:19 'Bool |
| 85 | ./testdata/accept/complex.lc 24:16-24:19 'Float | 85 | testdata/complex.lc 24:16-24:19 'Float |
| 86 | ./testdata/accept/complex.lc 24:8-29:17 V0 | 86 | testdata/complex.lc 24:8-29:17 V0 |
| 87 | ./testdata/accept/complex.lc 24:37-24:42 'Float -> 'Float -> 'Complex Polar | 87 | testdata/complex.lc 24:37-24:42 'Float -> 'Float -> 'Complex Polar |
| 88 | ./testdata/accept/complex.lc 24:8-29:17 'Float | 88 | testdata/complex.lc 24:8-29:17 'Float |
| 89 | ./testdata/accept/complex.lc 24:46-24:50 'Float | 89 | testdata/complex.lc 24:46-24:50 'Float |
| 90 | ./testdata/accept/complex.lc 24:46-24:50 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 90 | testdata/complex.lc 24:46-24:50 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 91 | ./testdata/accept/complex.lc 24:8-29:17 'Complex Polar | 91 | testdata/complex.lc 24:8-29:17 'Complex Polar |
| 92 | ./testdata/accept/complex.lc 25:8-29:17 {a} -> 'Bool -> a -> a->a | 92 | testdata/complex.lc 25:8-29:17 {a} -> 'Bool -> a -> a->a |
| 93 | ./testdata/accept/complex.lc 25:16-25:31 'Bool | 93 | testdata/complex.lc 25:16-25:31 'Bool |
| 94 | ./testdata/accept/complex.lc 25:16-25:19 'Bool | 94 | testdata/complex.lc 25:16-25:19 'Bool |
| 95 | ./testdata/accept/complex.lc 25:16-25:19 'Float | 95 | testdata/complex.lc 25:16-25:19 'Float |
| 96 | ./testdata/accept/complex.lc 25:28-25:31 'Bool | 96 | testdata/complex.lc 25:28-25:31 'Bool |
| 97 | ./testdata/accept/complex.lc 25:28-25:31 'Float | 97 | testdata/complex.lc 25:28-25:31 'Float |
| 98 | ./testdata/accept/complex.lc 25:37-25:42 'Float -> 'Float -> 'Complex Polar | 98 | testdata/complex.lc 25:37-25:42 'Float -> 'Float -> 'Complex Polar |
| 99 | ./testdata/accept/complex.lc 25:46-25:63 'Float | 99 | testdata/complex.lc 25:46-25:63 'Float |
| 100 | ./testdata/accept/complex.lc 25:46-25:50 V1 | 100 | testdata/complex.lc 25:46-25:50 V1 |
| 101 | ./testdata/accept/complex.lc 25:46-25:50 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 101 | testdata/complex.lc 25:46-25:50 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 102 | ./testdata/accept/complex.lc 25:61-25:63 'Float | 102 | testdata/complex.lc 25:61-25:63 'Float |
| 103 | ./testdata/accept/complex.lc 26:8-29:17 {a} -> 'Bool -> a -> a->a | 103 | testdata/complex.lc 26:8-29:17 {a} -> 'Bool -> a -> a->a |
| 104 | ./testdata/accept/complex.lc 26:16-26:31 'Bool | 104 | testdata/complex.lc 26:16-26:31 'Bool |
| 105 | ./testdata/accept/complex.lc 26:16-26:19 'Bool | 105 | testdata/complex.lc 26:16-26:19 'Bool |
| 106 | ./testdata/accept/complex.lc 26:16-26:19 'Float | 106 | testdata/complex.lc 26:16-26:19 'Float |
| 107 | ./testdata/accept/complex.lc 26:28-26:31 'Bool | 107 | testdata/complex.lc 26:28-26:31 'Bool |
| 108 | ./testdata/accept/complex.lc 26:28-26:31 'Float | 108 | testdata/complex.lc 26:28-26:31 'Float |
| 109 | ./testdata/accept/complex.lc 26:37-26:42 'Float -> 'Float -> 'Complex Polar | 109 | testdata/complex.lc 26:37-26:42 'Float -> 'Float -> 'Complex Polar |
| 110 | ./testdata/accept/complex.lc 26:46-26:63 'Float | 110 | testdata/complex.lc 26:46-26:63 'Float |
| 111 | ./testdata/accept/complex.lc 26:46-26:50 V1 | 111 | testdata/complex.lc 26:46-26:50 V1 |
| 112 | ./testdata/accept/complex.lc 26:46-26:50 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 112 | testdata/complex.lc 26:46-26:50 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 113 | ./testdata/accept/complex.lc 26:61-26:63 'Float | 113 | testdata/complex.lc 26:61-26:63 'Float |
| 114 | ./testdata/accept/complex.lc 27:8-29:17 {a} -> 'Bool -> a -> a->a | 114 | testdata/complex.lc 27:8-29:17 {a} -> 'Bool -> a -> a->a |
| 115 | ./testdata/accept/complex.lc 27:16-27:31 'Bool | 115 | testdata/complex.lc 27:16-27:31 'Bool |
| 116 | ./testdata/accept/complex.lc 27:16-27:19 'Bool | 116 | testdata/complex.lc 27:16-27:19 'Bool |
| 117 | ./testdata/accept/complex.lc 27:16-27:19 'Float | 117 | testdata/complex.lc 27:16-27:19 'Float |
| 118 | ./testdata/accept/complex.lc 27:28-27:31 'Bool | 118 | testdata/complex.lc 27:28-27:31 'Bool |
| 119 | ./testdata/accept/complex.lc 27:28-27:31 'Float | 119 | testdata/complex.lc 27:28-27:31 'Float |
| 120 | ./testdata/accept/complex.lc 27:37-27:42 'Float -> 'Float -> 'Complex Polar | 120 | testdata/complex.lc 27:37-27:42 'Float -> 'Float -> 'Complex Polar |
| 121 | ./testdata/accept/complex.lc 27:47-27:55 'Float | 121 | testdata/complex.lc 27:47-27:55 'Float |
| 122 | ./testdata/accept/complex.lc 27:47-27:49 'VecScalar V1 V2 | 122 | testdata/complex.lc 27:47-27:49 'VecScalar V1 V2 |
| 123 | ./testdata/accept/complex.lc 27:47-27:49 'Float | 123 | testdata/complex.lc 27:47-27:49 'Float |
| 124 | ./testdata/accept/complex.lc 27:52-27:55 'Float | 124 | testdata/complex.lc 27:52-27:55 'Float |
| 125 | ./testdata/accept/complex.lc 28:8-29:17 {a} -> 'Bool -> a -> a->a | 125 | testdata/complex.lc 28:8-29:17 {a} -> 'Bool -> a -> a->a |
| 126 | ./testdata/accept/complex.lc 28:16-28:31 'Bool | 126 | testdata/complex.lc 28:16-28:31 'Bool |
| 127 | ./testdata/accept/complex.lc 28:16-28:19 'Bool | 127 | testdata/complex.lc 28:16-28:19 'Bool |
| 128 | ./testdata/accept/complex.lc 28:16-28:19 'Float | 128 | testdata/complex.lc 28:16-28:19 'Float |
| 129 | ./testdata/accept/complex.lc 28:28-28:31 'Bool | 129 | testdata/complex.lc 28:28-28:31 'Bool |
| 130 | ./testdata/accept/complex.lc 28:28-28:31 'Float | 130 | testdata/complex.lc 28:28-28:31 'Float |
| 131 | ./testdata/accept/complex.lc 28:37-28:42 'Float -> 'Float -> 'Complex Polar | 131 | testdata/complex.lc 28:37-28:42 'Float -> 'Float -> 'Complex Polar |
| 132 | ./testdata/accept/complex.lc 28:46-28:55 'Float | 132 | testdata/complex.lc 28:46-28:55 'Float |
| 133 | ./testdata/accept/complex.lc 28:46-28:55 V1 | 133 | testdata/complex.lc 28:46-28:55 V1 |
| 134 | ./testdata/accept/complex.lc 28:46-28:55 'Int | 134 | testdata/complex.lc 28:46-28:55 'Int |
| 135 | ./testdata/accept/complex.lc 28:47-28:55 'Float | 135 | testdata/complex.lc 28:47-28:55 'Float |
| 136 | ./testdata/accept/complex.lc 28:47-28:49 'VecScalar V1 V2 | 136 | testdata/complex.lc 28:47-28:49 'VecScalar V1 V2 |
| 137 | ./testdata/accept/complex.lc 28:47-28:49 'Float | 137 | testdata/complex.lc 28:47-28:49 'Float |
| 138 | ./testdata/accept/complex.lc 28:52-28:55 'Float | 138 | testdata/complex.lc 28:52-28:55 'Float |
| 139 | ./testdata/accept/complex.lc 29:8-29:17 'Complex Polar | 139 | testdata/complex.lc 29:8-29:17 'Complex Polar |
| 140 | ./testdata/accept/complex.lc 23:18-23:21 'Complex V0 | 140 | testdata/complex.lc 23:18-23:21 'Complex V0 |
| 141 | ./testdata/accept/complex.lc 23:18-23:21 'Complex Normal | 141 | testdata/complex.lc 23:18-23:21 'Complex Normal |
| 142 | ./testdata/accept/complex.lc 23:1-23:8 'Complex Normal -> 'Complex Polar | 142 | testdata/complex.lc 23:1-23:8 'Complex Normal -> 'Complex Polar |
| 143 | ./testdata/accept/complex.lc 64:13-64:44 Type | 143 | testdata/complex.lc 64:13-64:44 Type |
| 144 | ./testdata/accept/complex.lc 64:13-64:20 'Repr->Type | 144 | testdata/complex.lc 64:13-64:20 'Repr->Type |
| 145 | ./testdata/accept/complex.lc 64:21-64:26 'Repr | 145 | testdata/complex.lc 64:21-64:26 'Repr |
| 146 | ./testdata/accept/complex.lc 64:30-64:44 Type | 146 | testdata/complex.lc 64:30-64:44 Type |
| 147 | ./testdata/accept/complex.lc 64:30-64:37 'Repr->Type | 147 | testdata/complex.lc 64:30-64:37 'Repr->Type |
| 148 | ./testdata/accept/complex.lc 64:38-64:44 'Repr | 148 | testdata/complex.lc 64:38-64:44 'Repr |
| 149 | ./testdata/accept/complex.lc 65:19-65:58 'Complex Polar -> 'Complex Normal | 149 | testdata/complex.lc 65:19-65:58 'Complex Polar -> 'Complex Normal |
| 150 | ./testdata/accept/complex.lc 65:19-65:58 'Complex Normal | 150 | testdata/complex.lc 65:19-65:58 'Complex Normal |
| 151 | ./testdata/accept/complex.lc 65:28-65:58 {a:'Repr} -> 'Float -> 'Float->V3 | 151 | testdata/complex.lc 65:28-65:58 {a:'Repr} -> 'Float -> 'Float->V3 |
| 152 | ./testdata/accept/complex.lc 65:28-65:58 'Float -> 'Float->V3 | 152 | testdata/complex.lc 65:28-65:58 'Float -> 'Float->V3 |
| 153 | ./testdata/accept/complex.lc 65:28-65:58 'Float->V3 | 153 | testdata/complex.lc 65:28-65:58 'Float->V3 |
| 154 | ./testdata/accept/complex.lc 65:28-65:58 V3 | 154 | testdata/complex.lc 65:28-65:58 V3 |
| 155 | ./testdata/accept/complex.lc 65:28-65:35 {a:'Repr} -> 'Float -> 'Float -> 'Complex a | 155 | testdata/complex.lc 65:28-65:35 {a:'Repr} -> 'Float -> 'Float -> 'Complex a |
| 156 | ./testdata/accept/complex.lc 65:41-65:44 'Float | 156 | testdata/complex.lc 65:41-65:44 'Float |
| 157 | ./testdata/accept/complex.lc 65:41-65:44 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 157 | testdata/complex.lc 65:41-65:44 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 158 | ./testdata/accept/complex.lc 65:55-65:58 'Float | 158 | testdata/complex.lc 65:55-65:58 'Float |
| 159 | ./testdata/accept/complex.lc 65:55-65:58 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a | 159 | testdata/complex.lc 65:55-65:58 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a |
| 160 | ./testdata/accept/complex.lc 65:19-65:24 'Complex V0 | 160 | testdata/complex.lc 65:19-65:24 'Complex V0 |
| 161 | ./testdata/accept/complex.lc 65:19-65:24 'Complex Polar | 161 | testdata/complex.lc 65:19-65:24 'Complex Polar |
| 162 | ./testdata/accept/complex.lc 65:1-65:9 'Complex Polar -> 'Complex Normal | 162 | testdata/complex.lc 65:1-65:9 'Complex Polar -> 'Complex Normal |
| 163 | ./testdata/accept/complex.lc 111:25-111:34 'Complex V0 | 163 | testdata/complex.lc 111:25-111:34 'Complex V0 |
| 164 | ./testdata/accept/complex.lc 111:25-111:34 V2 | 164 | testdata/complex.lc 111:25-111:34 V2 |
| 165 | ./testdata/accept/complex.lc 111:1-111:15 {a:'Repr} -> 'Complex a -> 'Float | 165 | testdata/complex.lc 111:1-111:15 {a:'Repr} -> 'Complex a -> 'Float |
| 166 | ./testdata/accept/complex.lc 113:32-113:70 Type | 166 | testdata/complex.lc 113:32-113:70 Type |
| 167 | ./testdata/accept/complex.lc 113:32-113:39 'Repr->Type | 167 | testdata/complex.lc 113:32-113:39 'Repr->Type |
| 168 | ./testdata/accept/complex.lc 113:40-113:42 'Repr | 168 | testdata/complex.lc 113:40-113:42 'Repr |
| 169 | ./testdata/accept/complex.lc 113:40-113:42 V3 | 169 | testdata/complex.lc 113:40-113:42 V3 |
| 170 | ./testdata/accept/complex.lc 113:46-113:70 Type | 170 | testdata/complex.lc 113:46-113:70 Type |
| 171 | ./testdata/accept/complex.lc 113:46-113:53 'Repr->Type | 171 | testdata/complex.lc 113:46-113:53 'Repr->Type |
| 172 | ./testdata/accept/complex.lc 113:54-113:56 'Repr | 172 | testdata/complex.lc 113:54-113:56 'Repr |
| 173 | ./testdata/accept/complex.lc 113:54-113:56 V2 | 173 | testdata/complex.lc 113:54-113:56 V2 |
| 174 | ./testdata/accept/complex.lc 113:60-113:70 Type | 174 | testdata/complex.lc 113:60-113:70 Type |
| 175 | ./testdata/accept/complex.lc 113:60-113:67 'Repr->Type | 175 | testdata/complex.lc 113:60-113:67 'Repr->Type |
| 176 | ./testdata/accept/complex.lc 113:68-113:70 'Repr | 176 | testdata/complex.lc 113:68-113:70 'Repr |
| 177 | ./testdata/accept/complex.lc 114:6-114:58 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a | 177 | testdata/complex.lc 114:6-114:58 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a |
| 178 | ./testdata/accept/complex.lc 114:6-114:58 {a:'Repr} -> 'Complex V1 -> 'Complex a -> 'Complex V3 | 178 | testdata/complex.lc 114:6-114:58 {a:'Repr} -> 'Complex V1 -> 'Complex a -> 'Complex V3 |
| 179 | ./testdata/accept/complex.lc 114:6-114:58 'Complex V1 -> 'Complex V1 -> 'Complex V3 | 179 | testdata/complex.lc 114:6-114:58 'Complex V1 -> 'Complex V1 -> 'Complex V3 |
| 180 | ./testdata/accept/complex.lc 114:6-114:58 'Complex V1 -> 'Complex V3 | 180 | testdata/complex.lc 114:6-114:58 'Complex V1 -> 'Complex V3 |
| 181 | ./testdata/accept/complex.lc 114:6-114:58 'Complex V3 | 181 | testdata/complex.lc 114:6-114:58 'Complex V3 |
| 182 | ./testdata/accept/complex.lc 114:14-114:58 V0 | 182 | testdata/complex.lc 114:14-114:58 V0 |
| 183 | ./testdata/accept/complex.lc 114:30-114:58 V0 | 183 | testdata/complex.lc 114:30-114:58 V0 |
| 184 | ./testdata/accept/complex.lc 114:44-114:58 {a:'Repr} -> 'Float -> 'Float->V3 | 184 | testdata/complex.lc 114:44-114:58 {a:'Repr} -> 'Float -> 'Float->V3 |
| 185 | ./testdata/accept/complex.lc 114:44-114:58 'Float -> 'Float->V3 | 185 | testdata/complex.lc 114:44-114:58 'Float -> 'Float->V3 |
| 186 | ./testdata/accept/complex.lc 114:44-114:58 'Float->V3 | 186 | testdata/complex.lc 114:44-114:58 'Float->V3 |
| 187 | ./testdata/accept/complex.lc 114:44-114:58 V3 | 187 | testdata/complex.lc 114:44-114:58 V3 |
| 188 | ./testdata/accept/complex.lc 114:51-114:58 {a:'Repr} -> 'Float -> 'Float->V3 | 188 | testdata/complex.lc 114:51-114:58 {a:'Repr} -> 'Float -> 'Float->V3 |
| 189 | ./testdata/accept/complex.lc 114:51-114:58 'Float -> 'Float->V3 | 189 | testdata/complex.lc 114:51-114:58 'Float -> 'Float->V3 |
| 190 | ./testdata/accept/complex.lc 114:51-114:58 'Float->V3 | 190 | testdata/complex.lc 114:51-114:58 'Float->V3 |
| 191 | ./testdata/accept/complex.lc 114:51-114:58 V3 | 191 | testdata/complex.lc 114:51-114:58 V3 |
| 192 | ./testdata/accept/complex.lc 114:51-114:58 {a:'Repr} -> 'Float -> 'Float -> 'Complex a | 192 | testdata/complex.lc 114:51-114:58 {a:'Repr} -> 'Float -> 'Float -> 'Complex a |
| 193 | ./testdata/accept/complex.lc 114:44-114:47 'Complex V0 | 193 | testdata/complex.lc 114:44-114:47 'Complex V0 |
| 194 | ./testdata/accept/complex.lc 114:44-114:47 'Complex V10 | 194 | testdata/complex.lc 114:44-114:47 'Complex V10 |
| 195 | ./testdata/accept/complex.lc 114:30-114:33 'Complex V0 | 195 | testdata/complex.lc 114:30-114:33 'Complex V0 |
| 196 | ./testdata/accept/complex.lc 114:30-114:33 'Complex V7 | 196 | testdata/complex.lc 114:30-114:33 'Complex V7 |
| 197 | ./testdata/accept/complex.lc 114:14-114:20 'Repr | 197 | testdata/complex.lc 114:14-114:20 'Repr |
| 198 | ./testdata/accept/complex.lc 114:6-114:12 'Repr | 198 | testdata/complex.lc 114:6-114:12 'Repr |
| 199 | ./testdata/accept/complex.lc 114:1-114:4 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a | 199 | testdata/complex.lc 114:1-114:4 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a |
| 200 | ./testdata/accept/complex.lc 128:23-128:61 Type | 200 | testdata/complex.lc 128:23-128:61 Type |
| 201 | ./testdata/accept/complex.lc 128:23-128:30 'Repr->Type | 201 | testdata/complex.lc 128:23-128:30 'Repr->Type |
| 202 | ./testdata/accept/complex.lc 128:31-128:33 'Repr | 202 | testdata/complex.lc 128:31-128:33 'Repr |
| 203 | ./testdata/accept/complex.lc 128:31-128:33 V3 | 203 | testdata/complex.lc 128:31-128:33 V3 |
| 204 | ./testdata/accept/complex.lc 128:37-128:61 Type | 204 | testdata/complex.lc 128:37-128:61 Type |
| 205 | ./testdata/accept/complex.lc 128:37-128:44 'Repr->Type | 205 | testdata/complex.lc 128:37-128:44 'Repr->Type |
| 206 | ./testdata/accept/complex.lc 128:45-128:47 'Repr | 206 | testdata/complex.lc 128:45-128:47 'Repr |
| 207 | ./testdata/accept/complex.lc 128:45-128:47 V2 | 207 | testdata/complex.lc 128:45-128:47 V2 |
| 208 | ./testdata/accept/complex.lc 128:51-128:61 Type | 208 | testdata/complex.lc 128:51-128:61 Type |
| 209 | ./testdata/accept/complex.lc 128:51-128:58 'Repr->Type | 209 | testdata/complex.lc 128:51-128:58 'Repr->Type |
| 210 | ./testdata/accept/complex.lc 128:59-128:61 'Repr | 210 | testdata/complex.lc 128:59-128:61 'Repr |
| 211 | ./testdata/accept/complex.lc 129:6-129:58 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a | 211 | testdata/complex.lc 129:6-129:58 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a |
| 212 | ./testdata/accept/complex.lc 129:6-129:58 {a:'Repr} -> 'Complex V1 -> 'Complex a -> 'Complex V3 | 212 | testdata/complex.lc 129:6-129:58 {a:'Repr} -> 'Complex V1 -> 'Complex a -> 'Complex V3 |
| 213 | ./testdata/accept/complex.lc 129:6-129:58 'Complex V1 -> 'Complex V1 -> 'Complex V3 | 213 | testdata/complex.lc 129:6-129:58 'Complex V1 -> 'Complex V1 -> 'Complex V3 |
| 214 | ./testdata/accept/complex.lc 129:6-129:58 'Complex V1 -> 'Complex V3 | 214 | testdata/complex.lc 129:6-129:58 'Complex V1 -> 'Complex V3 |
| 215 | ./testdata/accept/complex.lc 129:6-129:58 'Complex V3 | 215 | testdata/complex.lc 129:6-129:58 'Complex V3 |
| 216 | ./testdata/accept/complex.lc 129:14-129:58 V0 | 216 | testdata/complex.lc 129:14-129:58 V0 |
| 217 | ./testdata/accept/complex.lc 129:30-129:58 V0 | 217 | testdata/complex.lc 129:30-129:58 V0 |
| 218 | ./testdata/accept/complex.lc 129:44-129:58 {a:'Repr} -> 'Float -> 'Float->V3 | 218 | testdata/complex.lc 129:44-129:58 {a:'Repr} -> 'Float -> 'Float->V3 |
| 219 | ./testdata/accept/complex.lc 129:44-129:58 'Float -> 'Float->V3 | 219 | testdata/complex.lc 129:44-129:58 'Float -> 'Float->V3 |
| 220 | ./testdata/accept/complex.lc 129:44-129:58 'Float->V3 | 220 | testdata/complex.lc 129:44-129:58 'Float->V3 |
| 221 | ./testdata/accept/complex.lc 129:44-129:58 V3 | 221 | testdata/complex.lc 129:44-129:58 V3 |
| 222 | ./testdata/accept/complex.lc 129:51-129:58 {a:'Repr} -> 'Float -> 'Float->V3 | 222 | testdata/complex.lc 129:51-129:58 {a:'Repr} -> 'Float -> 'Float->V3 |
| 223 | ./testdata/accept/complex.lc 129:51-129:58 'Float -> 'Float->V3 | 223 | testdata/complex.lc 129:51-129:58 'Float -> 'Float->V3 |
| 224 | ./testdata/accept/complex.lc 129:51-129:58 'Float->V3 | 224 | testdata/complex.lc 129:51-129:58 'Float->V3 |
| 225 | ./testdata/accept/complex.lc 129:51-129:58 V3 | 225 | testdata/complex.lc 129:51-129:58 V3 |
| 226 | ./testdata/accept/complex.lc 129:51-129:58 {a:'Repr} -> 'Float -> 'Float -> 'Complex a | 226 | testdata/complex.lc 129:51-129:58 {a:'Repr} -> 'Float -> 'Float -> 'Complex a |
| 227 | ./testdata/accept/complex.lc 129:44-129:47 'Complex V0 | 227 | testdata/complex.lc 129:44-129:47 'Complex V0 |
| 228 | ./testdata/accept/complex.lc 129:44-129:47 'Complex V10 | 228 | testdata/complex.lc 129:44-129:47 'Complex V10 |
| 229 | ./testdata/accept/complex.lc 129:30-129:33 'Complex V0 | 229 | testdata/complex.lc 129:30-129:33 'Complex V0 |
| 230 | ./testdata/accept/complex.lc 129:30-129:33 'Complex V7 | 230 | testdata/complex.lc 129:30-129:33 'Complex V7 |
| 231 | ./testdata/accept/complex.lc 129:14-129:20 'Repr | 231 | testdata/complex.lc 129:14-129:20 'Repr |
| 232 | ./testdata/accept/complex.lc 129:6-129:12 'Repr | 232 | testdata/complex.lc 129:6-129:12 'Repr |
| 233 | ./testdata/accept/complex.lc 129:1-129:4 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a | 233 | testdata/complex.lc 129:1-129:4 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a |
| 234 | ./testdata/accept/complex.lc 137:6-137:28 Type | 234 | testdata/complex.lc 137:6-137:28 Type |
| 235 | ./testdata/accept/complex.lc 137:6-137:13 'Repr->Type | 235 | testdata/complex.lc 137:6-137:13 'Repr->Type |
| 236 | ./testdata/accept/complex.lc 137:6-137:28 'Repr | 236 | testdata/complex.lc 137:6-137:28 'Repr |
| 237 | ./testdata/accept/complex.lc 137:6-137:28 V1 | 237 | testdata/complex.lc 137:6-137:28 V1 |
| 238 | ./testdata/accept/complex.lc 137:19-137:26 'Repr->Type | 238 | testdata/complex.lc 137:19-137:26 'Repr->Type |
| 239 | ./testdata/accept/complex.lc 138:8-138:11 {a:'Repr} -> 'Complex a -> 'Complex a | 239 | testdata/complex.lc 138:8-138:11 {a:'Repr} -> 'Complex a -> 'Complex a |
| 240 | ./testdata/accept/complex.lc 138:8-138:11 'Complex V0 -> 'Complex V1 | 240 | testdata/complex.lc 138:8-138:11 'Complex V0 -> 'Complex V1 |
| 241 | ./testdata/accept/complex.lc 138:8-138:11 'Complex V1 | 241 | testdata/complex.lc 138:8-138:11 'Complex V1 |
| 242 | ./testdata/accept/complex.lc 138:8-138:11 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a | 242 | testdata/complex.lc 138:8-138:11 {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a |
| 243 | ./testdata/accept/complex.lc 138:1-138:2 {a:'Repr} -> 'Complex a -> 'Complex a | 243 | testdata/complex.lc 138:1-138:2 {a:'Repr} -> 'Complex a -> 'Complex a |
| 244 | ./testdata/accept/complex.lc 141:8-141:9 {a:'Repr} -> 'Complex a -> 'Complex a | 244 | testdata/complex.lc 141:8-141:9 {a:'Repr} -> 'Complex a -> 'Complex a |
| 245 | ./testdata/accept/complex.lc 141:11-141:18 'Complex V0 | 245 | testdata/complex.lc 141:11-141:18 'Complex V0 |
| 246 | ./testdata/accept/complex.lc 141:11-141:12 {a:'Repr} -> 'Complex a -> 'Complex a | 246 | testdata/complex.lc 141:11-141:12 {a:'Repr} -> 'Complex a -> 'Complex a |
| 247 | ./testdata/accept/complex.lc 141:14-141:18 'Complex V0 | 247 | testdata/complex.lc 141:14-141:18 'Complex V0 |
| 248 | ./testdata/accept/complex.lc 141:14-141:15 {a:'Repr} -> 'Complex a -> 'Complex a | 248 | testdata/complex.lc 141:14-141:15 {a:'Repr} -> 'Complex a -> 'Complex a |
| 249 | ./testdata/accept/complex.lc 141:17-141:18 'Complex V0 | 249 | testdata/complex.lc 141:17-141:18 'Complex V0 |
| 250 | ./testdata/accept/complex.lc 141:17-141:18 {a:'Repr} -> 'Complex a -> 'Complex a | 250 | testdata/complex.lc 141:17-141:18 {a:'Repr} -> 'Complex a -> 'Complex a |
| 251 | ./testdata/accept/complex.lc 141:1-141:3 {a:'Repr} -> 'Complex a -> 'Complex a | 251 | testdata/complex.lc 141:1-141:3 {a:'Repr} -> 'Complex a -> 'Complex a |
| 252 | ./testdata/accept/complex.lc 143:8-143:10 {a:'Repr} -> 'Complex a -> 'Complex a | 252 | testdata/complex.lc 143:8-143:10 {a:'Repr} -> 'Complex a -> 'Complex a |
| 253 | ./testdata/accept/complex.lc 143:1-143:5 {a:'Repr} -> 'Complex a -> 'Complex a | 253 | testdata/complex.lc 143:1-143:5 {a:'Repr} -> 'Complex a -> 'Complex a |
| 254 | ./testdata/accept/complex.lc 145:12-145:22 'VecScalar V1 V2 | 254 | testdata/complex.lc 145:12-145:22 'VecScalar V1 V2 |
| 255 | ./testdata/accept/complex.lc 145:12-145:16 {a:'Repr} -> 'Complex a -> 'Float | 255 | testdata/complex.lc 145:12-145:16 {a:'Repr} -> 'Complex a -> 'Float |
| 256 | ./testdata/accept/complex.lc 145:18-145:22 'Complex V0 | 256 | testdata/complex.lc 145:18-145:22 'Complex V0 |
| 257 | ./testdata/accept/complex.lc 145:18-145:22 {a:'Repr} -> 'Complex a -> 'Complex a | 257 | testdata/complex.lc 145:18-145:22 {a:'Repr} -> 'Complex a -> 'Complex a |
| 258 | ./testdata/accept/complex.lc 145:28-145:31 'Float | 258 | testdata/complex.lc 145:28-145:31 'Float |
| 259 | ./testdata/accept/complex.lc 145:1-145:7 {a:'Repr} -> 'Complex a -> 'Bool | 259 | testdata/complex.lc 145:1-145:7 {a:'Repr} -> 'Complex a -> 'Bool |