From 67fd4cabceda047750c19e9bef98e0c25c6ed7dd Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Thu, 28 Apr 2016 22:43:51 +0200 Subject: switch to Haskell style syntax in pretty print --- testdata/language-features/basic-list/list11.out | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'testdata/language-features/basic-list/list11.out') diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index 53a243cf..cb6df6d3 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out @@ -1,10 +1,10 @@ main is not found ------------ trace -value :: {a} -> {_ : 'Num a} -> 'List a +value :: forall a . 'Num a => 'List a ------------ tooltips -testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {_ : Num a} -> List a -testdata/language-features/basic-list/list11.lc 1:9-1:10 b_ -testdata/language-features/basic-list/list11.lc 1:9-1:11 List b_ -> List b_ -testdata/language-features/basic-list/list11.lc 1:9-1:13 List b_ -testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a -testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a +testdata/language-features/basic-list/list11.lc 1:1-1:6 forall a . Num a => List a +testdata/language-features/basic-list/list11.lc 1:9-1:10 _b +testdata/language-features/basic-list/list11.lc 1:9-1:11 List _b -> List _b +testdata/language-features/basic-list/list11.lc 1:9-1:13 List _b +testdata/language-features/basic-list/list11.lc 1:10-1:11 forall a . a -> List a -> List a +testdata/language-features/basic-list/list11.lc 1:11-1:13 forall a . List a -- cgit v1.2.3