From 3db0b64a6f3e28ae6cc351e6c84290d4db905fa7 Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Mon, 15 Feb 2016 15:58:16 +0100
Subject: put trace info in .out files

---
 testdata/typeclass.out | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'testdata/typeclass.out')

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 7f040fee..5f036c40 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -1,4 +1,11 @@
 main is not found
+------------ trace
+not :: 'Bool->'Bool
+&& :: 'Bool -> 'Bool->'Bool
+|| :: 'Bool -> 'Bool->'Bool
+'Eq :: Type->Type
+== :: {a} -> {b : 'Eq a} -> a -> a->'Bool
+/= :: {a} -> {b : 'Eq a} -> a -> a->'Bool
 ------------ tooltips
 testdata/typeclass.lc 8:1-8:4  Bool->Bool
 testdata/typeclass.lc 8:5-8:9  V1
-- 
cgit v1.2.3