diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-12-10 17:49:58 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-12-10 17:50:12 +0000 |
| commit | f114826575c29bc578df64b8ba754609d9986fb6 (patch) | |
| tree | 1dd88a63d03739cf4d72cc30fe29b94a82ad114a | |
| parent | 0849d0243192ac10798b2095a25e18b7f611988c (diff) | |
| download | haskell-f114826575c29bc578df64b8ba754609d9986fb6.tar.gz | |
Spelling in comment
| -rw-r--r-- | compiler/typecheck/TcEvidence.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcEvidence.lhs b/compiler/typecheck/TcEvidence.lhs index da488499fd..3e230d33fc 100644 --- a/compiler/typecheck/TcEvidence.lhs +++ b/compiler/typecheck/TcEvidence.lhs @@ -567,7 +567,7 @@ data EvTerm | EvCoercion TcCoercion -- (Boxed) coercion bindings -- See Note [Coercion evidence terms] - | EvCast EvTerm TcCoercion -- d |> co, the coerction being at role representational + | EvCast EvTerm TcCoercion -- d |> co, the coercion being at role representational | EvDFunApp DFunId -- Dictionary instance application [Type] [EvTerm] |