functions marked always inline fail typechecking if they are not static #1519

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

Closed

kroening wants to merge 1 commit into develop from always-inline-fail

Member

kroening commented Oct 25, 2017

No description provided.


          functions marked always inline fail typechecking if they are not static

5c3e94b

kroening assigned tautschnig

kroening added bug C Front End do not merge labels

tautschnig mentioned this pull request

Fully process always_inline (second attempt) #1898

Merged

Collaborator

tautschnig commented Mar 1, 2018

This is now incorporated in #1898.

tautschnig closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug C Front End do not merge