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

fixed coerce type error

Browse source
This commit is contained in:
sebastianselander 2023-03-28 15:44:03 +02:00
parent cca2f853ea
commit 43a863c153
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/TypeChecker/RemoveTEVar.hs
View file

@ -64,8 +64,8 @@ instance RemoveTEVar a b => RemoveTEVar [a] [b] where
instance RemoveTEVar Type T.Type where instance RemoveTEVar Type T.Type where
rmTEVar = \case rmTEVar = \case
TLit lit -> pure $ T.TLit (coerce lit) TLit lit -> pure $ T.TLit (coerce lit)
TVar tvar -> pure $ T.TVar (coerce tvar) TVar (MkTVar i) -> pure $ T.TVar (T.MkTVar $ coerce i)
TData name typs -> T.TData (coerce name) <$> rmTEVar typs TData name typs -> T.TData (coerce name) <$> rmTEVar typs
TFun t1 t2 -> liftA2 T.TFun (rmTEVar t1) (rmTEVar t2) TFun t1 t2 -> liftA2 T.TFun (rmTEVar t1) (rmTEVar t2)
TAll tvar t -> T.TAll (coerce tvar) <$> rmTEVar t TAll (MkTVar i) t -> T.TAll (T.MkTVar $ coerce i) <$> rmTEVar t
TEVar _ -> throwError "NewType TEVar!" TEVar _ -> throwError "NewType TEVar!"