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

Use a Juvix source file to define a package #2434

Merged
merged 15 commits into from
Oct 27, 2023
Merged

Use a Juvix source file to define a package #2434

merged 15 commits into from
Oct 27, 2023

Commits on Oct 27, 2023

  1. Add errors for package loading

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    440a928 View commit details
    Browse the repository at this point in the history

  2. Give error if Package.juvix tries to import an unresolvable file

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    8c431c8 View commit details
    Browse the repository at this point in the history

  3. Add Package file loader function and EvalFileEff effect

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    9474d4c View commit details
    Browse the repository at this point in the history

  4. Fix imports so new loader can be imported within Package module

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    87fa946 View commit details
    Browse the repository at this point in the history

  5. readPackage now reads Package.juvix before juvix.yaml

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    175e27d View commit details
    Browse the repository at this point in the history

  6. Package juvix check for duplicate dependencies

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    f9203c2 View commit details
    Browse the repository at this point in the history

  7. Package file uses lock file

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    6438189 View commit details
    Browse the repository at this point in the history

  8. Look for Package.juvix when looking for the root of a project

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    7364f5a View commit details
    Browse the repository at this point in the history

  9. Fix repl to load Package.juvix

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    9e71c19 View commit details
    Browse the repository at this point in the history

  10. Add smoke tests for compilation with Package.juvix

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    df296f8 View commit details
    Browse the repository at this point in the history

  11. Make Package defaults match those of juvix.yaml 

    The default package name is "my-project" and the project depends on
".juvix-build/stdlib" if no dependency is specified.
    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    3b4c614 View commit details
    Browse the repository at this point in the history

  12. Package type now supports specifying the default stdlib 

    The defaultStdlibDependency is resolved against the configured build directory.
    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    cbf3e49 View commit details
    Browse the repository at this point in the history

  13. Rename constructors and document PackageDescription

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    a4136e1 View commit details
    Browse the repository at this point in the history

  14. Fix compiler warning

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    346658f View commit details
    Browse the repository at this point in the history

  15. Make constructor docs into judoc comments

    @paulcadman @janmasrovira
    paulcadman authored and janmasrovira committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    25d3a8e View commit details
    Browse the repository at this point in the history