diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-05-26 11:08:54 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-05-26 14:49:41 +0200 |
| commit | 19c4203f12a849e1d468d7c1de5cd6bfe75a4bc1 (patch) | |
| tree | c6bff37189ffcf0a997dc8e556e79f48c28e2a8d /compiler/typecheck/TcPatSyn.hs | |
| parent | ad14efd539377aaf472ad69449dcaf3e679b0e51 (diff) | |
| download | haskell-19c4203f12a849e1d468d7c1de5cd6bfe75a4bc1.tar.gz | |
Typos in comments [ci skip]
Diffstat (limited to 'compiler/typecheck/TcPatSyn.hs')
| -rw-r--r-- | compiler/typecheck/TcPatSyn.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcPatSyn.hs b/compiler/typecheck/TcPatSyn.hs index dc2c4de674..6d2426fe2a 100644 --- a/compiler/typecheck/TcPatSyn.hs +++ b/compiler/typecheck/TcPatSyn.hs @@ -208,7 +208,7 @@ Consider pattern P x <- MkT x This should work. But in the matcher we must match against MkT, and then -instantiate its argument 'x', to get a functino of type (Int -> Int). +instantiate its argument 'x', to get a function of type (Int -> Int). Equality is not enough! Trac #13752 was an example. Note [Checking against a pattern signature] |