[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
#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