1 files changed, 38 insertions, 38 deletions
diff --git a/testdata/language-features/adt/adt01.out b/testdata/language-features/adt/adt01.out
index 36f684b5..67385347 100644
--- a/testdata/language-features/adt/adt01.out
+++ b/testdata/language-features/adt/adt01.out
@@ -108,80 +108,80 @@ match'Zero = \a b c d -> <<type case function>>
 value1 :: OneBool
 value1 = _rhs (OneBool True)
 ------------ tooltips
-adt01.lc 1:6-1:10
+1:6-1:10
    Type | Type | Type | Type
-adt01.lc 3:6-3:10
+3:6-3:10
    Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type
-adt01.lc 3:6-3:12
+3:6-3:12
    Type | Type
-adt01.lc 3:6-3:19
+3:6-3:19
    Type | Type
-adt01.lc 3:6-3:21
+3:6-3:21
    Type
-adt01.lc 3:11-3:12
+3:11-3:12
    Type
-adt01.lc 3:15-3:19
+3:15-3:19
    forall a . a -> One1 a | One1 _c | Type | Type
-adt01.lc 3:20-3:21
+3:20-3:21
    Type
-adt01.lc 5:6-5:12
+5:6-5:12
    Type | Type | Type | Type | Type | Type
-adt01.lc 5:6-5:19
+5:6-5:19
    Type
-adt01.lc 5:15-5:19
+5:15-5:19
    Int -> OneInt | OneInt | Type | Type
-adt01.lc 5:20-5:23
+5:20-5:23
    Type
-adt01.lc 7:6-7:13
+7:6-7:13
    Type | Type | Type | Type | Type | Type
-adt01.lc 7:6-7:23
+7:6-7:23
    Type
-adt01.lc 7:16-7:23
+7:16-7:23
    Bool -> OneBool | OneBool | Type | Type
-adt01.lc 7:24-7:28
+7:24-7:28
    Type
-adt01.lc 9:6-9:9
+9:6-9:9
    Type -> Type -> Type | Type -> Type -> Type | Type -> Type -> Type | Type
      -> Type -> Type | Type -> Type -> Type | Type
-adt01.lc 9:6-9:11
+9:6-9:11
    Type -> Type | Type -> Type
-adt01.lc 9:6-9:13
+9:6-9:13
    Type | Type | Type | Type
-adt01.lc 9:6-10:11
+9:6-10:11
    Type | Type
-adt01.lc 9:6-11:9
+9:6-11:9
    Type | Type | Type | Type
-adt01.lc 9:6-11:11
+9:6-11:11
    Type | Type
-adt01.lc 9:10-9:11
+9:10-9:11
    Type | Type
-adt01.lc 9:12-9:13
+9:12-9:13
    Type | Type
-adt01.lc 10:5-10:9
+10:5-10:9
    forall a b . a -> Two a b | Two _d _c | Type | Type
-adt01.lc 10:10-10:11
+10:10-10:11
    Type
-adt01.lc 11:5-11:9
+11:5-11:9
    forall a b . b -> Two a b | Two _e _d | Type | Type
-adt01.lc 11:10-11:11
+11:10-11:11
    Type
-adt01.lc 13:1-13:7
+13:1-13:7
    OneBool
-adt01.lc 13:10-13:17
+13:10-13:17
    Bool -> OneBool
-adt01.lc 13:10-13:22
+13:10-13:22
    OneBool
-adt01.lc 13:18-13:22
+13:18-13:22
    Bool
-adt01.lc 15:1-15:2
+15:1-15:2
    OneBool -> Bool
-adt01.lc 15:17-15:18
+15:17-15:18
    Bool
-adt01.lc 17:1-17:5
+17:1-17:5
    Bool
-adt01.lc 17:8-17:9
+17:8-17:9
    OneBool -> Bool
-adt01.lc 17:8-17:16
+17:8-17:16
    Bool
-adt01.lc 17:10-17:16
+17:10-17:16
    OneBool
 \ No newline at end of file

