ref: e58eace5b4c5f50e1e1a9b6dd0f8e04122478512
parent: be88c32ed5ce6368378d5ed2448e8026dfc541f3
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Tue Jan 30 06:52:07 EST 2024
Remove wrong comments.
--- a/src/MicroHs/TypeCheck.hs
+++ b/src/MicroHs/TypeCheck.hs
@@ -626,7 +626,7 @@
in case compare lvks lts of
LT -> expandSyn $ eApps (subst s tt) (drop lvks ts)
EQ -> expandSyn $ subst s tt
- GT -> tcError (getSLoc i) $ "bad synonym use" -- XXX bug without this comment
+ GT -> tcError (getSLoc i) $ "bad synonym use"
--EForall (drop lts vks) (subst s tt)
Just _ -> impossible
EUVar _ -> return $ eApps t ts
@@ -693,7 +693,6 @@
bb <- expandSyn b
unifyR loc aa bb
--- XXX should do occur check
unifyR :: HasCallStack =>
SLoc -> EType -> EType -> T ()
unifyR _ (EVar x1) (EVar x2) | x1 == x2 = return ()
--
⑨