main is not found tooltips: ./testdata/accept/Internals.lc 5:27-5:31 Type ./testdata/accept/Internals.lc 5:35-5:36 Type ./testdata/accept/Internals.lc 5:1-5:10 {a}->a ./testdata/accept/Internals.lc 7:6-7:10 Type ./testdata/accept/Internals.lc 7:13-7:15 'Unit ./testdata/accept/Internals.lc 8:6-8:12 Type ./testdata/accept/Internals.lc 9:18-9:24 Type ./testdata/accept/Internals.lc 9:6-9:11 'String->Type ./testdata/accept/Internals.lc 12:6-12:12 Type ./testdata/accept/Internals.lc 12:15-12:21 'Tuple0 ./testdata/accept/Internals.lc 13:6-13:12 Type->Type ./testdata/accept/Internals.lc 13:6-13:25 Type ./testdata/accept/Internals.lc 13:24-13:25 Type ./testdata/accept/Internals.lc 13:6-13:12 Type ./testdata/accept/Internals.lc 13:17-13:23 {a} -> a -> 'Tuple1 a ./testdata/accept/Internals.lc 14:6-14:12 Type -> Type->Type ./testdata/accept/Internals.lc 14:6-14:29 Type ./testdata/accept/Internals.lc 14:26-14:27 Type ./testdata/accept/Internals.lc 14:28-14:29 Type ./testdata/accept/Internals.lc 14:6-14:12 Type ./testdata/accept/Internals.lc 14:19-14:25 {a} -> {b} -> a -> b -> 'Tuple2 a b ./testdata/accept/Internals.lc 15:6-15:12 Type -> Type -> Type->Type ./testdata/accept/Internals.lc 15:6-15:33 Type ./testdata/accept/Internals.lc 15:28-15:29 Type ./testdata/accept/Internals.lc 15:30-15:31 Type ./testdata/accept/Internals.lc 15:32-15:33 Type ./testdata/accept/Internals.lc 15:6-15:12 Type ./testdata/accept/Internals.lc 15:21-15:27 {a} -> {b} -> {c} -> a -> b -> c -> 'Tuple3 a b c ./testdata/accept/Internals.lc 16:6-16:12 Type -> Type -> Type -> Type->Type ./testdata/accept/Internals.lc 16:6-16:37 Type ./testdata/accept/Internals.lc 16:30-16:31 Type ./testdata/accept/Internals.lc 16:32-16:33 Type ./testdata/accept/Internals.lc 16:34-16:35 Type ./testdata/accept/Internals.lc 16:36-16:37 Type ./testdata/accept/Internals.lc 16:6-16:12 Type ./testdata/accept/Internals.lc 16:23-16:29 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> 'Tuple4 a b c d ./testdata/accept/Internals.lc 17:6-17:12 Type -> Type -> Type -> Type -> Type->Type ./testdata/accept/Internals.lc 17:6-17:41 Type ./testdata/accept/Internals.lc 17:32-17:33 Type ./testdata/accept/Internals.lc 17:34-17:35 Type ./testdata/accept/Internals.lc 17:36-17:37 Type ./testdata/accept/Internals.lc 17:38-17:39 Type ./testdata/accept/Internals.lc 17:40-17:41 Type ./testdata/accept/Internals.lc 17:6-17:12 Type ./testdata/accept/Internals.lc 17:25-17:31 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> 'Tuple5 a b c d e ./testdata/accept/Internals.lc 23:24-23:35 Type ./testdata/accept/Internals.lc 23:24-23:25 V1 ./testdata/accept/Internals.lc 23:29-23:35 Type ./testdata/accept/Internals.lc 23:29-23:30 Type ./testdata/accept/Internals.lc 23:34-23:35 Type ./testdata/accept/Internals.lc 23:1-23:8 a:Type -> a -> a->a ./testdata/accept/Internals.lc 25:24-25:28 Type ./testdata/accept/Internals.lc 25:36-25:46 Type ./testdata/accept/Internals.lc 25:36-25:37 Type ./testdata/accept/Internals.lc 25:45-25:46 Type ./testdata/accept/Internals.lc 25:13-25:17 a:Type -> a -> a->Type ./testdata/accept/Internals.lc 26:13-26:15 Type -> Type->Type ./testdata/accept/Internals.lc 29:8-29:12 Type ./testdata/accept/Internals.lc 29:16-29:28 Type ./testdata/accept/Internals.lc 29:16-29:20 Type ./testdata/accept/Internals.lc 29:24-29:28 Type ./testdata/accept/Internals.lc 29:1-29:4 'Unit -> 'Unit->'Unit ./testdata/accept/Internals.lc 32:6-32:9 Type ./testdata/accept/Internals.lc 33:6-33:10 Type ./testdata/accept/Internals.lc 34:6-34:11 Type ./testdata/accept/Internals.lc 35:6-35:10 Type ./testdata/accept/Internals.lc 37:6-37:10 Type ./testdata/accept/Internals.lc 37:13-37:18 'Bool ./testdata/accept/Internals.lc 37:21-37:25 'Bool ./testdata/accept/Internals.lc 39:6-39:14 Type ./testdata/accept/Internals.lc 39:17-39:19 'Ordering ./testdata/accept/Internals.lc 39:22-39:24 'Ordering ./testdata/accept/Internals.lc 39:27-39:29 'Ordering ./testdata/accept/Internals.lc 42:24-42:27 Type ./testdata/accept/Internals.lc 42:33-42:37 Type ./testdata/accept/Internals.lc 42:1-42:14 'Int->'Word ./testdata/accept/Internals.lc 43:24-43:27 Type ./testdata/accept/Internals.lc 43:33-43:38 Type ./testdata/accept/Internals.lc 43:1-43:15 'Int->'Float ./testdata/accept/Internals.lc 44:24-44:27 Type ./testdata/accept/Internals.lc 44:33-44:50 Type ./testdata/accept/Internals.lc 44:33-44:36 Type ./testdata/accept/Internals.lc 44:42-44:50 Type ./testdata/accept/Internals.lc 44:1-44:15 'Int -> 'Int->'Ordering ./testdata/accept/Internals.lc 45:24-45:28 Type ./testdata/accept/Internals.lc 45:33-45:50 Type ./testdata/accept/Internals.lc 45:33-45:37 Type ./testdata/accept/Internals.lc 45:42-45:50 Type ./testdata/accept/Internals.lc 45:1-45:16 'Word -> 'Word->'Ordering ./testdata/accept/Internals.lc 46:24-46:29 Type ./testdata/accept/Internals.lc 46:33-46:50 Type ./testdata/accept/Internals.lc 46:33-46:38 Type ./testdata/accept/Internals.lc 46:42-46:50 Type ./testdata/accept/Internals.lc 46:1-46:17 'Float -> 'Float->'Ordering ./testdata/accept/Internals.lc 47:24-47:30 Type ./testdata/accept/Internals.lc 47:34-47:52 Type ./testdata/accept/Internals.lc 47:34-47:40 Type ./testdata/accept/Internals.lc 47:44-47:52 Type ./testdata/accept/Internals.lc 47:1-47:18 'String -> 'String->'Ordering ./testdata/accept/Internals.lc 48:24-48:27 Type ./testdata/accept/Internals.lc 48:33-48:36 Type ./testdata/accept/Internals.lc 48:1-48:14 'Int->'Int ./testdata/accept/Internals.lc 49:24-49:28 Type ./testdata/accept/Internals.lc 49:33-49:37 Type ./testdata/accept/Internals.lc 49:1-49:15 'Word->'Word ./testdata/accept/Internals.lc 50:24-50:29 Type ./testdata/accept/Internals.lc 50:33-50:38 Type ./testdata/accept/Internals.lc 50:1-50:16 'Float->'Float ./testdata/accept/Internals.lc 51:24-51:27 Type ./testdata/accept/Internals.lc 51:33-51:45 Type ./testdata/accept/Internals.lc 51:33-51:36 Type ./testdata/accept/Internals.lc 51:42-51:45 Type ./testdata/accept/Internals.lc 51:1-51:11 'Int -> 'Int->'Int ./testdata/accept/Internals.lc 52:24-52:27 Type ./testdata/accept/Internals.lc 52:33-52:45 Type ./testdata/accept/Internals.lc 52:33-52:36 Type ./testdata/accept/Internals.lc 52:42-52:45 Type ./testdata/accept/Internals.lc 52:1-52:11 'Int -> 'Int->'Int ./testdata/accept/Internals.lc 53:24-53:27 Type ./testdata/accept/Internals.lc 53:33-53:45 Type ./testdata/accept/Internals.lc 53:33-53:36 Type ./testdata/accept/Internals.lc 53:42-53:45 Type ./testdata/accept/Internals.lc 53:1-53:11 'Int -> 'Int->'Int ./testdata/accept/Internals.lc 54:24-54:29 Type ./testdata/accept/Internals.lc 54:33-54:38 Type ./testdata/accept/Internals.lc 54:1-54:14 'Float->'Float ./testdata/accept/Internals.lc 55:24-55:29 Type ./testdata/accept/Internals.lc 55:33-55:36 Type ./testdata/accept/Internals.lc 55:1-55:10 'Float->'Int ./testdata/accept/Internals.lc 58:19-58:38 Type ./testdata/accept/Internals.lc 58:19-58:23 Type ./testdata/accept/Internals.lc 58:19-58:38 V2 ./testdata/accept/Internals.lc 59:16-59:20 {a} -> 'Bool -> a -> a->a ./testdata/accept/Internals.lc 59:16-59:20 'Bool -> V1 -> V2->V3 ./testdata/accept/Internals.lc 59:16-59:20 V1 -> V2->V3 ./testdata/accept/Internals.lc 59:16-59:20 V2->V3 ./testdata/accept/Internals.lc 59:16-59:20 V3 ./testdata/accept/Internals.lc 59:16-59:20 'Bool ./testdata/accept/Internals.lc 59:1-59:15 {a} -> 'Bool -> a -> a->a