diff options
Diffstat (limited to 'testsuite/tests/printer/T18052a.stderr')
-rw-r--r-- | testsuite/tests/printer/T18052a.stderr | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/testsuite/tests/printer/T18052a.stderr b/testsuite/tests/printer/T18052a.stderr new file mode 100644 index 0000000000..1ac260a73b --- /dev/null +++ b/testsuite/tests/printer/T18052a.stderr @@ -0,0 +1,42 @@ +TYPE SIGNATURES + (+++) :: forall {a}. [a] -> [a] -> [a] +TYPE CONSTRUCTORS + data type (&&&){0} :: * + type synonym (^^^){0} :: * -> * -> * +PATTERN SYNONYMS + (:||:) :: forall {a} {b}. a -> b -> (a, b) +Dependent modules: [] +Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, + integer-gmp-1.0.3.0] + +==================== Tidy Core ==================== +Result size of Tidy Core + = {terms: 18, types: 53, coercions: 0, joins: 0/0} + +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +T18052a.$b:||: :: forall {a} {b}. a -> b -> (a, b) +[GblId, Arity=2, Unf=OtherCon []] +T18052a.$b:||: = GHC.Tuple.(,) + +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +(+++) :: forall {a}. [a] -> [a] -> [a] +[GblId] +(+++) = (++) + +-- RHS size: {terms: 13, types: 20, coercions: 0, joins: 0/0} +T18052a.$m:||: + :: forall {rep :: GHC.Types.RuntimeRep} {r :: TYPE rep} {a} {b}. + (a, b) -> (a -> b -> r) -> (GHC.Prim.Void# -> r) -> r +[GblId, Arity=3, Unf=OtherCon []] +T18052a.$m:||: + = \ (@(rep :: GHC.Types.RuntimeRep)) + (@(r :: TYPE rep)) + (@a) + (@b) + (scrut :: (a, b)) + (cont :: a -> b -> r) + _ [Occ=Dead] -> + case scrut of { (x, y) -> cont x y } + + + |