Commit 1087a6be authored by Ian Lynagh's avatar Ian Lynagh

Add a test for trac #4233

parent d3900034
{-# LANGUAGE TypeFamilies, TypeOperators, TemplateHaskell #-}
module Q where
import Language.Haskell.TH
type family a :<=: b
w = varT (mkName "w")
f = [t|Maybe $w :<=: Int|]
......@@ -164,3 +164,4 @@ test('T3899', extra_clean(['T3899a.hi','T3899a.o']),
multimod_compile, ['T3899','-v0 -ddump-splices -dsuppress-uniques'])
test('T4056', normal, compile, ['-v0'])
test('T4188', normal, compile, ['-v0'])
test('T4233', normal, compile, ['-v0'])
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