testsuite/tests/typecheck/should_fail/T19977a.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE FlexibleContexts #-}

module T19977a where

-- See Note [Inferring principal types] in Ghc.Tc.Solver

f x = show [x]

g :: Show [a] => a -> String
g x = f x