Skip to content
Snippets Groups Projects
Commit 1e823a34 authored by Ryan Scott's avatar Ryan Scott
Browse files

Add orderingTyCon to wiredInTyCons (#18185) 

`Ordering` needs to be wired in for use in the built-in `CmpNat` and
`CmpSymbol` type families, but somehow it was never added to the list
of `wiredInTyCons`, leading to the various oddities observed
in #18185. Easily fixed.

Fixes #18185.
parent 477f13bb
Branches wip/ttg-booleanformula
No related tags found
No related merge requests found
Pipeline #19383 failed
Stage: lint
    Stage: quick-build
      Stage: build
        Stage: full-build
          Stage: cleanup
            Stage: packaging
              Stage: testing
                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