packages feed

ghc-exactprint-0.5.0.0: tests/examples/ghc8/SH_Overlap1.hs

{-# LANGUAGE Trustworthy #-}
{-# LANGUAGE FlexibleInstances #-}

-- | Compilation should fail as we have overlapping instances that don't obey
-- our heuristics.
module SH_Overlap1 where

import safe SH_Overlap1_A

instance
  C [a] where
    f _ = "[a]"

test :: String
test = f ([1,2,3,4] :: [Int])