Opened 4 years ago

Closed 2 years ago

#10073 closed feature request (fixed)

Idris REPL is pretty and we can too

Reported by: bitemyapp Owned by:
Priority: normal Milestone:
Component: GHCi Version: 7.8.4
Keywords: Cc: hvr, bgamari, Rufflewind
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:


Manual for configuring colors in the Idris REPL: Screenshot:

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.

Change History (6)

comment:1 Changed 4 years ago by hvr


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...

comment:2 Changed 4 years ago 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 :)

comment:3 Changed 4 years ago by bgamari

Cc: bgamari added

comment:4 Changed 3 years ago by thomie

comment:5 Changed 3 years ago by bgamari

comment:6 Changed 2 years ago by mpickering

Cc: Rufflewind added
Resolution: fixed
Status: newclosed

The error messages are now colourful to some degree. I will close this ticket unless there is a precise suggestion you have in mind.

Note: See TracTickets for help on using tickets.