Commit 33d10265 authored by Michael Schaper's avatar Michael Schaper
Browse files

resolve ref warning

parent da792841
......@@ -95,7 +95,7 @@ instance (Num c, Eq c) => CostExpression (NormPoly c) where
-- fractional polynomials over norms
----------------------------------------------------------------------
data NormPolyFrac c = P.Polynomial Norm c :% P.Polynomial Norm c
data NormPolyFrac c = NormPoly c :% NormPoly c
deriving (Show, Eq, Ord, Read, Functor, Foldable, Traversable)
instance (Num c, Eq c) => (E.Substitutable (NormPolyFrac c)) where
......@@ -334,6 +334,10 @@ instance PP.Pretty Norm where
ppBars d = PP.char '|' <> d <> PP.char '|'
#endif
instance {-# OVERLAPPING #-} (PP.Pretty c, Num c, Eq c) => PP.Pretty (NormPoly c) where
pretty = P.ppPoly PP.pretty (PP.underline . PP.pretty)
#ifndef DEBUG
instance (PP.Pretty a, Num a, Eq a) => PP.Pretty (NormPolyFrac a) where
pretty (n :% d)
......
Supports Markdown
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