Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

reverted back to most close to correct version

Browse source
This commit is contained in:
sebastianselander 2023-03-28 17:57:44 +02:00
parent d8a75d6643
commit 9e6fe454ce
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/TypeChecker/TypeCheckerHm.hs
View file

@ -97,8 +97,8 @@ checkBind (Bind name args e) = do
s <- gets sigs s <- gets sigs
case M.lookup (coerce name) s of case M.lookup (coerce name) s of
Just (Just t') -> do Just (Just t') -> do
sab <- unify t' lambda_t -- \| TODO: Fix, this is not correct
let fsig = apply (sab `compose` sub0) t' let fsig = apply sub0 t'
sub1 <- liftEither $ runIdentity $ runExceptT $ execStateT (typeEq fsig lambda_t) mempty sub1 <- liftEither $ runIdentity $ runExceptT $ execStateT (typeEq fsig lambda_t) mempty
sub2 <- liftEither $ runIdentity $ runExceptT $ execStateT (typeEq lambda_t fsig) mempty sub2 <- liftEither $ runIdentity $ runExceptT $ execStateT (typeEq lambda_t fsig) mempty
unless unless