dc3d53f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #3617 from ahmadsalim/hotfix/inference-constraint-inequality

Fixed inequality test when generating inference constraints

commitdc3d53f6cb52a4eed47827c35196e49a474b339f authorAhmad Salim Al-Sibahi <asal@itu.dk> dateTue 24 Jan 2017, 14:50 (10 years ago) parent951d4b2 81c8db7

1 file changed+2−2

compare with master

unifiedsplit

src/Idris/AbsSyntax.hs+2−2

src/Idris/AbsSyntax.hs+2−2

@@ -316,10 +316,10 @@ addTyInfConstraints fc ts = do logLvl 2 $ "TI missing: " ++ show ts

316316 do let (fx, _) = unApply x

317317 let (fy, _) = unApply y

318318 case (fx, fy) of

319− (P (TCon _ _) n _, P (TCon _ _) n' _) -> errWhen (n/=n) -- XXX: n' is unused. Should this be errWhen (n /= n')?

319+ (P (TCon _ _) n _, P (TCon _ _) n' _) -> errWhen (n/=n')

320320 (P (TCon _ _) n _, Constant _) -> errWhen True

321321 (Constant _, P (TCon _ _) n' _) -> errWhen True

322− (P (DCon _ _ _) n _, P (DCon _ _ _) n' _) -> errWhen (n/=n) -- XXX: n' is unused. Should this be errWhen (n /= n')?

322+ (P (DCon _ _ _) n _, P (DCon _ _ _) n' _) -> errWhen (n/=n')

323323 _ -> return ()

324324

325325 where errWhen True