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.

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

Refactor scopes #95

Merged
merged 8 commits into from
Feb 23, 2021
Merged

Refactor scopes #95

merged 8 commits into from
Feb 23, 2021

Commits on Feb 23, 2021

  1. New function for creating global scopes.

    Avoid using the GlobalScope outside variablescope.rs.
    kaj committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    86ae014 View commit details
    Browse the repository at this point in the history
  2. ScopeImpl::parent is an Option.

    kaj committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    a3a1dd5 View commit details
    Browse the repository at this point in the history
  3. Get rid of GlobalScope.

    A global scope is just a ScopeImpl with no parent.
    kaj committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    ae3c600 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b0a2099 View commit details
    Browse the repository at this point in the history
  5. A Module is a Scope.

    kaj committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    c3b9b65 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    d744b91 View commit details
    Browse the repository at this point in the history
  7. Fix main.

    kaj committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    4c4e0fe View commit details
    Browse the repository at this point in the history
  8. Changelog for #95.

    kaj committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    e5d22d8 View commit details
    Browse the repository at this point in the history