Mars lacks readline support

Bug #483955 reported by Matt Giuca
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Mars
Fix Released
Wishlist
Matt Giuca

Bug Description

Mars's interactive mode lacks good command-line editing features, as provided by GNU Readline. This primarily entails a) being able to use command history, edit the current line, etc, and b) being able to do tab-completion and other application-specific things.

A workaround for (a) is to use rlwrap around Mars, but this is tedious since you often forget to use it. There is no workaround for (b) as it requires Mars to perform its own tab completion.

Implement a Mercury binding for GNU Readline, then incorporate it into the Mars interactive shell.

Tags: interactive

Related branches

Revision history for this message
Matt Giuca (mgiuca) wrote :

Fixed in trunk r898.

Changed in mars:
status: Triaged → Fix Committed
milestone: none → 0.2.1
Matt Giuca (mgiuca)
Changed in mars:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.