main is not found
tooltips:
testdata/complex.lc 3:6-3:10  Type
testdata/complex.lc 3:13-3:19  'Repr
testdata/complex.lc 3:22-3:27  'Repr
testdata/complex.lc 5:17-5:21  Type
testdata/complex.lc 5:25-5:29  Type
testdata/complex.lc 5:6-5:13  'Repr->Type
testdata/complex.lc 6:25-6:52  Type
testdata/complex.lc 6:25-6:30  Type
testdata/complex.lc 6:34-6:52  Type
testdata/complex.lc 6:34-6:39  Type
testdata/complex.lc 6:43-6:52  Type
testdata/complex.lc 6:43-6:50  'Repr->Type
testdata/complex.lc 6:51-6:52  'Repr
testdata/complex.lc 6:51-6:52  V3
testdata/complex.lc 6:3-6:10  {a:'Repr} -> 'Float -> 'Float -> 'Complex a
testdata/complex.lc 6:51-6:52  Type
testdata/complex.lc 8:20-8:37  Type
testdata/complex.lc 8:20-8:27  'Repr->Type
testdata/complex.lc 8:28-8:29  'Repr
testdata/complex.lc 8:28-8:29  V1
testdata/complex.lc 8:33-8:37  Type
testdata/complex.lc 9:1-9:5  {a:'Repr} -> 'Complex a -> 'Repr
testdata/complex.lc 11:11-11:43  Type
testdata/complex.lc 11:11-11:16  Type
testdata/complex.lc 11:20-11:43  Type
testdata/complex.lc 11:20-11:25  Type
testdata/complex.lc 11:29-11:43  Type
testdata/complex.lc 11:29-11:36  'Repr->Type
testdata/complex.lc 11:37-11:43  'Repr
testdata/complex.lc 12:14-12:21  'Float -> 'Float -> 'Complex Normal
testdata/complex.lc 12:14-12:21  'Float -> 'Complex Normal
testdata/complex.lc 12:14-12:21  'Complex Normal
testdata/complex.lc 12:14-12:21  {a:'Repr} -> 'Float -> 'Float -> 'Complex a
testdata/complex.lc 12:1-12:7  'Float -> 'Float -> 'Complex Normal
testdata/complex.lc 14:10-14:41  Type
testdata/complex.lc 14:10-14:15  Type
testdata/complex.lc 14:19-14:41  Type
testdata/complex.lc 14:19-14:24  Type
testdata/complex.lc 14:28-14:41  Type
testdata/complex.lc 14:28-14:35  'Repr->Type
testdata/complex.lc 14:36-14:41  'Repr
testdata/complex.lc 15:13-15:20  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 15:13-15:20  'Float -> 'Complex Polar
testdata/complex.lc 15:13-15:20  'Complex Polar
testdata/complex.lc 15:13-15:20  {a:'Repr} -> 'Float -> 'Float -> 'Complex a
testdata/complex.lc 15:1-15:6  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 18:20-18:38  Type
testdata/complex.lc 18:20-18:27  'Repr->Type
testdata/complex.lc 18:28-18:29  'Repr
testdata/complex.lc 18:28-18:29  V1
testdata/complex.lc 18:33-18:38  Type
testdata/complex.lc 19:7-20:29  {a:'Repr} -> 'Complex a -> 'Float
testdata/complex.lc 19:7-20:29  'Complex V0 -> 'Float
testdata/complex.lc 19:7-20:29  'Float
testdata/complex.lc 19:23-19:37  V0
testdata/complex.lc 19:33-19:37  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 19:33-19:37  'Float -> 'Float->V3
testdata/complex.lc 19:33-19:37  'Float->V3
testdata/complex.lc 19:33-19:37  V3
testdata/complex.lc 19:33-19:37  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 19:23-19:26  'Complex V0
testdata/complex.lc 19:23-19:26  'Complex V3
testdata/complex.lc 20:23-20:29  'Float
testdata/complex.lc 20:23-20:29  'Complex V0
testdata/complex.lc 20:23-20:29  'Complex V2
testdata/complex.lc 19:7-19:13  'Repr
testdata/complex.lc 19:1-19:5  {a:'Repr} -> 'Complex a -> 'Float
testdata/complex.lc 22:12-22:43  Type
testdata/complex.lc 22:12-22:19  'Repr->Type
testdata/complex.lc 22:20-22:26  'Repr
testdata/complex.lc 22:30-22:43  Type
testdata/complex.lc 22:30-22:37  'Repr->Type
testdata/complex.lc 22:38-22:43  'Repr
testdata/complex.lc 23:18-31:13  'Complex Normal -> 'Complex Polar
testdata/complex.lc 23:18-31:13  'Complex Polar
testdata/complex.lc 24:8-31:13  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 24:8-31:13  'Float -> 'Float->V3
testdata/complex.lc 24:8-31:13  'Float->V3
testdata/complex.lc 24:8-31:13  V3
testdata/complex.lc 31:9-31:13  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 24:8-29:17  {a} -> 'Bool -> a -> a->a
testdata/complex.lc 24:16-24:19  'Bool
testdata/complex.lc 24:16-24:19  'Float
testdata/complex.lc 24:8-29:17  V0
testdata/complex.lc 24:37-24:42  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 24:8-29:17  'Float
testdata/complex.lc 24:46-24:50  'Float
testdata/complex.lc 24:46-24:50  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 24:8-29:17  'Complex Polar
testdata/complex.lc 25:8-29:17  {a} -> 'Bool -> a -> a->a
testdata/complex.lc 25:16-25:31  'Bool
testdata/complex.lc 25:16-25:19  'Bool
testdata/complex.lc 25:16-25:19  'Float
testdata/complex.lc 25:28-25:31  'Bool
testdata/complex.lc 25:28-25:31  'Float
testdata/complex.lc 25:37-25:42  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 25:46-25:63  'Float
testdata/complex.lc 25:46-25:50  V1
testdata/complex.lc 25:46-25:50  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 25:61-25:63  'Float
testdata/complex.lc 26:8-29:17  {a} -> 'Bool -> a -> a->a
testdata/complex.lc 26:16-26:31  'Bool
testdata/complex.lc 26:16-26:19  'Bool
testdata/complex.lc 26:16-26:19  'Float
testdata/complex.lc 26:28-26:31  'Bool
testdata/complex.lc 26:28-26:31  'Float
testdata/complex.lc 26:37-26:42  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 26:46-26:63  'Float
testdata/complex.lc 26:46-26:50  V1
testdata/complex.lc 26:46-26:50  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 26:61-26:63  'Float
testdata/complex.lc 27:8-29:17  {a} -> 'Bool -> a -> a->a
testdata/complex.lc 27:16-27:31  'Bool
testdata/complex.lc 27:16-27:19  'Bool
testdata/complex.lc 27:16-27:19  'Float
testdata/complex.lc 27:28-27:31  'Bool
testdata/complex.lc 27:28-27:31  'Float
testdata/complex.lc 27:37-27:42  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 27:47-27:55  'Float
testdata/complex.lc 27:47-27:49  'VecScalar V1 V2
testdata/complex.lc 27:47-27:49  'Float
testdata/complex.lc 27:52-27:55  'Float
testdata/complex.lc 28:8-29:17  {a} -> 'Bool -> a -> a->a
testdata/complex.lc 28:16-28:31  'Bool
testdata/complex.lc 28:16-28:19  'Bool
testdata/complex.lc 28:16-28:19  'Float
testdata/complex.lc 28:28-28:31  'Bool
testdata/complex.lc 28:28-28:31  'Float
testdata/complex.lc 28:37-28:42  'Float -> 'Float -> 'Complex Polar
testdata/complex.lc 28:46-28:55  'Float
testdata/complex.lc 28:46-28:55  V1
testdata/complex.lc 28:46-28:55  'Int
testdata/complex.lc 28:47-28:55  'Float
testdata/complex.lc 28:47-28:49  'VecScalar V1 V2
testdata/complex.lc 28:47-28:49  'Float
testdata/complex.lc 28:52-28:55  'Float
testdata/complex.lc 29:8-29:17  'Complex Polar
testdata/complex.lc 23:18-23:21  'Complex V0
testdata/complex.lc 23:18-23:21  'Complex Normal
testdata/complex.lc 23:1-23:8  'Complex Normal -> 'Complex Polar
testdata/complex.lc 64:13-64:44  Type
testdata/complex.lc 64:13-64:20  'Repr->Type
testdata/complex.lc 64:21-64:26  'Repr
testdata/complex.lc 64:30-64:44  Type
testdata/complex.lc 64:30-64:37  'Repr->Type
testdata/complex.lc 64:38-64:44  'Repr
testdata/complex.lc 65:19-65:58  'Complex Polar -> 'Complex Normal
testdata/complex.lc 65:19-65:58  'Complex Normal
testdata/complex.lc 65:28-65:58  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 65:28-65:58  'Float -> 'Float->V3
testdata/complex.lc 65:28-65:58  'Float->V3
testdata/complex.lc 65:28-65:58  V3
testdata/complex.lc 65:28-65:35  {a:'Repr} -> 'Float -> 'Float -> 'Complex a
testdata/complex.lc 65:41-65:44  'Float
testdata/complex.lc 65:41-65:44  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 65:55-65:58  'Float
testdata/complex.lc 65:55-65:58  {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
testdata/complex.lc 65:19-65:24  'Complex V0
testdata/complex.lc 65:19-65:24  'Complex Polar
testdata/complex.lc 65:1-65:9  'Complex Polar -> 'Complex Normal
testdata/complex.lc 111:25-111:34  'Complex V0
testdata/complex.lc 111:25-111:34  V2
testdata/complex.lc 111:1-111:15  {a:'Repr} -> 'Complex a -> 'Float
testdata/complex.lc 113:32-113:70  Type
testdata/complex.lc 113:32-113:39  'Repr->Type
testdata/complex.lc 113:40-113:42  'Repr
testdata/complex.lc 113:40-113:42  V3
testdata/complex.lc 113:46-113:70  Type
testdata/complex.lc 113:46-113:53  'Repr->Type
testdata/complex.lc 113:54-113:56  'Repr
testdata/complex.lc 113:54-113:56  V2
testdata/complex.lc 113:60-113:70  Type
testdata/complex.lc 113:60-113:67  'Repr->Type
testdata/complex.lc 113:68-113:70  'Repr
testdata/complex.lc 114:6-114:58  {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a
testdata/complex.lc 114:6-114:58  {a:'Repr} -> 'Complex V1 -> 'Complex a -> 'Complex V3
testdata/complex.lc 114:6-114:58  'Complex V1 -> 'Complex V1 -> 'Complex V3
testdata/complex.lc 114:6-114:58  'Complex V1 -> 'Complex V3
testdata/complex.lc 114:6-114:58  'Complex V3
testdata/complex.lc 114:14-114:58  V0
testdata/complex.lc 114:30-114:58  V0
testdata/complex.lc 114:44-114:58  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 114:44-114:58  'Float -> 'Float->V3
testdata/complex.lc 114:44-114:58  'Float->V3
testdata/complex.lc 114:44-114:58  V3
testdata/complex.lc 114:51-114:58  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 114:51-114:58  'Float -> 'Float->V3
testdata/complex.lc 114:51-114:58  'Float->V3
testdata/complex.lc 114:51-114:58  V3
testdata/complex.lc 114:51-114:58  {a:'Repr} -> 'Float -> 'Float -> 'Complex a
testdata/complex.lc 114:44-114:47  'Complex V0
testdata/complex.lc 114:44-114:47  'Complex V10
testdata/complex.lc 114:30-114:33  'Complex V0
testdata/complex.lc 114:30-114:33  'Complex V7
testdata/complex.lc 114:14-114:20  'Repr
testdata/complex.lc 114:6-114:12  'Repr
testdata/complex.lc 114:1-114:4  {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a
testdata/complex.lc 128:23-128:61  Type
testdata/complex.lc 128:23-128:30  'Repr->Type
testdata/complex.lc 128:31-128:33  'Repr
testdata/complex.lc 128:31-128:33  V3
testdata/complex.lc 128:37-128:61  Type
testdata/complex.lc 128:37-128:44  'Repr->Type
testdata/complex.lc 128:45-128:47  'Repr
testdata/complex.lc 128:45-128:47  V2
testdata/complex.lc 128:51-128:61  Type
testdata/complex.lc 128:51-128:58  'Repr->Type
testdata/complex.lc 128:59-128:61  'Repr
testdata/complex.lc 129:6-129:58  {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a
testdata/complex.lc 129:6-129:58  {a:'Repr} -> 'Complex V1 -> 'Complex a -> 'Complex V3
testdata/complex.lc 129:6-129:58  'Complex V1 -> 'Complex V1 -> 'Complex V3
testdata/complex.lc 129:6-129:58  'Complex V1 -> 'Complex V3
testdata/complex.lc 129:6-129:58  'Complex V3
testdata/complex.lc 129:14-129:58  V0
testdata/complex.lc 129:30-129:58  V0
testdata/complex.lc 129:44-129:58  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 129:44-129:58  'Float -> 'Float->V3
testdata/complex.lc 129:44-129:58  'Float->V3
testdata/complex.lc 129:44-129:58  V3
testdata/complex.lc 129:51-129:58  {a:'Repr} -> 'Float -> 'Float->V3
testdata/complex.lc 129:51-129:58  'Float -> 'Float->V3
testdata/complex.lc 129:51-129:58  'Float->V3
testdata/complex.lc 129:51-129:58  V3
testdata/complex.lc 129:51-129:58  {a:'Repr} -> 'Float -> 'Float -> 'Complex a
testdata/complex.lc 129:44-129:47  'Complex V0
testdata/complex.lc 129:44-129:47  'Complex V10
testdata/complex.lc 129:30-129:33  'Complex V0
testdata/complex.lc 129:30-129:33  'Complex V7
testdata/complex.lc 129:14-129:20  'Repr
testdata/complex.lc 129:6-129:12  'Repr
testdata/complex.lc 129:1-129:4  {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a
testdata/complex.lc 137:6-137:28  Type
testdata/complex.lc 137:6-137:13  'Repr->Type
testdata/complex.lc 137:6-137:28  'Repr
testdata/complex.lc 137:6-137:28  V1
testdata/complex.lc 137:19-137:26  'Repr->Type
testdata/complex.lc 138:8-138:11  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 138:8-138:11  'Complex V0 -> 'Complex V1
testdata/complex.lc 138:8-138:11  'Complex V1
testdata/complex.lc 138:8-138:11  {a:'Repr} -> {b:'Repr} -> 'Complex a -> 'Complex b -> 'Complex a
testdata/complex.lc 138:1-138:2  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 141:8-141:9  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 141:11-141:18  'Complex V0
testdata/complex.lc 141:11-141:12  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 141:14-141:18  'Complex V0
testdata/complex.lc 141:14-141:15  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 141:17-141:18  'Complex V0
testdata/complex.lc 141:17-141:18  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 141:1-141:3  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 143:8-143:10  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 143:1-143:5  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 145:12-145:22  'VecScalar V1 V2
testdata/complex.lc 145:12-145:16  {a:'Repr} -> 'Complex a -> 'Float
testdata/complex.lc 145:18-145:22  'Complex V0
testdata/complex.lc 145:18-145:22  {a:'Repr} -> 'Complex a -> 'Complex a
testdata/complex.lc 145:28-145:31  'Float
testdata/complex.lc 145:1-145:7  {a:'Repr} -> 'Complex a -> 'Bool