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

Fix glue generation of main : Effect Str #5688

Closed
wants to merge 8 commits into from
Closed

Fix glue generation of main : Effect Str #5688

wants to merge 8 commits into from

Commits on Jul 31, 2023

  1. Fix glue generation of main : Effect Str

    @rtfeldman
    rtfeldman committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ee1f3a4 View commit details
    Browse the repository at this point in the history

  2. Update tests

    @rtfeldman
    rtfeldman committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    77c6f6d View commit details
    Browse the repository at this point in the history

  3. clippy

    @rtfeldman
    rtfeldman committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    4183ad1 View commit details
    Browse the repository at this point in the history

  4. Hardcode mainForHost again, for now 

    This needs further investigation, clearly
    @rtfeldman
    rtfeldman committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    1c77736 View commit details
    Browse the repository at this point in the history

  5. Update RustGlue

    @rtfeldman
    rtfeldman committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    6acdb78 View commit details
    Browse the repository at this point in the history

  6. correct output when main returns a known type

    @folkertdev
    folkertdev committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    4142a57 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Merge remote-tracking branch 'origin/main' into fix-glue-more

    @rtfeldman
    rtfeldman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    bfcfd16 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Remove redundant return

    @rtfeldman
    rtfeldman committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    74206ff View commit details
    Browse the repository at this point in the history