[GHC] #10073: Idris REPL is pretty and we can too
#10073: Idris REPL is pretty and we can too -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.8.4 Component: GHCi | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Manual for configuring colors in the Idris REPL: https://github.com/idris- lang/Idris-dev/wiki/Manual#colours Screenshot: http://i.imgur.com/rYHCI4T.png Particularly, I'd like to make type errors and warnings more visually distinct. I think little touches like this can go a long way to making it nice to work with Haskell code. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10073 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10073: Idris REPL is pretty and we can too -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.8.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by hvr): Related: https://wiki.haskell.org/GHCi_in_colour For the meantime, until GHCi gains native support for colours, the Emacs `haskell-mode` provides a coloured REPL with the ability to jump to referenced source-locations... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10073#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10073: Idris REPL is pretty and we can too -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.8.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by bitemyapp): @hvr - I'm a user of haskell-mode and haskell-interactive-mode, the colouring is nice, but the source-loc jumping hasn't ever worked for me. That only worked in ghci-ng, and even then, not reliably. Sometimes, for various reasons, I can't use h-i-m and must use cabal repl in the terminal. When that happens, and for the benefit of non-Emacs users, I'd like it to be pretty :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10073#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10073: Idris REPL is pretty and we can too -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.8.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by bgamari): * cc: bgamari (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10073#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10073: Idris REPL is pretty and we can too -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.8.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8809,#10179 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * related: #8809,#10073,#10179 => #8809,#10179 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10073#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10073: Idris REPL is pretty and we can too -------------------------------------+------------------------------------- Reporter: bitemyapp | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 7.8.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8809,#10179 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * cc: Rufflewind (added) * status: new => closed * resolution: => fixed Comment: The error messages are now colourful to some degree. I will close this ticket unless there is a precise suggestion you have in mind. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10073#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC