Naomi Smith

I worked around this problem with an AutoHotKey script that restarts the LittleBigMouse daemon on monitor events: ```ahk OnMessage(0x219, "MsgMonitor") MsgMonitor(wParam, lParam, msg) { SetTimer, RestartDaemon, 250 } return RestartDaemon:...

> However, this requires additional storage space. We can not store this information in the filename itself. We could use XATTR, which doesn't work cross-platform and may get lost during...

@nikivazou, no, I'm just creating this so we can track it when it happens eventually and/or get ideas in writing.

What would this mean for `failure`'s `Error` struct?

I think a large part of the problem is that liquid-fixpoint reads from z3's stdout in many places without doing any error checking. At minimum, `smtReadRaw` should watch for EOF...

Yes we do. LH's `PPrint` instance for `Expr` is in [Types.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/master/src/Language/Haskell/Liquid/Types.hs#L1334). It was originally in PrettyPrint.hs, where it was introduced in [this commit](https://github.com/ucsd-progsys/liquidhaskell/commit/4545d7c30be92dbb9156843e9fe5a99804e0c882), a week before the one that [introduced...

@Ericson2314 > There's the blanket From for everything. I think this would be overkill there, as I rather somehow exploit the fact that the overlapping implementations are identical. Do you...

I'll throw another "yes please" in here. This would be really helpful for multi-monitor setups.

I've put up a fork at https://github.com/spinda/fantasque-sans-ligatures that strips out everything from `v1.8.0` relating to the new coding ligatures.

I've put up a fork at https://github.com/spinda/fantasque-sans-ligatures that strips out everything from v1.8.0 relating to the new coding ligatures.