[GHC] #12672: Missing lambda in third monad law description
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Keywords: documentation | Operating System: Unknown/Multiple monad | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The `Control.Monad` documentation is missing the lambda in the documentation for the third monad law because it is not escaped with an additional `\`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Changes (by vaibhavsagar): * owner: => vaibhavsagar * differential: => D2583 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"1a9705c32f6841be8bc6df3c1084a50dacba2730/ghc" 1a9705c3/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1a9705c32f6841be8bc6df3c1084a50dacba2730" Escape lambda. Test Plan: View updated documentation? Reviewers: austin, hvr, bgamari Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2583 GHC Trac Issues: #12672 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed * milestone: => 8.0.2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): Why not in terms of `>=>` {{{#!hs return >=> g = g }}} {{{#!hs g >=> return = g }}} {{{#!hs (f >=> g) >=> h = f >=> (g >=> h) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): Please open a new ticket if you think so! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Iceland_Jack, personally I think it is probably best that we state the laws in terms of the typeclass methods although I do agree that the symmetry of the `>=>` formulation is compelling -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): Replying to [comment:6 bgamari]: I would normally agree but it is compelling, created #12683 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12672: Missing lambda in third monad law description -------------------------------------+------------------------------------- Reporter: vaibhavsagar | Owner: vaibhavsagar Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: documentation | monad Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): D2583 Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Merged to `ghc-8.0` as bdfa8a1ce14b551ce2989ad7fa74ee6b4015c5e1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12672#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC