From 953648127cea2836ec134b03a966695ac0b36434 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Wed, 5 Aug 2015 14:24:54 +0100 Subject: Tidy up and refactor wildcard handling When examining #10615, I found the wildcard handling hard to understand. This patch refactors quite a bit, but with no real change in behaviour. * Split out TcIdSigInfo from TcSigInfo, as a separate type, like TcPatSynInfo. * Make TcIdSigInfo express more invariants by pushing the wildard info into TcIdSigBndr * Remove all special treatment of unification variables that arise from wildcards; so the TauTv of TcType.MetaInfo loses its Bool argument. A ton of konck on changes. The result is significantly simpler, I think. --- testsuite/tests/partial-sigs/should_compile/T10519.stderr | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'testsuite/tests/partial-sigs/should_compile/T10519.stderr') diff --git a/testsuite/tests/partial-sigs/should_compile/T10519.stderr b/testsuite/tests/partial-sigs/should_compile/T10519.stderr index 254292f6b2..de53da2d33 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10519.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10519.stderr @@ -1,4 +1,5 @@ - -T10519.hs:5:18: warning: - Found hole ‘_’ with inferred constraints: Eq a - In the type signature for ‘foo’: _ => a -> a -> Bool + +T10519.hs:5:18: warning: + Found hole ‘_’ with inferred constraints: Eq a + In the type signature for: + foo :: forall a. _ => a -> a -> Bool -- cgit v1.2.1