diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-21 17:22:10 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-22 18:38:41 -0400 |
| commit | 9b38f6a12c0a9e932ed4be4758d90556f868f6bf (patch) | |
| tree | def00c22b4103ece4cc8c893d2ab1a6d94ab7030 /compiler/iface | |
| parent | be2e0e88d7ddd33eef8277c8d67f0b0f3e2874be (diff) | |
| download | haskell-9b38f6a12c0a9e932ed4be4758d90556f868f6bf.tar.gz | |
Comments only -- clarifying Notes around compatibility.
Diffstat (limited to 'compiler/iface')
| -rw-r--r-- | compiler/iface/MkIface.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs index 51df08c44c..bb51cdae9d 100644 --- a/compiler/iface/MkIface.lhs +++ b/compiler/iface/MkIface.lhs @@ -1525,7 +1525,7 @@ coAxiomToIfaceDecl ax@(CoAxiom { co_ax_tc = tycon, co_ax_branches = branches -- 2nd parameter is the list of branch LHSs, for conversion from incompatible branches -- to incompatible indices --- See [Storing compatibility] in CoAxiom +-- See Note [Storing compatibility] in CoAxiom coAxBranchToIfaceBranch :: TidyEnv -> [[Type]] -> CoAxBranch -> IfaceAxBranch coAxBranchToIfaceBranch env0 lhs_s branch@(CoAxBranch { cab_incomps = incomps }) |