diff --git a/testdata/language-features/adt/adt01.out b/testdata/language-features/adt/adt01.out index 36f684b5..67385347 100644 --- a/testdata/language-features/adt/adt01.out +++ b/testdata/language-features/adt/adt01.out
@@ -108,80 +108,80 @@ match'Zero = \a b c d -> <<type case function>>
108	value1 :: OneBool	108	value1 :: OneBool
109	value1 = _rhs (OneBool True)	109	value1 = _rhs (OneBool True)
110	------------ tooltips	110	------------ tooltips
111	adt01.lc 1:6-1:10	111	1:6-1:10
112	Type \| Type \| Type \| Type	112	Type \| Type \| Type \| Type
113	adt01.lc 3:6-3:10	113	3:6-3:10
114	Type -> Type \| Type -> Type \| Type -> Type \| Type -> Type \| Type	114	Type -> Type \| Type -> Type \| Type -> Type \| Type -> Type \| Type
115	adt01.lc 3:6-3:12	115	3:6-3:12
116	Type \| Type	116	Type \| Type
117	adt01.lc 3:6-3:19	117	3:6-3:19
118	Type \| Type	118	Type \| Type
119	adt01.lc 3:6-3:21	119	3:6-3:21
120	Type	120	Type
121	adt01.lc 3:11-3:12	121	3:11-3:12
122	Type	122	Type
123	adt01.lc 3:15-3:19	123	3:15-3:19
124	forall a . a -> One1 a \| One1 _c \| Type \| Type	124	forall a . a -> One1 a \| One1 _c \| Type \| Type
125	adt01.lc 3:20-3:21	125	3:20-3:21
126	Type	126	Type
127	adt01.lc 5:6-5:12	127	5:6-5:12
128	Type \| Type \| Type \| Type \| Type \| Type	128	Type \| Type \| Type \| Type \| Type \| Type
129	adt01.lc 5:6-5:19	129	5:6-5:19
130	Type	130	Type
131	adt01.lc 5:15-5:19	131	5:15-5:19
132	Int -> OneInt \| OneInt \| Type \| Type	132	Int -> OneInt \| OneInt \| Type \| Type
133	adt01.lc 5:20-5:23	133	5:20-5:23
134	Type	134	Type
135	adt01.lc 7:6-7:13	135	7:6-7:13
136	Type \| Type \| Type \| Type \| Type \| Type	136	Type \| Type \| Type \| Type \| Type \| Type
137	adt01.lc 7:6-7:23	137	7:6-7:23
138	Type	138	Type
139	adt01.lc 7:16-7:23	139	7:16-7:23
140	Bool -> OneBool \| OneBool \| Type \| Type	140	Bool -> OneBool \| OneBool \| Type \| Type
141	adt01.lc 7:24-7:28	141	7:24-7:28
142	Type	142	Type
143	adt01.lc 9:6-9:9	143	9:6-9:9
144	Type -> Type -> Type \| Type -> Type -> Type \| Type -> Type -> Type \| Type	144	Type -> Type -> Type \| Type -> Type -> Type \| Type -> Type -> Type \| Type
145	-> Type -> Type \| Type -> Type -> Type \| Type	145	-> Type -> Type \| Type -> Type -> Type \| Type
146	adt01.lc 9:6-9:11	146	9:6-9:11
147	Type -> Type \| Type -> Type	147	Type -> Type \| Type -> Type
148	adt01.lc 9:6-9:13	148	9:6-9:13
149	Type \| Type \| Type \| Type	149	Type \| Type \| Type \| Type
150	adt01.lc 9:6-10:11	150	9:6-10:11
151	Type \| Type	151	Type \| Type
152	adt01.lc 9:6-11:9	152	9:6-11:9
153	Type \| Type \| Type \| Type	153	Type \| Type \| Type \| Type
154	adt01.lc 9:6-11:11	154	9:6-11:11
155	Type \| Type	155	Type \| Type
156	adt01.lc 9:10-9:11	156	9:10-9:11
157	Type \| Type	157	Type \| Type
158	adt01.lc 9:12-9:13	158	9:12-9:13
159	Type \| Type	159	Type \| Type
160	adt01.lc 10:5-10:9	160	10:5-10:9
161	forall a b . a -> Two a b \| Two _d _c \| Type \| Type	161	forall a b . a -> Two a b \| Two _d _c \| Type \| Type
162	adt01.lc 10:10-10:11	162	10:10-10:11
163	Type	163	Type
164	adt01.lc 11:5-11:9	164	11:5-11:9
165	forall a b . b -> Two a b \| Two _e _d \| Type \| Type	165	forall a b . b -> Two a b \| Two _e _d \| Type \| Type
166	adt01.lc 11:10-11:11	166	11:10-11:11
167	Type	167	Type
168	adt01.lc 13:1-13:7	168	13:1-13:7
169	OneBool	169	OneBool
170	adt01.lc 13:10-13:17	170	13:10-13:17
171	Bool -> OneBool	171	Bool -> OneBool
172	adt01.lc 13:10-13:22	172	13:10-13:22
173	OneBool	173	OneBool
174	adt01.lc 13:18-13:22	174	13:18-13:22
175	Bool	175	Bool
176	adt01.lc 15:1-15:2	176	15:1-15:2
177	OneBool -> Bool	177	OneBool -> Bool
178	adt01.lc 15:17-15:18	178	15:17-15:18
179	Bool	179	Bool
180	adt01.lc 17:1-17:5	180	17:1-17:5
181	Bool	181	Bool
182	adt01.lc 17:8-17:9	182	17:8-17:9
183	OneBool -> Bool	183	OneBool -> Bool
184	adt01.lc 17:8-17:16	184	17:8-17:16
185	Bool	185	Bool
186	adt01.lc 17:10-17:16	186	17:10-17:16
187	OneBool \ No newline at end of file	187	OneBool \ No newline at end of file