Commit 7b7b338b authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by Ben Gamari

Remove export of checkValidFamPats, never used

parent 96e31b50
......@@ -7,7 +7,7 @@
module TcValidity (
Rank, UserTypeCtxt(..), checkValidType, checkValidMonoType,
checkValidTheta, checkValidFamPats,
checkValidInstance, checkValidInstHead, validDerivPred,
checkValidCoAxiom, checkValidCoAxBranch,
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