diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-24 17:21:56 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-24 17:31:51 +0000 |
| commit | 2b5929cc4390d03de2c4ae950d7e2a69b5065f2a (patch) | |
| tree | e2511b778df8bffd79f3e8544a958e9539f11202 /compiler | |
| parent | 0bd0c31e833055eb3e86177f70c4b4d93d5a1c11 (diff) | |
| download | haskell-2b5929cc4390d03de2c4ae950d7e2a69b5065f2a.tar.gz | |
Comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Coercion.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs index a2b93bd459..64e2c5b97b 100644 --- a/compiler/types/Coercion.hs +++ b/compiler/types/Coercion.hs @@ -133,7 +133,7 @@ import Data.Function ( on ) -- The coercion arguments always *precisely* saturate -- arity of (that branch of) the CoAxiom. If there are -- any left over, we use AppCo. See - -- See [Coercion axioms applied to coercions] + -- See [Coercion axioms applied to coercions] in TyCoRep \subsection{Coercion variables} %* * |