summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcBinds.hs
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2017-03-03 10:03:18 -0500
committerBen Gamari <ben@smart-cactus.org>2017-03-03 10:03:31 -0500
commitc02896abdb4cdbbec93a0a670f4d7f5dcc95cc25 (patch)
treeeacd8c791a50e590d224fb0a977464f7d9fdc334 /compiler/typecheck/TcBinds.hs
parentca538b84e78b2b58161ca4c0910a65937c374b9c (diff)
downloadhaskell-c02896abdb4cdbbec93a0a670f4d7f5dcc95cc25.tar.gz
Revert "Read COMPLETE sets from external packages"
This reverts commit 0d2f733050ff656b827351108d988e09abc363fc.
Diffstat (limited to 'compiler/typecheck/TcBinds.hs')
-rw-r--r--compiler/typecheck/TcBinds.hs10
1 files changed, 2 insertions, 8 deletions
diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs
index 201da00504..bb20b43892 100644
--- a/compiler/typecheck/TcBinds.hs
+++ b/compiler/typecheck/TcBinds.hs
@@ -245,18 +245,12 @@ tcCompleteSigs sigs =
(res, cls) <- checkCLTypes AcceptAny
case res of
AcceptAny -> failWithTc ambiguousError
- Fixed _ tc -> return $ mkMatch cls tc
+ Fixed _ tc -> return $ CompleteMatch cls tc
check_complete_match tc_name = do
ty_con <- tcLookupLocatedTyCon tc_name
(_, cls) <- checkCLTypes (Fixed Nothing ty_con)
- return $ mkMatch cls ty_con
-
- mkMatch :: [ConLike] -> TyCon -> CompleteMatch
- mkMatch cls ty_con = CompleteMatch {
- completeMatchConLikes = map conLikeName cls,
- completeMatchTyCon = tyConName ty_con
- }
+ return $ CompleteMatch cls ty_con
doOne _ = return Nothing
ambiguousError :: SDoc