[GHC] #11825: Pretty printer doesn't display functional dependency with ‘→’
#11825: Pretty printer doesn't display functional dependency with ‘→’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: GHCi | Version: 7.10.3 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: -------------------------------------+------------------------------------- {{{ % ghci -ignore-dot-ghci GHCi, version 8.1.20160117: http://www.haskell.org/ghc/ :? for help Prelude> :set -XUnicodeSyntax Prelude> import Control.Monad.Free Prelude Control.Monad.Free> :set -XUnicodeSyntax Prelude Control.Monad.Free> :i MonadFree class Monad m => MonadFree (f :: * -> *) (m :: * -> *) | m -> f where wrap :: f (m a) -> m a default wrap :: (m ~ t n, Control.Monad.Trans.Class.MonadTrans t, MonadFree f n, Functor f) => f (m a) -> m a -- Defined in ‘Control.Monad.Free.Class’ instance [safe] Functor f => MonadFree f (Free f) -- Defined in ‘Control.Monad.Free’ Prelude Control.Monad.Free> }}} should be {{{ class Monad m => MonadFree (f :: * -> *) (m :: * -> *) | m → f where }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11825 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11825: Pretty printer doesn't display functional dependency with ‘→’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 7.10.3 Resolution: invalid | Keywords: unicode, | UnicodeSyntax 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): * status: new => closed * keywords: => unicode, UnicodeSyntax * resolution: => invalid Comment: Use `-fprint-unicode-syntax`. See #8959 for details. {{{ $ ghci GHCi, version 8.0.0.20160511: http://www.haskell.org/ghc/ :? for help Prelude> import Control.Monad.Free Prelude Control.Monad.Free> :set -fprint-unicode-syntax Prelude Control.Monad.Free> :i MonadFree class Monad m ⇒ MonadFree (f ∷ * → *) (m ∷ * → *) | m -> f where wrap ∷ f (m a) → m a default wrap ∷ (m ~ t n, Control.Monad.Trans.Class.MonadTrans t, MonadFree f n, Functor f) ⇒ f (m a) → m a -- Defined in ‘Control.Monad.Free.Class’ instance [safe] Functor f ⇒ MonadFree f (Free f) -- Defined in ‘Control.Monad.Free’ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11825#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11825: Pretty printer doesn't display functional dependency with ‘→’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.10.3 Resolution: | Keywords: unicode, | UnicodeSyntax 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): * status: closed => new * resolution: invalid => Comment: Hmm, I guess it should print: {{{ class Monad m ⇒ MonadFree (f :: * → *) (m :: * → *) | m → f where }}} Note the last arrow is a unicode symbol as well. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11825#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11825: Pretty printer doesn't display functional dependency with ‘→’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: patch Priority: normal | Milestone: Component: GHCi | Version: 7.10.3 Resolution: | Keywords: unicode, | UnicodeSyntax Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2243 Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: new => patch * differential: => Phab:D2243 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11825#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11825: Pretty printer doesn't display functional dependency with ‘→’
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner:
Type: feature request | Status: patch
Priority: normal | Milestone:
Component: GHCi | Version: 7.10.3
Resolution: | Keywords: unicode,
| UnicodeSyntax
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D2243
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ömer Sinan Ağacan
#11825: Pretty printer doesn't display functional dependency with ‘→’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: merge Priority: normal | Milestone: Component: GHCi | Version: 7.10.3 Resolution: | Keywords: unicode, | UnicodeSyntax Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2243 Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: patch => merge -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11825#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11825: Pretty printer doesn't display functional dependency with ‘→’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 8.0.2 Component: GHCi | Version: 7.10.3 Resolution: fixed | Keywords: unicode, | UnicodeSyntax Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2243 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed * milestone: => 8.0.2 Comment: Merged to `ghc-8.0` as 38036f0d3f0a3776e8aba561f4572a426bb29ee4. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11825#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC