diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-06-15 20:49:10 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-06-16 14:22:53 -0400 |
| commit | 298c4244022546842390e51c04b08760d884a6dc (patch) | |
| tree | b6037e24352af9450cff32a995fa90e16c8dd040 /testsuite | |
| parent | 9b105c6d3597ab9b0157ed831d5445d2b619130f (diff) | |
| download | haskell-298c4244022546842390e51c04b08760d884a6dc.tar.gz | |
Treat funTyCon like any other TyCon in can_eq_nc.
Custom treatment of FunTys in can_eq_nc' interfered with the new
handling of decomposing equalities.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/RepArrow.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_compile/RepArrow.hs b/testsuite/tests/typecheck/should_compile/RepArrow.hs index d891387bca..6a9df79390 100644 --- a/testsuite/tests/typecheck/should_compile/RepArrow.hs +++ b/testsuite/tests/typecheck/should_compile/RepArrow.hs @@ -5,5 +5,5 @@ module RepArrow where import Data.Ord ( Down ) -- convenient "Id" newtype, without its constructor import Data.Coerce -foo :: Coercible (Down (Int -> Int)) (Int -> Int) => () -foo = () +foo :: Coercible (Down (Int -> Int)) (Int -> Int) => Down (Int -> Int) -> Int -> Int +foo = coerce diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 17a3918717..81650872f2 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -462,3 +462,4 @@ test('T10348', normal, compile, ['']) test('T10494', normal, compile, ['']) test('T10493', normal, compile, ['']) test('T10428', normal, compile, ['']) +test('RepArrow', normal, compile, ['']) |