Skip to content
Snippets Groups Projects
Commit ed5805b2 authored by Teo Camarasu's avatar Teo Camarasu
Browse files

Fix build of ghc-tcplugins-extra and ghc-typelits-natnormalise following CtEvidence refactor 

See ghc@65dc65dc
parent ab3d7921
No related branches found
No related tags found
1 merge request!407Fix build of ghc-tcplugins-extra following CtEvidence refactor
Pipeline #109098 passed
Stage: generate
Stage: dispatch
Pipeline: head.hackage

#109100

    Hide whitespace changes
    Inline Side-by-side
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment