Skip to content

Fix errors from Unique tag changes

Teo Camarasu requested to merge wip/teo/fix-ci into master

These were caused by ghc!14639 (merged)

We fix hiedb, but it's not clear to me how liquidhaskell-boot should be updated, so I have created an issue to ask for advice instead: ghc#26513

Merge request reports

Loading