Commit a7f65b87 authored by Joachim Breitner's avatar Joachim Breitner

Remove dead code: countOnce, countMany

and export Count abstractly (the constructors are not used anywhere).
parent 930a525a
......@@ -8,8 +8,7 @@
{-# LANGUAGE CPP, FlexibleInstances, TypeSynonymInstances, RecordWildCards #-}
module Demand (
StrDmd, UseDmd(..), Count(..),
countOnce, countMany, -- cardinality
StrDmd, UseDmd(..), Count,
Demand, CleanDemand, getStrDmd, getUseDmd,
mkProdDmd, mkOnceUsedDmd, mkManyUsedDmd, mkHeadStrict, oneifyDmd,
......@@ -378,11 +377,6 @@ instance Outputable Count where
ppr One = char '1'
ppr Many = text ""
-- Well-formedness preserving constructors for the Absence domain
countOnce, countMany :: Count
countOnce = One
countMany = Many
useBot, useTop :: ArgUse
useBot = Abs
useTop = Use Many Used
......
Markdown is supported
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