Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Advice using the SPECIALIZE pragma #302

Open
chshersh opened this issue Jun 21, 2020 · 1 comment · May be fixed by #363
Open

Advice using the SPECIALIZE pragma #302

chshersh opened this issue Jun 21, 2020 · 1 comment · May be fixed by #363
Assignees
@vrom911
Labels
analysis ⚗️ hie inspection nice to have 💅 Extra features
Milestone
0.1.0.0: Customiz...

Comments

@chshersh
Copy link
Contributor

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
Copy link
Member

vrom911 commented Jul 8, 2020

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.

@vrom911 vrom911 self-assigned this Jul 8, 2020
@vrom911 vrom911 added this to the 0.1.0.0: Customization milestone Jul 28, 2020
vrom911 added a commit that referenced this issue Jul 30, 2020
@vrom911
[#302] Advice using the SPECIALIZE pragma
079919c 
Resolves #302
@vrom911 vrom911 linked a pull request Jul 30, 2020 that will close this issue
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vrom911 vrom911

Labels
analysis ⚗️ hie inspection nice to have 💅 Extra features
Projects
None yet
Milestone
0.1.0.0: Customization
Development

Successfully merging a pull request may close this issue.

[#302] Advice using the SPECIALIZE pragma kowainik/stan
2 participants
@chshersh @vrom911