Implement QuantifiedConstraints
[ghc.git] / testsuite / tests / quantified-constraints / all.T
1
2 test('T14833', normal, compile, [''])
3 test('T14835', normal, compile, [''])
4 test('T2893', normal, compile, [''])
5 test('T2893a', normal, compile, [''])
6 test('T2893c', normal, compile, [''])
7 test('T9123', normal, compile, [''])
8 test('T14863', normal, compile, [''])
9 test('T14961', normal, compile, [''])
10 test('T9123a', normal, compile, [''])