search

haskell / play-haskell

Haskell Playground
125 stars 8 forks source link

Suggestion about Core output options #2

Open s-and-witch opened 1 year ago

s-and-witch commented 1 year ago

Hi, I found in your backlog in TODO.txt record about additional core output options to increase its human readability. I recommend you to use these options: -dsuppress-all -dno-suppress-type-signatures -dsuppress-uniques -dppr-case-as-let dsuppress-all doesn't perform -dsuppress-uniques because this often makes the printout ambiguous, but I think it's not a real problem because of lexical scopes in haskell. dno-suppress-type-signatures is needed to return type signatures, that all are suppressed by dsuppress-all dppr-case-as-let just changes some single cases to strict let expressions. I'm also using -dppr-cols200, but this might look bad on small screens.

tomsmeding commented 1 year ago

Thanks! I'll put a reference to this issue in the TODO.txt file. I'm not finding time to work on the playground currently, but I hope I'll find time again later this fall.

Kleidukos commented 1 year ago

A side-quest that could probably help with the Core Output would be help get https://github.com/bgamari/tree-sitter-ghc-core/ to the finish line.