diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-01-10 12:08:15 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-01-17 13:39:40 -0500 |
| commit | 7b7b338b9a18cccaf2692556da868e45164938b7 (patch) | |
| tree | 669cc576fc17d75213d84405115641562ee840bf | |
| parent | 96e31b5051b2405bb92901718ab6e78db42ac27f (diff) | |
| download | haskell-7b7b338b9a18cccaf2692556da868e45164938b7.tar.gz | |
Remove export of checkValidFamPats, never used
| -rw-r--r-- | compiler/typecheck/TcValidity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index 74c12790ed..3b88fe1c89 100644 --- a/compiler/typecheck/TcValidity.hs +++ b/compiler/typecheck/TcValidity.hs @@ -7,7 +7,7 @@ module TcValidity ( Rank, UserTypeCtxt(..), checkValidType, checkValidMonoType, - checkValidTheta, checkValidFamPats, + checkValidTheta, checkValidInstance, checkValidInstHead, validDerivPred, checkTySynRhs, checkValidCoAxiom, checkValidCoAxBranch, |