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

Effect members and annotations for imported Java code #390

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

Effect members and annotations for imported Java code #390

wants to merge 17 commits into from

Commits on Nov 10, 2020

  1. Start work on support for purity-annotated java libraries.

    @maxeonyx
    maxeonyx committed Nov 10, 2020
    Configuration menu
    Copy the full SHA
    30784c9 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2020

  1. Atttempt to use @pure annotations when typing methods.

    @maxeonyx
    maxeonyx committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    bf48b00 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2020

  1. Clean dependencies

    @maxeonyx
    maxeonyx committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    b3c3bef View commit details
    Browse the repository at this point in the history

  2. Move .iml and .eml files to parent project. The .gitignore line is no… 

    … longer necessary.
    @maxeonyx
    maxeonyx committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    8e39753 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2020

  1. Remove debug code

    @maxeonyx
    maxeonyx committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    23bda8f View commit details
    Browse the repository at this point in the history

  2. Create FFI2 effect for demonstration.

    @maxeonyx
    maxeonyx committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    610713b View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2020

  1. Unique effect for each FFI call.

    @maxeonyx
    maxeonyx committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    de71fbd View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2020

  1. Ignore irrelevant broken tests.

    @maxeonyx
    maxeonyx committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    f234425 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2020

  1. Add FFI examples to Wyvern.

    @maxeonyx
    maxeonyx committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    0d0a502 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2020

  1. Add comment to parser error

    @maxeonyx
    maxeonyx committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    2de1ed7 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. Add FFI Effect member example

    @maxeonyx
    maxeonyx committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    c9cf136 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2020

  1. build fix

    @JonathanAldrich
    JonathanAldrich committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    2d4d41f View commit details
    Browse the repository at this point in the history

  2. gets test to pass once bug is fixed (separate to-do)

    @JonathanAldrich
    JonathanAldrich committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    5a71709 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2020

  1. Infer module dependencies from Effect annotations and bind them to ctx.

    @maxeonyx
    maxeonyx committed Dec 18, 2020
    Configuration menu
    Copy the full SHA
    d3c43a1 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2021

  1. Allow Pure and Effect annotations to be applied to types for indicati… 

    …ng the purity of static initialization.
    @maxeonyx
    maxeonyx committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    7ce8766 View commit details
    Browse the repository at this point in the history

  2. Change Java import to check annotations before initializing classes.

    @maxeonyx
    maxeonyx committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    40b8bfa View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2021

  1. Fix tests and require capability when importing

    @maxeonyx
    maxeonyx committed Feb 12, 2021
    Configuration menu
    Copy the full SHA
    c93e45f View commit details
    Browse the repository at this point in the history