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

memoize more type properties #16320

Merged
merged 4 commits into from
May 13, 2016
Merged

memoize more type properties #16320

merged 4 commits into from
May 13, 2016

Commits on May 12, 2016

  1. memoize more type properties 

    has-typevars is called pretty heavily during intersection and subtyping
so it can be a hot-path

also fix jl_new_type_constructor to stop mutating (aka corrupting)
the immutable TypeVars it is given as a parameter
    @vtjnash
    vtjnash committed May 12, 2016
    Configuration menu
    Copy the full SHA
    9906495 View commit details
    Browse the repository at this point in the history

  2. avoid corrupting immutable TypeVar after building a DataType for them 

    corrupt them before instead :)
when it's less likely someone is looking

fix #12238
fix #16301
    @vtjnash
    vtjnash committed May 12, 2016
    Configuration menu
    Copy the full SHA
    458297b View commit details
    Browse the repository at this point in the history

  3. fix lowering of TypeVar in TypeConstructor typealias expression 

    have lowering emit the correct TypeVar expression instead of fixing it
in the TypeConstructor constructor
    @vtjnash
    vtjnash committed May 12, 2016
    Configuration menu
    Copy the full SHA
    98159c7 View commit details
    Browse the repository at this point in the history

  4. fix lowering of TypeVars in DataType declations 

    have lowering emit the correct TypeVar expression
instead of fixing it in the DataType constructor
    @vtjnash
    vtjnash committed May 12, 2016
    Configuration menu
    Copy the full SHA
    fa6e751 View commit details
    Browse the repository at this point in the history