testsuite/tests/printer/Test19840.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Test19840 where

class C a where
  f         :: forall {z}. z -> a -> a
  default f :: forall {z}. z -> a -> a
  f _ x = x

  g         :: forall {z::k} . z -> a -> a
  g _ x = x