[GHC] #12365: Update documentation for partial type signatures
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In the [https://downloads.haskell.org/~ghc/master/users- guide/glasgow_exts.html#partial-type-signatures 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. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: thomasw (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomasw): * owner: => thomasw -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: 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: | -------------------------------------+------------------------------------- Changes (by thomasw): * differential: => Phab:D2413 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: 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: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"627c767b8e5587de52086d8891d7f7aabf6fa49f/ghc" 627c767b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="627c767b8e5587de52086d8891d7f7aabf6fa49f" 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: thomasw Type: bug | Status: merge Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: | Keywords: 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: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => merge * milestone: => 8.0.2 Comment: Thanks thomasw! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: thomasw Type: bug | Status: merge Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: | Keywords: 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: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"e59121a5555a95911849605606f2076eba70c004/ghc" e59121a/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e59121a5555a95911849605606f2076eba70c004" 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) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12365: Update documentation for partial type signatures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: thomasw Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: 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: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12365#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC