Revert "Typeable: Allow App to match arrow types"
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 24 Sep 2017 06:54:28 +0000 (08:54 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 24 Sep 2017 07:30:59 +0000 (09:30 +0200)
commit9c7d0657e2d6c626c6aa7aac061820e8828b857e
tree5b991141560a73ece676bd4c2939dbd53d7c6677
parentd7b260fef51564a1c87838df391d1367207d9e12
Revert "Typeable: Allow App to match arrow types"

This reverts commit cc6be3a2f23c9b2e04f9f491099149e1e1d4d20b.
because it caused the regression #14270 which according to
Richard probably doesn't have an easy fix. So this one goes
back to the drawning board.

This reopens #14236
libraries/base/Data/Typeable/Internal.hs
libraries/base/changelog.md
testsuite/tests/typecheck/should_run/T14236.hs [deleted file]
testsuite/tests/typecheck/should_run/T14236.stdout [deleted file]
testsuite/tests/typecheck/should_run/all.T