Building library for grisette-0.13.0.1... 04:43:20 [5/653410]
[ 41 of 251] Compiling Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalOrdTerm
/home/curators/work/unpack-dir/unpacked/grisette-0.13.0.1-a1eff3f311b09c3aa568a07040a42456787c4a60ec7f16878d8fb688453a220b/sr
c/Grisette/Internal/SymPrim/Prim/Internal/Instances/PEvalOrdTerm.hs:171:57: error: [GHC-39999]
• Could not deduce ‘SBV.OrdSymbolic (SBV.SBV SBV.RoundingMode)’
arising from a use of ‘r’
from the context: (Grisette.Internal.SymPrim.Prim.Internal.Term.PrimConstraint
FPRoundingMode,
SBV.SMTDefinable
(Grisette.Internal.SymPrim.Prim.Internal.Term.SBVType
FPRoundingMode),
SBV.Mergeable
(Grisette.Internal.SymPrim.Prim.Internal.Term.SBVType
FPRoundingMode),
ghc-internal-9.1202.0:GHC.Internal.Data.Typeable.Internal.Typeable
(Grisette.Internal.SymPrim.Prim.Internal.Term.SBVType
FPRoundingMode))
bound by a type expected by the context:
(Grisette.Internal.SymPrim.Prim.Internal.Term.PrimConstraint
FPRoundingMode,
SBV.SMTDefinable
(Grisette.Internal.SymPrim.Prim.Internal.Term.SBVType
FPRoundingMode),
SBV.Mergeable
(Grisette.Internal.SymPrim.Prim.Internal.Term.SBVType
FPRoundingMode),
ghc-internal-9.1202.0:GHC.Internal.Data.Typeable.Internal.Typeable
(Grisette.Internal.SymPrim.Prim.Internal.Term.SBVType
FPRoundingMode)) =>
r
at src/Grisette/Internal/SymPrim/Prim/Internal/Instances/PEvalOrdTerm.hs:171:57
• In the second argument of ‘withPrim’, namely ‘r’
In the expression: withPrim @FPRoundingMode r
In an equation for ‘withSbvOrdTermConstraint’:
withSbvOrdTermConstraint r = withPrim @FPRoundingMode r
|
171 | withSbvOrdTermConstraint r = withPrim @FPRoundingMode r
| ^
