From e57768c37bc8cbc85b58bf47a71562d0d782c698 Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Fri, 29 Apr 2016 12:52:37 +0200
Subject: use Doc instead of String is several places

---
 testdata/typesig.reject.out | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'testdata/typesig.reject.out')

diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 1b78a5c8..cc45ae6e 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,12 +1,12 @@
 focus checkMetas: \a -> (\(b :: Type) -> primFix a b) (\(a := Type) -> \(c :: Type) -> <<HERE>>)
-\(a :: Type ~ _a) (b :: _a ~ 'X) -> typeAnn _a (labend X)
+\(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X)
 ------------ trace
 'X :: Type
 X :: 'X
 'XCase :: (a :: 'X -> Type) -> a X -> (b :: 'X) -> a b
 match'X :: (a :: Type -> Type) -> a 'X -> (b :: Type) -> a b -> a b
 !focus checkMetas: \a -> (\(b :: Type) -> primFix a b) (\(a := Type) -> \(c :: Type) -> <<HERE>>)
-\(a :: Type ~ _a) (b :: _a ~ 'X) -> typeAnn _a (labend X)
+\(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X)
 ------------ tooltips
 testdata/typesig.reject.lc 4:6-4:7  Type
 testdata/typesig.reject.lc 4:6-4:11  Type
-- 
cgit v1.2.3