Remove export of checkValidFamPats, never used
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 10 Jan 2019 12:08:15 +0000 (12:08 +0000)
committerBen Gamari <ben@well-typed.com>
Thu, 17 Jan 2019 18:39:40 +0000 (13:39 -0500)
compiler/typecheck/TcValidity.hs

index 74c1279..3b88fe1 100644 (file)
@@ -7,7 +7,7 @@
 
 module TcValidity (
   Rank, UserTypeCtxt(..), checkValidType, checkValidMonoType,
-  checkValidTheta, checkValidFamPats,
+  checkValidTheta,
   checkValidInstance, checkValidInstHead, validDerivPred,
   checkTySynRhs,
   checkValidCoAxiom, checkValidCoAxBranch,