John Ericson

Results 887 comments of John Ericson
trafficstars

Well then it's liable to stagnate; I prefer approaches were std can just use the crates.io crate to better leverage the good work being done in the ecosytem on an...

Oh, nice! Looking forward to seeing that. Even as a heavily WIP draft PR :).

@zesterer Any luck? Maybe want to open a WIP PR?

https://github.com/alacritty/alacritty/blob/master/extra/alacritty.info something from there (on phone so can't check directly)

``` {"font":{"size":4.5},"scrollback":{"faux_multiplier":-1,"multiplier":-1}} ``` That's it. Everything else is the default. This problem has also been reported with urxvt and `TERM=rxvt-unicode-256color`.

@andreasabel Well, for example, does the Agda lexer use copious right contexts to to find those whitespace boundaries? The current Alex docs warn that right contexts can make things slow,...

This was discussed on the libraries list a bit. We unfortunately need to do something more clever here to avoid the `Just . Bin` and friends double indirection / extra...

Yes this is a very weird error. I think there is some logic in prior versions of alex to try to use newer templates? But those don't exist because we...

BTW if you manually run alex on the file and delete the original `Scan.hs`, it will work. It is just when cabal invokes Alex that weird things happen!