Commit 116088de authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

testsuite: Add T11824

Test Plan: Validate

Reviewers: goldfire, austin

Reviewed By: austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2107

GHC Trac Issues: #11824
parent 10c6df00
import Type
main :: IO ()
main = return ()
module TyCon where
import Unbound.Generics.LocallyNameless (Alpha (..))
import {-# SOURCE #-} Type (TyName)
data AlgTyConRhs
= NewTyCon TyName
instance Alpha AlgTyConRhs where
isTerm (NewTyCon nm) = isTerm nm
module Type where
import Unbound.Generics.LocallyNameless (Alpha (..),Name)
import TyCon
data TType = VarTy
type TyName = Name TType
instance Alpha TType where
isTerm VarTy = False
module Type where
import Unbound.Generics.LocallyNameless (Name)
import Data.Typeable
data TType
type TyName = Name TType
instance Typeable TType
module Unbound.Generics.LocallyNameless where
import Data.Typeable (Typeable)
data Name a = Name
class Alpha a where
isTerm :: a -> Bool
instance Typeable a => Alpha (Name a) where
isTerm _ = False
test('T11824', expect_broken(11824), compile_and_run, [''])
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment