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

--interface for node backend #4073

Merged
merged 11 commits into from
Sep 20, 2017
Merged

--interface for node backend #4073

merged 11 commits into from
Sep 20, 2017

Commits on Sep 13, 2017

  1. add support for FFI_Export in js backend but the command line option … 

    …does not reach js yet
    @rbarreiro
    rbarreiro committed Sep 13, 2017
    Configuration menu
    Copy the full SHA
    2dd2fd1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:idris-lang/Idris-dev into exporti… 

    …face_js
    @rbarreiro
    rbarreiro committed Sep 13, 2017
    Configuration menu
    Copy the full SHA
    8d2ae1a View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2017

  1. interface parameter is passed to codegen

    @rbarreiro
    rbarreiro committed Sep 14, 2017
    Configuration menu
    Copy the full SHA
    d3f9138 View commit details
    Browse the repository at this point in the history

  2. run stylize

    @rbarreiro
    rbarreiro committed Sep 14, 2017
    Configuration menu
    Copy the full SHA
    938b321 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2017

  1. added my self to contributors

    @rbarreiro
    rbarreiro committed Sep 15, 2017
    Configuration menu
    Copy the full SHA
    0a83894 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2017

  1. Merge branch 'master' into exportiface_js

    @melted
    melted committed Sep 18, 2017
    Configuration menu
    Copy the full SHA
    26cb165 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2017

  1. fixed point free functions, IO returning functions and added a test, … 

    …all for js interfaces functionality
    @rbarreiro
    rbarreiro committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    2eea508 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'exportiface_js' of github.com:rbarreiro/Idris-dev into … 

    …exportiface_js
    @rbarreiro
    rbarreiro committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    176b8ff View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2017

  1. turned off basic021 test on node, there is no way a foreign FFI_C cal… 

    …l will work on javascript
    @rbarreiro
    rbarreiro committed Sep 20, 2017
    Configuration menu
    Copy the full SHA
    24e5a52 View commit details
    Browse the repository at this point in the history

  2. added changelog entry

    @rbarreiro
    rbarreiro committed Sep 20, 2017
    Configuration menu
    Copy the full SHA
    df5393f View commit details
    Browse the repository at this point in the history

  3. stylize fix

    @rbarreiro
    rbarreiro committed Sep 20, 2017
    Configuration menu
    Copy the full SHA
    bea08ac View commit details
    Browse the repository at this point in the history