improve pretty print layout & show desugared source code in .out files

author: Péter Diviánszky <divipp@gmail.com> 2016-05-01 19:13:34 +0200
committer: Péter Diviánszky <divipp@gmail.com> 2016-05-01 19:13:34 +0200
commit: 90e336391673ac1cf9ff582e98e35faf89a8f09d (patch)
tree: 0b7a14dbfc5734c07c2ae4ed34cb679fecd10d3f /testdata/language-features/module
parent: 1a7544763729938e7009ead1e375e9bbf413afb0 (diff)
22 files changed, 56 insertions, 0 deletions
diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out
index 1092217c..d7ab37a3 100644
--- a/testdata/language-features/module/Hello01.out
+++ b/testdata/language-features/module/Hello01.out
@@ -1,3 +1,6 @@
+------------ desugared source code
+hello = _rhs "hello"
+world = _rhs "world"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Hello02.out b/testdata/language-features/module/Hello02.out
index 5add282c..40a09950 100644
--- a/testdata/language-features/module/Hello02.out
+++ b/testdata/language-features/module/Hello02.out
@@ -1,3 +1,6 @@
+------------ desugared source code
+hello = _rhs "hello"
+world = _rhs "world"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Hello03.out b/testdata/language-features/module/Hello03.out
index 12f70b11..f926b872 100644
--- a/testdata/language-features/module/Hello03.out
+++ b/testdata/language-features/module/Hello03.out
@@ -1,3 +1,6 @@
+------------ desugared source code
+greeting = _rhs 'G'
+value = _rhs 12.2
 main is not found
 ------------ trace
 greeting :: [32mChar[0m
diff --git a/testdata/language-features/module/ModulePackage/SubModule01.out b/testdata/language-features/module/ModulePackage/SubModule01.out
index 513c363e..88780f22 100644
--- a/testdata/language-features/module/ModulePackage/SubModule01.out
+++ b/testdata/language-features/module/ModulePackage/SubModule01.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+hello = _rhs "Hello"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Moduledef01.out b/testdata/language-features/module/Moduledef01.out
index 8fcbc3af..907bca84 100644
--- a/testdata/language-features/module/Moduledef01.out
+++ b/testdata/language-features/module/Moduledef01.out
@@ -1 +1,2 @@
+------------ desugared source code
 main is not found
diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out
index 0d6e7543..72cb3a01 100644
--- a/testdata/language-features/module/Moduledef06.out
+++ b/testdata/language-features/module/Moduledef06.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+hello = _rhs "hello"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out
index abacda06..ddd44c2e 100644
--- a/testdata/language-features/module/Moduledef07.out
+++ b/testdata/language-features/module/Moduledef07.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+hello = _rhs "hello"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out
index 873b2467..8c446393 100644
--- a/testdata/language-features/module/Moduledef08.out
+++ b/testdata/language-features/module/Moduledef08.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+hello = _rhs "hello"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Moduledef09.out b/testdata/language-features/module/Moduledef09.out
index f8d17e75..6a8ec166 100644
--- a/testdata/language-features/module/Moduledef09.out
+++ b/testdata/language-features/module/Moduledef09.out
@@ -1,3 +1,6 @@
+------------ desugared source code
+hello = _rhs "hello"
+world = _rhs "world"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Moduledef10.out b/testdata/language-features/module/Moduledef10.out
index 6064ace1..2cec647d 100644
--- a/testdata/language-features/module/Moduledef10.out
+++ b/testdata/language-features/module/Moduledef10.out
@@ -1,3 +1,7 @@
+------------ desugared source code
+hello = _rhs "hello"
+world = _rhs "world"
+value = _rhs HNil
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out
index 01a5781b..08922d6a 100644
--- a/testdata/language-features/module/Moduledef13.out
+++ b/testdata/language-features/module/Moduledef13.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+hello = _rhs "hello"
 main is not found
 ------------ trace
 hello :: [32mString[0m
diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out
index 47ed80b8..61a3438b 100644
--- a/testdata/language-features/module/TypeSyn01Mod.out
+++ b/testdata/language-features/module/TypeSyn01Mod.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+'MyUnit = _rhs ('HList Nil)
 main is not found
 ------------ trace
 'MyUnit :: [32mType[0m
diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out
index fbf732d3..92e24184 100644
--- a/testdata/language-features/module/import01.out
+++ b/testdata/language-features/module/import01.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+x = _rhs hello
 main is not found
 ------------ trace
 x :: [32mString[0m
diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out
index 3ed4aafc..1074387f 100644
--- a/testdata/language-features/module/import05.out
+++ b/testdata/language-features/module/import05.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+x = _rhs hello :: String
 main is not found
 ------------ trace
 x :: [32mString[0m
diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out
index b9ec1f0f..7709e076 100644
--- a/testdata/language-features/module/import06.out
+++ b/testdata/language-features/module/import06.out
@@ -1,3 +1,6 @@
+------------ desugared source code
+hello = _rhs HNil
+x = _rhs world
 main is not found
 ------------ trace
 hello :: [32m()[0m
diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out
index 10ec3003..d4246086 100644
--- a/testdata/language-features/module/import07.out
+++ b/testdata/language-features/module/import07.out
@@ -1,3 +1,6 @@
+------------ desugared source code
+hello = _rhs HNil
+x = _rhs world
 main is not found
 ------------ trace
 hello :: [32m()[0m
diff --git a/testdata/language-features/module/import08.out b/testdata/language-features/module/import08.out
index ea29a899..75c34115 100644
--- a/testdata/language-features/module/import08.out
+++ b/testdata/language-features/module/import08.out
@@ -1,3 +1,8 @@
+------------ desugared source code
+value = _rhs HNil
+g = _rhs greeting :: Char
+h = _rhs hello :: String
+w = _rhs world :: String
 main is not found
 ------------ trace
 value :: [32m()[0m
diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out
index b084e577..c8edeca8 100644
--- a/testdata/language-features/module/import09.out
+++ b/testdata/language-features/module/import09.out
@@ -1,3 +1,7 @@
+------------ desugared source code
+fun
+  = (\_ (a :: _) -> hlistNilCase (_ :: _) (_rhs HNil) a)
+    :: forall (b :: _) . b -> MyUnit -> MyUnit
 main is not found
 ------------ trace
 fun :: [32mforall a . [32ma[0;32m -> () -> ()[0m
diff --git a/testdata/language-features/module/import12.out b/testdata/language-features/module/import12.out
index fb54d02c..da5cbbc0 100644
--- a/testdata/language-features/module/import12.out
+++ b/testdata/language-features/module/import12.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+fun = _rhs hello
 main is not found
 ------------ trace
 fun :: [32mString[0m
diff --git a/testdata/language-features/module/import13.out b/testdata/language-features/module/import13.out
index 9a46cd6d..509460bf 100644
--- a/testdata/language-features/module/import13.out
+++ b/testdata/language-features/module/import13.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+fun = _rhs hello
 main is not found
 ------------ trace
 fun :: [32mString[0m
diff --git a/testdata/language-features/module/import14.out b/testdata/language-features/module/import14.out
index 114303dd..73df8f0a 100644
--- a/testdata/language-features/module/import14.out
+++ b/testdata/language-features/module/import14.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+fun = _rhs hello
 main is not found
 ------------ trace
 fun :: [32mString[0m
diff --git a/testdata/language-features/module/import15.out b/testdata/language-features/module/import15.out
index b4d11105..92df1171 100644
--- a/testdata/language-features/module/import15.out
+++ b/testdata/language-features/module/import15.out
@@ -1,3 +1,5 @@
+------------ desugared source code
+fun = _rhs hello
 main is not found
 ------------ trace
 fun :: [32mString[0m
author	Péter Diviánszky <divipp@gmail.com>	2016-05-01 19:13:34 +0200
committer	Péter Diviánszky <divipp@gmail.com>	2016-05-01 19:13:34 +0200
commit	90e336391673ac1cf9ff582e98e35faf89a8f09d (patch)
tree	0b7a14dbfc5734c07c2ae4ed34cb679fecd10d3f /testdata/language-features/module
parent	1a7544763729938e7009ead1e375e9bbf413afb0 (diff)

diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out index 1092217c..d7ab37a3 100644 --- a/testdata/language-features/module/Hello01.out +++ b/testdata/language-features/module/Hello01.out
@@ -1,3 +1,6 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
		3	world = _rhs "world"
1	main is not found	4	main is not found
2	------------ trace	5	------------ trace
3	hello :: [32mString[0m	6	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Hello02.out b/testdata/language-features/module/Hello02.out index 5add282c..40a09950 100644 --- a/testdata/language-features/module/Hello02.out +++ b/testdata/language-features/module/Hello02.out
@@ -1,3 +1,6 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
		3	world = _rhs "world"
1	main is not found	4	main is not found
2	------------ trace	5	------------ trace
3	hello :: [32mString[0m	6	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Hello03.out b/testdata/language-features/module/Hello03.out index 12f70b11..f926b872 100644 --- a/testdata/language-features/module/Hello03.out +++ b/testdata/language-features/module/Hello03.out
@@ -1,3 +1,6 @@
		1	------------ desugared source code
		2	greeting = _rhs 'G'
		3	value = _rhs 12.2
1	main is not found	4	main is not found
2	------------ trace	5	------------ trace
3	greeting :: [32mChar[0m	6	greeting :: [32mChar[0m


diff --git a/testdata/language-features/module/ModulePackage/SubModule01.out b/testdata/language-features/module/ModulePackage/SubModule01.out index 513c363e..88780f22 100644 --- a/testdata/language-features/module/ModulePackage/SubModule01.out +++ b/testdata/language-features/module/ModulePackage/SubModule01.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	hello = _rhs "Hello"
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	hello :: [32mString[0m	5	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Moduledef01.out b/testdata/language-features/module/Moduledef01.out index 8fcbc3af..907bca84 100644 --- a/testdata/language-features/module/Moduledef01.out +++ b/testdata/language-features/module/Moduledef01.out
@@ -1 +1,2 @@
		1	------------ desugared source code
1	main is not found	2	main is not found


diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out index 0d6e7543..72cb3a01 100644 --- a/testdata/language-features/module/Moduledef06.out +++ b/testdata/language-features/module/Moduledef06.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	hello :: [32mString[0m	5	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out index abacda06..ddd44c2e 100644 --- a/testdata/language-features/module/Moduledef07.out +++ b/testdata/language-features/module/Moduledef07.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	hello :: [32mString[0m	5	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out index 873b2467..8c446393 100644 --- a/testdata/language-features/module/Moduledef08.out +++ b/testdata/language-features/module/Moduledef08.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	hello :: [32mString[0m	5	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Moduledef09.out b/testdata/language-features/module/Moduledef09.out index f8d17e75..6a8ec166 100644 --- a/testdata/language-features/module/Moduledef09.out +++ b/testdata/language-features/module/Moduledef09.out
@@ -1,3 +1,6 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
		3	world = _rhs "world"
1	main is not found	4	main is not found
2	------------ trace	5	------------ trace
3	hello :: [32mString[0m	6	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Moduledef10.out b/testdata/language-features/module/Moduledef10.out index 6064ace1..2cec647d 100644 --- a/testdata/language-features/module/Moduledef10.out +++ b/testdata/language-features/module/Moduledef10.out
@@ -1,3 +1,7 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
		3	world = _rhs "world"
		4	value = _rhs HNil
1	main is not found	5	main is not found
2	------------ trace	6	------------ trace
3	hello :: [32mString[0m	7	hello :: [32mString[0m


diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out index 01a5781b..08922d6a 100644 --- a/testdata/language-features/module/Moduledef13.out +++ b/testdata/language-features/module/Moduledef13.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	hello = _rhs "hello"
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	hello :: [32mString[0m	5	hello :: [32mString[0m


diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out index 47ed80b8..61a3438b 100644 --- a/testdata/language-features/module/TypeSyn01Mod.out +++ b/testdata/language-features/module/TypeSyn01Mod.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	'MyUnit = _rhs ('HList Nil)
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	'MyUnit :: [32mType[0m	5	'MyUnit :: [32mType[0m


diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out index fbf732d3..92e24184 100644 --- a/testdata/language-features/module/import01.out +++ b/testdata/language-features/module/import01.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	x = _rhs hello
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	x :: [32mString[0m	5	x :: [32mString[0m


diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out index 3ed4aafc..1074387f 100644 --- a/testdata/language-features/module/import05.out +++ b/testdata/language-features/module/import05.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	x = _rhs hello :: String
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	x :: [32mString[0m	5	x :: [32mString[0m


diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out index b9ec1f0f..7709e076 100644 --- a/testdata/language-features/module/import06.out +++ b/testdata/language-features/module/import06.out
@@ -1,3 +1,6 @@
		1	------------ desugared source code
		2	hello = _rhs HNil
		3	x = _rhs world
1	main is not found	4	main is not found
2	------------ trace	5	------------ trace
3	hello :: [32m()[0m	6	hello :: [32m()[0m


diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out index 10ec3003..d4246086 100644 --- a/testdata/language-features/module/import07.out +++ b/testdata/language-features/module/import07.out
@@ -1,3 +1,6 @@
		1	------------ desugared source code
		2	hello = _rhs HNil
		3	x = _rhs world
1	main is not found	4	main is not found
2	------------ trace	5	------------ trace
3	hello :: [32m()[0m	6	hello :: [32m()[0m


diff --git a/testdata/language-features/module/import08.out b/testdata/language-features/module/import08.out index ea29a899..75c34115 100644 --- a/testdata/language-features/module/import08.out +++ b/testdata/language-features/module/import08.out
@@ -1,3 +1,8 @@
		1	------------ desugared source code
		2	value = _rhs HNil
		3	g = _rhs greeting :: Char
		4	h = _rhs hello :: String
		5	w = _rhs world :: String
1	main is not found	6	main is not found
2	------------ trace	7	------------ trace
3	value :: [32m()[0m	8	value :: [32m()[0m


diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out index b084e577..c8edeca8 100644 --- a/testdata/language-features/module/import09.out +++ b/testdata/language-features/module/import09.out
@@ -1,3 +1,7 @@
		1	------------ desugared source code
		2	fun
		3	= (\_ (a :: _) -> hlistNilCase (_ :: _) (_rhs HNil) a)
		4	:: forall (b :: _) . b -> MyUnit -> MyUnit
1	main is not found	5	main is not found
2	------------ trace	6	------------ trace
3	fun :: [32mforall a . [32ma[0;32m -> () -> ()[0m	7	fun :: [32mforall a . [32ma[0;32m -> () -> ()[0m


diff --git a/testdata/language-features/module/import12.out b/testdata/language-features/module/import12.out index fb54d02c..da5cbbc0 100644 --- a/testdata/language-features/module/import12.out +++ b/testdata/language-features/module/import12.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	fun = _rhs hello
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	fun :: [32mString[0m	5	fun :: [32mString[0m


diff --git a/testdata/language-features/module/import13.out b/testdata/language-features/module/import13.out index 9a46cd6d..509460bf 100644 --- a/testdata/language-features/module/import13.out +++ b/testdata/language-features/module/import13.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	fun = _rhs hello
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	fun :: [32mString[0m	5	fun :: [32mString[0m


diff --git a/testdata/language-features/module/import14.out b/testdata/language-features/module/import14.out index 114303dd..73df8f0a 100644 --- a/testdata/language-features/module/import14.out +++ b/testdata/language-features/module/import14.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	fun = _rhs hello
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	fun :: [32mString[0m	5	fun :: [32mString[0m


diff --git a/testdata/language-features/module/import15.out b/testdata/language-features/module/import15.out index b4d11105..92df1171 100644 --- a/testdata/language-features/module/import15.out +++ b/testdata/language-features/module/import15.out
@@ -1,3 +1,5 @@
		1	------------ desugared source code
		2	fun = _rhs hello
1	main is not found	3	main is not found
2	------------ trace	4	------------ trace
3	fun :: [32mString[0m	5	fun :: [32mString[0m