summaryrefslogtreecommitdiff
path: root/testdata/typeclass.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-28 00:44:42 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-28 00:44:42 +0200
commiteaa99d13de8f9638c82beaae646cd66f3c1f8d89 (patch)
tree8d1b86a45e1b1857a0ef2eafa75ae870b574006f /testdata/typeclass.out
parent61a8efb74a0ca34f73a848f6d9fd018c83dac343 (diff)
generate less variable names
Diffstat (limited to 'testdata/typeclass.out')
-rw-r--r--testdata/typeclass.out12
1 files changed, 6 insertions, 6 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 8eb6907a..e0e1f4c7 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -4,8 +4,8 @@ not :: 'Bool->'Bool
4&& :: 'Bool -> 'Bool->'Bool 4&& :: 'Bool -> 'Bool->'Bool
5|| :: 'Bool -> 'Bool->'Bool 5|| :: 'Bool -> 'Bool->'Bool
6'Eq :: Type->Type 6'Eq :: Type->Type
7== :: {a} -> {b : 'Eq a} -> a -> a->'Bool 7== :: {a} -> {_ : 'Eq a} -> a -> a->'Bool
8/= :: {a} -> {b : 'Eq a} -> a -> a->'Bool 8/= :: {a} -> {_ : 'Eq a} -> a -> a->'Bool
9------------ tooltips 9------------ tooltips
10testdata/typeclass.lc 8:1-8:4 Bool->Bool 10testdata/typeclass.lc 8:1-8:4 Bool->Bool
11testdata/typeclass.lc 8:12-8:17 Bool 11testdata/typeclass.lc 8:12-8:17 Bool
@@ -21,22 +21,22 @@ testdata/typeclass.lc 14:14-15:17 Bool->Bool
21testdata/typeclass.lc 15:13-15:17 Bool 21testdata/typeclass.lc 15:13-15:17 Bool
22testdata/typeclass.lc 17:7-17:9 Type->Type 22testdata/typeclass.lc 17:7-17:9 Type->Type
23testdata/typeclass.lc 17:7-18:27 Type 23testdata/typeclass.lc 17:7-18:27 Type
24testdata/typeclass.lc 18:6-18:8 {a} -> {b : Eq a} -> a -> a->Bool 24testdata/typeclass.lc 18:6-18:8 {a} -> {_ : Eq a} -> a -> a->Bool
25testdata/typeclass.lc 18:13-18:14 Type 25testdata/typeclass.lc 18:13-18:14 Type
26testdata/typeclass.lc 18:13-18:27 Type 26testdata/typeclass.lc 18:13-18:27 Type
27testdata/typeclass.lc 18:18-18:19 Type 27testdata/typeclass.lc 18:18-18:19 Type
28testdata/typeclass.lc 18:18-18:27 Type 28testdata/typeclass.lc 18:18-18:27 Type
29testdata/typeclass.lc 18:23-18:27 Type 29testdata/typeclass.lc 18:23-18:27 Type
30testdata/typeclass.lc 20:3-20:5 {a} -> {b : Eq a} -> a -> a->Bool 30testdata/typeclass.lc 20:3-20:5 {a} -> {_ : Eq a} -> a -> a->Bool
31testdata/typeclass.lc 20:10-20:13 Bool->Bool 31testdata/typeclass.lc 20:10-20:13 Bool->Bool
32testdata/typeclass.lc 20:10-20:22 Bool 32testdata/typeclass.lc 20:10-20:22 Bool
33testdata/typeclass.lc 20:15-20:16 V5 33testdata/typeclass.lc 20:15-20:16 V5
34testdata/typeclass.lc 20:15-20:19 V4->Bool 34testdata/typeclass.lc 20:15-20:19 V4->Bool
35testdata/typeclass.lc 20:15-20:21 Bool 35testdata/typeclass.lc 20:15-20:21 Bool
36testdata/typeclass.lc 20:17-20:19 {a} -> {b : Eq a} -> a -> a->Bool 36testdata/typeclass.lc 20:17-20:19 {a} -> {_ : Eq a} -> a -> a->Bool
37testdata/typeclass.lc 20:20-20:21 V2 37testdata/typeclass.lc 20:20-20:21 V2
38testdata/typeclass.lc 23:17-23:18 Bool 38testdata/typeclass.lc 23:17-23:18 Bool
39testdata/typeclass.lc 23:17-24:23 Bool->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool 39testdata/typeclass.lc 23:17-24:23 Bool->Bool | {_ : Eq V0} -> V1 -> V2->Bool | {a} -> {_ : Eq a} -> a -> a->Bool
40testdata/typeclass.lc 24:18-24:21 Bool->Bool 40testdata/typeclass.lc 24:18-24:21 Bool->Bool
41testdata/typeclass.lc 24:18-24:23 Bool 41testdata/typeclass.lc 24:18-24:23 Bool
42testdata/typeclass.lc 24:22-24:23 V1 42testdata/typeclass.lc 24:22-24:23 V1
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:18:30 +0000