Junyoung/"Clare" Jang
Junyoung/"Clare" Jang
Thank you for the report. Yes, it looks like we need to update the document, and if possible, to print some messages saying that we uses those types/functions.
Could you elaborate more about what you mean by "reachability"? I'm a bit confused with your example, since, because of the list type, `B` should be the "may be reachable"...
Could you suggest more explicit steps for the suggested feature? Namely, which hole should wingman work on?
Awesome, this is exactly what I have hoped for a few weeks, but couldn't come up with some specification. Thank you for raising this issue!
Yes, true. I installed system GHC only to make HLS work for small scripts that I need to use from time to time. If HLS supports such a stack detection...
@phadej May I ask the status of this PR?
@FranklinChen The issue has been fixed, and `make` (without additional `book`) works now. @pientka I couldn't find any `\Ref` usage in our .tex files. Is the command currently in use?
Yes, handling the example using `case` sounds reasonable for me.
If I add HLS to https://github.com/replit/polygott/blob/master/languages/haskell.toml (and wait some time?), does that work for Repl.it editor for Haskell? If not, what should I do to add the support?
@anadon As a workaround, you can manually maintain your packages using Git. That's unsatisfactory, but at least usable.