testsuite/tests/safeHaskell/overlapping/SH_Overlap8_A.hs


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

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE Safe #-}
{-# LANGUAGE FlexibleInstances #-}
module SH_Overlap8_A (
    C(..)
  ) where

class C a where
  f :: a -> String

instance
  {-# OVERLAPS #-}
  C [Int] where
    f _ = "[Int]"