diff options
| author | Gabor Greif <ggreif@gmail.com> | 2012-11-07 16:05:20 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2012-11-07 16:05:20 +0100 |
| commit | 50728d09bed322cdbfdda00f38d0503f9aed728b (patch) | |
| tree | 575549026283a3ed912d35f8878ac58a4e235794 | |
| parent | 3ca7260ae35adf70d31003008af67576d6b6c78c (diff) | |
| download | haskell-50728d09bed322cdbfdda00f38d0503f9aed728b.tar.gz | |
another typo
| -rw-r--r-- | compiler/typecheck/TcRnTypes.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs index e6d2013ff2..4b2ea8fa94 100644 --- a/compiler/typecheck/TcRnTypes.lhs +++ b/compiler/typecheck/TcRnTypes.lhs @@ -915,7 +915,7 @@ built (in TcCanonical). In contrast, the type of the evidence *term* (ccev_evtm or ctev_evar) in the evidence may *not* be fully zonked; we are careful not to look at it -during constraint solving. Seee Note [Evidence field of CtEvidence] +during constraint solving. See Note [Evidence field of CtEvidence] \begin{code} mkNonCanonical :: CtLoc -> CtEvidence -> Ct |