testsuite/tests/typecheck/should_compile/T7171.hs


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

{-# LANGUAGE FunctionalDependencies #-}  {-# LANGUAGE FlexibleInstances #-}

module T7171 where

import T7171a
import Data.ByteString

-- this works
-- test1 :: [Int] -> [Int]
-- test1 = test

-- this fails
test2 :: ByteString -> ByteString
test2 = test