Commit 35c5ea61 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Add a test for -XPartiallyAppliedClosedTypeSynonyms

parent 82331d66
......@@ -246,6 +246,7 @@ test('tc230', normal, compile, [''])
test('tc231', normal, compile, [''])
test('tc232', reqlib('mtl'), compile, [''])
test('tc233', normal, compile, [''])
test('tc234', normal, compile, [''])
test('faxen', normal, compile, [''])
......
{-# OPTIONS_GHC -XPartiallyAppliedClosedTypeSynonyms #-}
module ShouldCompile where
type T a b = a
type S m = m ()
f :: S (T Int)
f = undefined
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