Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Alex D
GHC
Commits
28a00eaf
Commit
28a00eaf
authored
Sep 30, 2016
by
Gabor Greif
💬
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Correct spelling in note references
parent
3f27237b
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
3 additions
and
3 deletions
+3
-3
compiler/types/TyCoRep.hs
compiler/types/TyCoRep.hs
+3
-3
No files found.
compiler/types/TyCoRep.hs
View file @
28a00eaf
...
...
@@ -2954,7 +2954,7 @@ pprTcApp_help to_type p pp tc tys dflags style
pp_tc
=
ppr
tc
tys_wo_kinds
=
suppressInvisibles
to_type
dflags
tc
tys
-- See Note [Printing eq
a
uality constraints]
-- See Note [Printing equality constraints]
mb_saturated_equality
|
hetero_eq_tc
,
[
k1
,
k2
,
t1
,
t2
]
<-
tys
...
...
@@ -2965,13 +2965,13 @@ pprTcApp_help to_type p pp tc tys dflags style
|
otherwise
=
Nothing
-- See Note [Printing eq
a
uality constraints]
-- See Note [Printing equality constraints]
homo_eq_tc
=
tc
`
hasKey
`
eqTyConKey
-- ~
hetero_eq_tc
=
tc
`
hasKey
`
eqPrimTyConKey
-- ~#
||
tc
`
hasKey
`
eqReprPrimTyConKey
-- ~R#
||
tc
`
hasKey
`
heqTyConKey
-- ~~
-- See Note [Printing eq
a
uality constraints]
-- See Note [Printing equality constraints]
print_equality
(
ki1
,
ki2
,
ty1
,
ty2
)
|
print_eqs
=
ppr_infix_eq
pp_tc
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment