From 298c4244022546842390e51c04b08760d884a6dc Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Mon, 15 Jun 2015 20:49:10 -0400 Subject: 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. --- testsuite/tests/typecheck/should_compile/RepArrow.hs | 4 ++-- testsuite/tests/typecheck/should_compile/all.T | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'testsuite') 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, ['']) -- cgit v1.2.1