Commit 3adf1c56 authored by simonpj's avatar simonpj
Browse files

Test Trac #3423

parent 88e3668a
{-# LANGUAGE TypeFamilies, UndecidableInstances, StandaloneDeriving #-}
module T3423 where
newtype Trie m k a = Trie (Maybe a, m (SubKey k) (Trie m k a))
type family SubKey k
type instance SubKey [k] = k
deriving instance (Eq (m k (Trie m [k] a)), Eq a)
=> Eq (Trie m [k] a)
......@@ -133,3 +133,4 @@ test('T2767', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('T3208a', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('T3208b', expect_fail, compile, [''])
test('T3418', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('T3423', normal, compile, [''])
Supports Markdown
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