stan
stan copied to clipboard
🕵️ Haskell STatic ANalyser
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3 to 4. Release notes Sourced from actions/upload-artifact's releases. v4.0.0 What's Changed The release of upload-artifact@v4 and download-artifact@v4 are major changes to the backend architecture of Artifacts....
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4. Release notes Sourced from actions/download-artifact's releases. v4.0.0 What's Changed The release of upload-artifact@v4 and download-artifact@v4 are major changes to the backend architecture of Artifacts....
The following code: ``` type Differentiable f = ( Functor f, GenericK f, GDifferentiable (RepK f), GBifunctor (GDiff (RepK f)) ) ``` triggers this message from stan in HLS: ```...
I have this code: ```haskell {-# LANGUAGE TypeData #-} infixr :-> type data PCFType = PCFType :-> PCFType | Nat ``` And Stan reports: ``` ✲ Name: Data types with...
On Windows, I tried: ~~~toml # Anti-pattern: Slow 'length' for Text [[check]] id = "STAN-0208" file = "src/Stack/PackageDump.hs" type = "Exclude" ~~~ but that did not exclude what I wanted...
We don't support 9.2.4 (because the GHC API seems to provide dodgy information) https://hackage.haskell.org/package/stan-0.1.0.0/reports/1 Can we get Hackage to build using a different compiler version?
Hi there! Thank you for building this library and a happy holidays! This PR aims to resolve #467 and add support for outputting Stan's observations as [SARIF](https://sarifweb.azurewebsites.net) files. To support...
could be greatly useful, if i could add my own tests.
I run stan in CI. In particular I use the json output to annotate code in every PR. I would also like to annotate using the description, which is accessible...