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

implement pure function annotations #13555

Merged
merged 5 commits into from
Oct 13, 2015
Merged

implement pure function annotations #13555

merged 5 commits into from
Oct 13, 2015

Commits on Oct 10, 2015

  1. implement @pure annotation (recorded in the linfo) and support in inf… 

    …erence such that pure functions might be run at that time
    @vtjnash
    vtjnash committed Oct 10, 2015
    Configuration menu
    Copy the full SHA
    1fd50a0 View commit details
    Browse the repository at this point in the history

  2. detect @pure in src, without requiring inference to have been run on … 

    …a function
    @vtjnash
    vtjnash committed Oct 10, 2015
    Configuration menu
    Copy the full SHA
    0cd98aa View commit details
    Browse the repository at this point in the history

  3. add @pure annotation to promotion functions

    @vtjnash
    vtjnash committed Oct 10, 2015
    Configuration menu
    Copy the full SHA
    c416e9f View commit details
    Browse the repository at this point in the history

  4. mark some more key functions are @pure

    @vtjnash
    vtjnash committed Oct 10, 2015
    Configuration menu
    Copy the full SHA
    8ce7a02 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2015

  1. add support for calling @pure functions with args that are potentia… 

    …lly not effect free (some of the linalg code expects this)
    @vtjnash
    vtjnash committed Oct 12, 2015
    Configuration menu
    Copy the full SHA
    b7278d1 View commit details
    Browse the repository at this point in the history