Re: Variable-width font indentation

[Clément Pit-Claudel]

On 2018-03-05 23:05, Herring, Davis wrote:
>> I don't know of a good solution to this problem: in general,
>> there's not enough information to distinguish 'indentation'
>> spaces (the two spaces before `printf (', `pr ()', and `return 0')
>> and 'line-up' spaces (the spaces before `char ()').
> 
> This is of course an argument in favor of "smart tabs" 
> <https://www.emacswiki.org/emacs/SmartTabs>

No, not really: smart tabs aren't enough AFAICT.  Take the following example:

        match opt with
        | []     -> []
        | x :: t -> x :: f t

You'd want to scale the spaces according to the line *below*, not ebove, and 
even then you'd have to account for the fact that 'x ' isn't as wide as '[]'.  
Smart Tabs are also not very good for languages like ELisp with variable 
indentation depths.

If anything, I think this is more of an argument in favor of elastic tabs 
(http://nickgravgaard.com/elastic-tabstops/).

Clément.