Mark Laws

I'm absolutely boggled as to why there's no mention in this thread that [haskell-ide-engine](https://github.com/haskell/haskell-ide-engine) works with GHC 8.2.x and 8.4.x, especially given that it **_uses ghc-mod as a backend_**.

There have been ghc-mod patches/repos that have tracked current GHC releases for a while now. Regardless of what anyone’s “tone” might be, the frustration is understandable, as the least @DanielG...

@DanielG just to clarify, my previous remark was not meant to suggest that you've been negligent or an absentee maintainer, but I think people would appreciate it greatly if you...

@alanz Your branch (along with https://github.com/alanz/cabal-helper/tree/master) works perfectly for me on GHC 8.4.3. Thank you so much!

I encountered this in June but didn't bother to report it, assuming a patch wouldn't be taken due to the aforementioned note that work on Lean 3.x is done. Since...

~Never mind. It works if you do this in UTop:~ ``` utop[0]# # 123 "blarg" ;; utop[1]# (* success ! *) ```

Wait, no, I was right the first time. It doesn't work. The file name reported by e.g. `ppx_expect` when I use `let%expect_test` at the toplevel uses my value in the...

Just as a note, it is possible to use format strings at runtime, in all its unsafe glory: ```fsharp let fmt = "Test %d" let fmt_of_string s = new PrintfFormat(s)...

(I'm posting this in advance so that I can simply link to it later.) --- There was a question in the FSSF slack yesterday: > I posted a problem in...

@vzarytovskii Since we did not get to SRTP and witness passing or other non-inference-related aspects of typechecking, is there a possibility of it being discussed as part of a future...