summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile/T10997_1.hs
blob: 4cc4b40eecb0182ad11089d759c4f8891be230f9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module T10997_1 where

import T10997_1a

{- With ghc-7.10.2:

    The interface for ‘T10997a’
    Declaration for Just'
    Pattern synonym Just':
    Iface type variable out of scope:  k
    Cannot continue after interface file error
-}

bar :: (Showable a) => Maybe a -> Maybe a
bar (Just' a) = Just' a