summaryrefslogtreecommitdiff
path: root/testdata/id.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-03 16:40:30 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-03 16:40:30 +0200
commitf468a49a43193caffe92cdd48a52a699880e14ef (patch)
tree255c8b454e9a75d05397468b849b8f5b032a878a /testdata/id.out
parentfa47957b930c53d78d2da0bcb948e2fbff11f59d (diff)
refactoring
Diffstat (limited to 'testdata/id.out')
-rw-r--r--testdata/id.out2
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/id.out b/testdata/id.out
index 3273b516..b087590c 100644
--- a/testdata/id.out
+++ b/testdata/id.out
@@ -1,6 +1,6 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2main' = _rhs \(a := _rhs \(b :: _) -> b) -> HCons (a 4.0) (HCons (a True) HNil) 3main' = _rhs \(a := _rhs \(b :: _) -> b) -> HCons (a 4.0) (HCons (a True) HNil)
3main is not found
4------------ trace 4------------ trace
5main' :: (Float, Bool) 5main' :: (Float, Bool)
6------------ tooltips 6------------ tooltips