summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile/T10997_1.hs
blob: 7855343d5ab9b84db25b947264375ed64b64b9d4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
{-# LANGUAGE Haskell2010 #-}
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