diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-27 13:19:36 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-28 09:34:17 +0100 |
| commit | 9b456df49201a2c7f37d330909c73b30c16bcdf4 (patch) | |
| tree | 76dab277b2c752c5058d021887f9d09a1a9d6724 | |
| parent | 8c5e7346746a870ccc2eb86747792700f2a08deb (diff) | |
| download | haskell-9b456df49201a2c7f37d330909c73b30c16bcdf4.tar.gz | |
Fix stale comments around closed type families.
| -rw-r--r-- | compiler/typecheck/FamInst.lhs | 2 | ||||
| -rw-r--r-- | compiler/types/FamInstEnv.lhs | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/compiler/typecheck/FamInst.lhs b/compiler/typecheck/FamInst.lhs index 3f220b1339..3ca28ef203 100644 --- a/compiler/typecheck/FamInst.lhs +++ b/compiler/typecheck/FamInst.lhs @@ -35,7 +35,7 @@ import Maybes import TcMType import TcType import Name -import VarSet -- RAE +import VarSet import Control.Monad import Data.Map (Map) import qualified Data.Map as Map diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs index 85ad7f4e19..d7bdeccea3 100644 --- a/compiler/types/FamInstEnv.lhs +++ b/compiler/types/FamInstEnv.lhs @@ -784,8 +784,7 @@ findBranch (CoAxBranch { cab_tvs = tpl_tvs, cab_lhs = tpl_lhs, cab_incomps = inc Just subst -- matching worked. now, check for apartness. | all (isSurelyApart . tcApartTys instanceBindFun target_tys - . coAxBranchLHS) $ -- RAE: This is horribly inefficient - incomps + . coAxBranchLHS) incomps -> -- matching worked & we're apart from all incompatible branches. success Just (ind, substTyVars subst tpl_tvs) |