#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