diff options
| author | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-08-05 22:13:34 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-08-05 22:13:34 +0200 |
| commit | 0095cde3474cf487296b6e52bf75130b10827607 (patch) | |
| tree | f9f915396a27a8987b5275efcb1df796081b6af2 /compiler/typecheck/TcPatSyn.hs | |
| parent | 73683f143d352343b00b1ab4f3abeb38b81794be (diff) | |
| download | haskell-0095cde3474cf487296b6e52bf75130b10827607.tar.gz | |
Fix typos
Diffstat (limited to 'compiler/typecheck/TcPatSyn.hs')
| -rw-r--r-- | compiler/typecheck/TcPatSyn.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcPatSyn.hs b/compiler/typecheck/TcPatSyn.hs index 71050b8a38..ed7a44513f 100644 --- a/compiler/typecheck/TcPatSyn.hs +++ b/compiler/typecheck/TcPatSyn.hs @@ -188,7 +188,7 @@ badUnivTvErr ex_tvs bad_tv , nest 2 (ppr_with_kind bad_tv) , hang (text "Existentially-bound variables:") 2 (vcat (map ppr_with_kind ex_tvs)) - , text "Probable fix: give the pattern synoym a type signature" + , text "Probable fix: give the pattern synonym a type signature" ] where ppr_with_kind tv = ppr tv <+> dcolon <+> ppr (tyVarKind tv) @@ -1016,7 +1016,7 @@ tcPatToExpr name args pat = go pat ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ For a bidirectional pattern synonym we need to produce an /expression/ that matches the supplied /pattern/, given values for the arguments -of the pattern synoymy. For example +of the pattern synonym. For example pattern F x y = (Just x, [y]) The 'builder' for F looks like $builderF x y = (Just x, [y]) |