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

Fix test error message

Browse source
This commit is contained in:
Martin Fredin 2023-04-05 17:41:17 +02:00
parent 9870802371
commit 05ea23d22c
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ReportForall.hs
View file

@ -25,7 +25,7 @@ rpuType typ = do
where
go tvars = \case
TAll tvar t
| tvar `elem` tvars -> throwError "Duplicate forall"
| tvar `elem` tvars -> throwError "Unused forall"
| otherwise -> go (tvar : tvars) t
TVar tvar -> pure (delete tvar tvars)
TFun t1 t2 -> go tvars t1 >>= (`go` t2)