Commit 482b6a95 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

TFs: T3418

parent cefcb843
{-# LANGUAGE TypeFamilies #-}
module T3418 where
newtype (a ~ b) => S a b = S { unS :: a }
......@@ -132,3 +132,4 @@ test('T2203b', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
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, [''])
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