diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-18 22:36:34 -0400 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 12:16:11 -0400 |
commit | 3e1b8824c849d063c7354dbdf63ae2910cf0fdfc (patch) | |
tree | 162a77f875bb9cfbbf17a93f84e4582ba62c4840 /testsuite/tests/indexed-types/should_fail/all.T | |
parent | f8ab575404b726b499e72343b7220e9213880dd4 (diff) | |
download | haskell-3e1b8824c849d063c7354dbdf63ae2910cf0fdfc.tar.gz |
Prevent eager unification with type families.
See Note [Prevent unification with type families]
in TcUnify for the details.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/all.T')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/all.T b/testsuite/tests/indexed-types/should_fail/all.T index 1da5824f5d..c6f29a492f 100644 --- a/testsuite/tests/indexed-types/should_fail/all.T +++ b/testsuite/tests/indexed-types/should_fail/all.T @@ -138,3 +138,4 @@ test('T10141', normal, compile_fail, ['']) test('T10817', normal, compile_fail, ['']) test('T10899', normal, compile_fail, ['']) test('T11136', normal, compile_fail, ['']) +test('T7788', normal, compile_fail, ['']) |