chshersh/iris

Configure 'stan'

chshersh opened this issue · 3 comments

Stan is a Haskell static analyser. To get the most of Haskell DX, it would be nice to configure it as well.

  • Add Stan config
  • Add Stan CI job
  • Fix or ignore all Stan warnings

Hi there!

I'd like to work on this!

I built both projects (iris and stan) using GHC 8.10.7, and got the following output, using no stan config at all:

Screen Shot 2022-10-02 at 4 27 34 PM

And we already have the config starting at GHC 8.8 (I'm unfamiliar if HIE are supported since this version).

iris/iris.cabal

Lines 42 to 45 in 1bede5f

if impl(ghc >= 8.8)
ghc-options: -Wmissing-deriving-strategies
-fwrite-ide-info
-hiedir=.hie

I've read about stan a while ago, but this is the first time I actually use it. We can start with an empty .stan.toml file, and add config as the project grow, or you may suggest a starting point for the config. I'm happy regardless.

Thanks for giving it a go!

I agree that we can start with an empty .stan.toml config and add things later if needeed 🙂

The error you see is in the autogenerated by Cabal modules so we can't fix them. We can only ignore them. And this is what needs to be put in the config 🙂

However, looks like this is impossible at the moment due to the following Stan issue:

Oh, I see, I didn't noted the file was autogenerated.

alright then, I'll take a look at this soon.

Thanks for your kind response.