Re: Highlighter data type

2011-06-27 Thread Jean-Philippe Bernardy
On Mon, Jun 27, 2011 at 3:57 AM, Reiner Pope wrote: > This makes sense. I haven't really understood the code that implements this, > though. Right, in the end I am not sure the current code hits a proper balance between intricacy and performance. > I'm interested in making a better LaTeX mode

Re: Highlighter data type

2011-06-26 Thread Reiner Pope
On 27/06/11 07:26, Jean-Philippe Bernardy wrote: On Sun, Jun 26, 2011 at 5:34 PM, Reiner Pope wrote: On a similar note, would it be acceptable to join the 'hlRun' and 'hlFocus' fields. Currently they are: hlRun :: Scanner Point Char -> Point -> cache -> cache, hlFocus :: Map WindowRef Regio

Re: Highlighter data type

2011-06-26 Thread Jean-Philippe Bernardy
On Sun, Jun 26, 2011 at 5:34 PM, Reiner Pope wrote: > On a similar note, would it be acceptable to join the 'hlRun' and 'hlFocus' > fields. Currently they are: > > hlRun :: Scanner Point Char -> Point -> cache -> cache, > hlFocus :: Map WindowRef Region -> cache -> cache I am not sure... However,

Re: Highlighter data type

2011-06-26 Thread Jean-Philippe Bernardy
On Sun, Jun 26, 2011 at 4:18 PM, Reiner Pope wrote: > Hi, > > I was looking at the Highlighter data type in Yi.Syntax, and I'm wondering > about this: > > data Highlighter cache syntax = SynHL { > ... > hlRun :: Scanner Point Char -> Point -> cache -> cache, > ... >   } > > What doe

Re: Highlighter data type

2011-06-26 Thread Reiner Pope
On a similar note, would it be acceptable to join the 'hlRun' and 'hlFocus' fields. Currently they are: hlRun :: Scanner Point Char -> Point -> cache -> cache, hlFocus :: Map WindowRef Region -> cache -> cache It seems that we could allow simpler parsers (more on this later) if we combined the