81c8db7 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fixed inequality test when generating inference constraints

commit81c8db708f2cb73bcaf170d60ce6f602a6ee0da3 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateSun 15 Jan 2017, 17:04 (10 years ago) parentc03fa21

1 file changed+2−2

unifiedsplit

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