pairing-0.4.1

[jkachmar]

pairing-0.4.1 fails to compile on the latest nightly with the following errors:

Build Log

src/Pairing/Fr.hs:28:10: error:
    • Overlapping instances for Ord Fr
        arising from a use of ‘ghc-prim-0.5.3:GHC.Classes.$dm<’
      Matching instances:
        instance Ord (PrimeField p) -- Defined in ‘PrimeField’
        instance Ord Fr -- Defined at src/Pairing/Fr.hs:28:10
    • In the expression: ghc-prim-0.5.3:GHC.Classes.$dm< @(Fr)
      In an equation for ‘<’: (<) = ghc-prim-0.5.3:GHC.Classes.$dm< @(Fr)
      In the instance declaration for ‘Ord Fr’
   |
28 | instance Ord Fr where
   |          ^^^^^^

src/Pairing/Fr.hs:28:10: error:
    • Overlapping instances for Ord Fr
        arising from a use of ‘ghc-prim-0.5.3:GHC.Classes.$dm<=’
      Matching instances:
        instance Ord (PrimeField p) -- Defined in ‘PrimeField’
        instance Ord Fr -- Defined at src/Pairing/Fr.hs:28:10
    • In the expression: ghc-prim-0.5.3:GHC.Classes.$dm<= @(Fr)
      In an equation for ‘<=’:
          (<=) = ghc-prim-0.5.3:GHC.Classes.$dm<= @(Fr)
      In the instance declaration for ‘Ord Fr’
   |
28 | instance Ord Fr where
   |          ^^^^^^

src/Pairing/Fr.hs:28:10: error:
    • Overlapping instances for Ord Fr
        arising from a use of ‘ghc-prim-0.5.3:GHC.Classes.$dm>’
      Matching instances:
        instance Ord (PrimeField p) -- Defined in ‘PrimeField’
        instance Ord Fr -- Defined at src/Pairing/Fr.hs:28:10
    • In the expression: ghc-prim-0.5.3:GHC.Classes.$dm> @(Fr)
      In an equation for ‘>’: (>) = ghc-prim-0.5.3:GHC.Classes.$dm> @(Fr)
      In the instance declaration for ‘Ord Fr’
   |
28 | instance Ord Fr where
   |          ^^^^^^

src/Pairing/Fr.hs:28:10: error:
    • Overlapping instances for Ord Fr
        arising from a use of ‘ghc-prim-0.5.3:GHC.Classes.$dm>=’
      Matching instances:
        instance Ord (PrimeField p) -- Defined in ‘PrimeField’
        instance Ord Fr -- Defined at src/Pairing/Fr.hs:28:10
    • In the expression: ghc-prim-0.5.3:GHC.Classes.$dm>= @(Fr)
      In an equation for ‘>=’:
          (>=) = ghc-prim-0.5.3:GHC.Classes.$dm>= @(Fr)
      In the instance declaration for ‘Ord Fr’
   |
28 | instance Ord Fr where
   |          ^^^^^^

src/Pairing/Fr.hs:28:10: error:
    • Overlapping instances for Ord Fr
        arising from a use of ‘ghc-prim-0.5.3:GHC.Classes.$dmmax’
      Matching instances:
        instance Ord (PrimeField p) -- Defined in ‘PrimeField’
        instance Ord Fr -- Defined at src/Pairing/Fr.hs:28:10
    • In the expression: ghc-prim-0.5.3:GHC.Classes.$dmmax @(Fr)
      In an equation for ‘max’:
          max = ghc-prim-0.5.3:GHC.Classes.$dmmax @(Fr)
      In the instance declaration for ‘Ord Fr’
   |
28 | instance Ord Fr where
   |          ^^^^^^

src/Pairing/Fr.hs:28:10: error:
    • Overlapping instances for Ord Fr
        arising from a use of ‘ghc-prim-0.5.3:GHC.Classes.$dmmin’
      Matching instances:
        instance Ord (PrimeField p) -- Defined in ‘PrimeField’
        instance Ord Fr -- Defined at src/Pairing/Fr.hs:28:10
    • In the expression: ghc-prim-0.5.3:GHC.Classes.$dmmin @(Fr)
      In an equation for ‘min’:
          min = ghc-prim-0.5.3:GHC.Classes.$dmmin @(Fr)
      In the instance declaration for ‘Ord Fr’
   |
28 | instance Ord Fr where
   |          ^^^^^^

These instances were added to galois-field but the ones in pairing have not been deleted yet, as indicated by this comment.

[bergmark]

Ping @sdiehl, same here that the package was disabled. Please file a PR if the package has been updated.