search

kowainik / stan

🕵️ Haskell STatic ANalyser
https://kowainik.github.io/projects/stan
Mozilla Public License 2.0
565 stars 48 forks source link

Advice using the SPECIALIZE pragma #302

Open chshersh opened 4 years ago

chshersh commented 4 years ago

If HIE files track this information, we can advice using SPECIALIZE pragmas for some functions (for example, that polymorphic over MonadIO, Num or IsString constraints)

vrom911 commented 4 years ago

I see that there is SpecSig that seems to be what we want:

, nodeAnnotations = fromList  [ ( "SpecSig" , "Sig")]
, ...

We can search for such entries for the desired functions.