[commit: ghc] master: Fix type error in 2c207b6f (Compare the kinds of type variables) (baab120)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/baab12043477828488b351aa595f2aaca78453af >--------------------------------------------------------------- commit baab12043477828488b351aa595f2aaca78453af Author: Simon Peyton Jones <[email protected]> Date: Wed Oct 3 08:15:34 2012 +0100 Fix type error in 2c207b6f (Compare the kinds of type variables) >--------------------------------------------------------------- compiler/typecheck/TcRnDriver.lhs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs index a573623..18f7951 100644 --- a/compiler/typecheck/TcRnDriver.lhs +++ b/compiler/typecheck/TcRnDriver.lhs @@ -768,8 +768,8 @@ checkBootTyCon tc1 tc2 , Just syn_rhs2 <- synTyConRhs_maybe tc2 , Just env <- eqTyVarBndrs emptyRnEnv2 (tyConTyVars tc1) (tyConTyVars tc2) = ASSERT(tc1 == tc2) - let eqSynRhs SynFamilyTyCon SynFamilyTyCon - = True + let eqSynRhs (SynFamilyTyCon o1 i1) (SynFamilyTyCon o2 i2) + = o1==o2 && i1==i2 eqSynRhs (SynonymTyCon t1) (SynonymTyCon t2) = eqTypeX env t1 t2 eqSynRhs _ _ = False