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

WIP: Implement Java Interfaces with Frege Records #363

Open
wants to merge 23 commits into
base: master
Choose a base branch
from
Open

WIP: Implement Java Interfaces with Frege Records #363

wants to merge 23 commits into from

Commits on May 18, 2018

  1. [nomerge] Restore sample/ 

    This reverts commit 4cdb95a.
    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    b3626f0 View commit details
    Browse the repository at this point in the history

  2. [nomerge] Use -make flag

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    12b231f View commit details
    Browse the repository at this point in the history

  3. [nomerge] Add mutable (ST) example

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    7c055c8 View commit details
    Browse the repository at this point in the history

  4. [nomerge] Add instance ToJSON Global

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    d9a5337 View commit details
    Browse the repository at this point in the history

  5. Handle a case where the type of an implementation record is TApp 

    In other words, a record type has type variable(s)
    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    c4ef95e View commit details
    Browse the repository at this point in the history

  6. Revert "[nomerge] Add mutable (ST) example" 

    This reverts commit 44e48f6.
    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    373f5ad View commit details
    Browse the repository at this point in the history

  7. [nomerge] Add pure class + ST member case

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    ab2e1e0 View commit details
    Browse the repository at this point in the history

  8. Use rawType to invoke static methods of IR

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    ae304cb View commit details
    Browse the repository at this point in the history

  9. Generate methods that runs ST

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    2d12015 View commit details
    Browse the repository at this point in the history

  10. Organize a bit

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    6d1376f View commit details
    Browse the repository at this point in the history

  11. Replace JAtom which were (tentatively) used to call methods

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    4ae7e7b View commit details
    Browse the repository at this point in the history

  12. [nomerge] Add the "receiver" parameters to the record declarations

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    112c697 View commit details
    Browse the repository at this point in the history

  13. Remove StriArg

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    48db0c5 View commit details
    Browse the repository at this point in the history

  14. Pass "this" to IR

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    83e5539 View commit details
    Browse the repository at this point in the history

  15. Add more comments

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    9dfc9f8 View commit details
    Browse the repository at this point in the history

  16. Add even more comments

    @matil019
    matil019 committed May 18, 2018
    Configuration menu
    Copy the full SHA
    79d75cd View commit details
    Browse the repository at this point in the history

Commits on May 19, 2018

  1. Reduce code reinventions

    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    0da4482 View commit details
    Browse the repository at this point in the history

  2. Generate TST.performUnsafe instead of run

    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    5ca57ad View commit details
    Browse the repository at this point in the history

  3. Allow constructor arguments

    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    b7900f7 View commit details
    Browse the repository at this point in the history

  4. [nomerge] Add PureFunction case

    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    361401e View commit details
    Browse the repository at this point in the history

  5. Handle TApp of the result type

    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    4ab90e8 View commit details
    Browse the repository at this point in the history

  6. Stop using symInfo to avoid StG

    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    d3c4d4d View commit details
    Browse the repository at this point in the history

  7. [nomerge] Organize the sample programs 

    So that it is possible to run programs even if some of them failed to
compile
    @matil019
    matil019 committed May 19, 2018
    Configuration menu
    Copy the full SHA
    1b052f0 View commit details
    Browse the repository at this point in the history