Commit 21d0bfe1 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove unused exports

parent 03541cba
......@@ -66,7 +66,7 @@ module TcSMonad (
-- Inert CDictCans
lookupInertDict, findDictsByClass, addDict, addDictsByClass,
delDict, partitionDicts, foldDicts, filterDicts,
delDict, foldDicts, filterDicts,
-- Inert CTyEqCans
EqualCtList, findTyEqs, foldTyEqs, isInInertEqs,
......@@ -81,8 +81,8 @@ module TcSMonad (
lookupFlatCache, extendFlatCache, newFlattenSkolem, -- Flatten skolems
-- Inert CFunEqCans
updInertFunEqs, findFunEq, sizeFunEqMap, filterFunEqs,
findFunEqsByTyCon, partitionFunEqs, foldFunEqs,
updInertFunEqs, findFunEq, sizeFunEqMap,
findFunEqsByTyCon,
instDFunType, -- Instantiation
......@@ -2224,11 +2224,6 @@ filterFunEqs = filterTcAppMap
insertFunEq :: FunEqMap a -> TyCon -> [Type] -> a -> FunEqMap a
insertFunEq m tc tys val = insertTcApp m (getUnique tc) tys val
-- insertFunEqCt :: FunEqMap Ct -> Ct -> FunEqMap Ct
-- insertFunEqCt m ct@(CFunEqCan { cc_fun = tc, cc_tyargs = tys })
-- = insertFunEq m tc tys ct
-- insertFunEqCt _ ct = pprPanic "insertFunEqCt" (ppr ct)
partitionFunEqs :: (Ct -> Bool) -> FunEqMap Ct -> ([Ct], FunEqMap Ct)
-- Optimise for the case where the predicate is false
-- partitionFunEqs is called only from kick-out, and kick-out usually
......
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