diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-03 08:15:34 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-03 08:15:34 +0100 |
| commit | baab12043477828488b351aa595f2aaca78453af (patch) | |
| tree | 48f750d3eb32dad4501207d7e88e3c6b5ab2be08 /compiler | |
| parent | 0b06d68d22679eb6a29cb8b789004af1cea61847 (diff) | |
| download | haskell-baab12043477828488b351aa595f2aaca78453af.tar.gz | |
Fix type error in 2c207b6f (Compare the kinds of type variables)
Diffstat (limited to 'compiler')
| -rw-r--r-- | 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 a573623be1..18f7951ef7 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 |