• eir@cis.upenn.edu's avatar
    Fix #9066. · d782694f
    eir@cis.upenn.edu authored
    When splicing in a fixity declaration, look for both term-level things
    and type-level things. This requires some changes elsewhere in the
    code to allow for more flexibility when looking up Exact names, which
    can be assigned the wrong namespace during fixity declaration
    conversion.
    
    See the ticket for more info.
    d782694f
Convert.lhs 49.7 KB