diff options
-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] |