Opened 3 years ago

Closed 3 years ago

#12365 closed bug (fixed)

Update documentation for partial type signatures

Reported by: goldfire Owned by: thomasw
Priority: normal Milestone: 8.0.2
Component: Documentation Version: 8.0.1
Keywords: Cc: thomasw
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D2413
Wiki Page:

Description

In the documentation for partial type signatures, I found several bits that are out of date:

  • There are several sample error messages given. These have been substantively reworded (Found hole `_` with type: ... to Found type wildcard `_` standing for ...) where I find the new wording much clearer.
  • In the "Where can they occur?" section, there's no mention of TypeApplications, which is a new context where they can appear.

Change History (7)

comment:1 Changed 3 years ago by thomie

Cc: thomasw added

comment:2 Changed 3 years ago by thomasw

Owner: set to thomasw

comment:3 Changed 3 years ago by thomasw

Differential Rev(s): Phab:D2413

comment:4 Changed 3 years ago by Ben Gamari <ben@…>

In 627c767b/ghc:

Update docs for partial type signatures (#12365)

* Update the sample error messages. The messages have been reworded and
  reformatted since GHC 7.10.

* Mention `TypeApplications` in "Where can they occur?"

* The name of a named wild card is no longer used in the name of a
  resulting type variable. Before: `_foo` => `w_foo`, now: `_foo` => `t`
  or `a`.

Test Plan: generate the users guide

Reviewers: goldfire, austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2413

GHC Trac Issues: #12365

comment:5 Changed 3 years ago by bgamari

Milestone: 8.0.2
Status: newmerge

Thanks thomasw!

comment:6 Changed 3 years ago by Ben Gamari <ben@…>

In e59121a/ghc:

Update docs for partial type signatures (#12365)

* Update the sample error messages. The messages have been reworded and
  reformatted since GHC 7.10.

* Mention `TypeApplications` in "Where can they occur?"

* The name of a named wild card is no longer used in the name of a
  resulting type variable. Before: `_foo` => `w_foo`, now: `_foo` => `t`
  or `a`.

Test Plan: generate the users guide

Reviewers: goldfire, austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2413

GHC Trac Issues: #12365

(cherry picked from commit 627c767b8e5587de52086d8891d7f7aabf6fa49f)

comment:7 Changed 3 years ago by bgamari

Resolution: fixed
Status: mergeclosed
Note: See TracTickets for help on using tickets.