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

Stubs #33

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

Stubs #33

wants to merge 49 commits into from

Commits on Mar 3, 2024

  1. Define map HOF

    @jmanuel1
    jmanuel1 committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    bbaf51f View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Resolve "from-import"-ed names using stub declarations 

    Now, we don't need to import modules and potentially execute arbitrary code in the type checker to get types.
    @jmanuel1
    jmanuel1 committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    978db2b View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Add snakeviz to dev dependencies

    @jmanuel1
    jmanuel1 committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    5e30a72 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Back OrderedSet by 2-3 tree 

    Hopefully increased sharing speeds things up.
    @jmanuel1
    jmanuel1 committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    6ca2a85 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Move error message formatting to new module

    @jmanuel1
    jmanuel1 committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    50f18b4 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Add type stubs for Python builtins

    @jmanuel1
    jmanuel1 committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    7a72b3e View commit details
    Browse the repository at this point in the history

  2. Add type stubs for to_str and to_py_function

    @jmanuel1
    jmanuel1 committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    1edc14e View commit details
    Browse the repository at this point in the history

  3. Do more kind checking and allow forward references to forward operati… 

    …ons to resolved type
    @jmanuel1
    jmanuel1 committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    ab89d75 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. Implement pragmas that tell type checker about fundamental builtin types

    @jmanuel1
    jmanuel1 committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    aef0d93 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. Fix order of variables in generalization

    @jmanuel1
    jmanuel1 committed May 26, 2024
    Configuration menu
    Copy the full SHA
    dc5267c View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. Ignore flake8 shadowing warning

    @jmanuel1
    jmanuel1 committed May 30, 2024
    Configuration menu
    Copy the full SHA
    333e816 View commit details
    Browse the repository at this point in the history

  2. Fix LinkedList.__eq__

    @jmanuel1
    jmanuel1 committed May 30, 2024
    Configuration menu
    Copy the full SHA
    57c0991 View commit details
    Browse the repository at this point in the history

  3. Fix parsing in the REPL after adding error tolerance

    @jmanuel1
    jmanuel1 committed May 30, 2024
    Configuration menu
    Copy the full SHA
    272905c View commit details
    Browse the repository at this point in the history

  4. Improve .many() error messages by being able to commit to an alternative

    @jmanuel1
    jmanuel1 committed May 30, 2024
    Configuration menu
    Copy the full SHA
    4b251be View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Use Python function as argument to cont.map in map_cont

    @jmanuel1
    jmanuel1 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    4aa49aa View commit details
    Browse the repository at this point in the history

  2. Add preamble type stubs

    @jmanuel1
    jmanuel1 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    19fe9ff View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Break infinite recursions in subtyping and free variables

    @jmanuel1
    jmanuel1 committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    a732a09 View commit details
    Browse the repository at this point in the history

  2. Trade <= with is_subtype_of

    @jmanuel1
    jmanuel1 committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    8d39206 View commit details
    Browse the repository at this point in the history

  3. Make notes about type-level lang design

    @jmanuel1
    jmanuel1 committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    67ed672 View commit details
    Browse the repository at this point in the history

  4. Fix subtyping for object (top) and no_return (bottom)

    @jmanuel1
    jmanuel1 committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    4b5a06c View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. Try to get test_add_operator_inference to pass again 

    * Fix type of map
* Separate fixpoints from ObjectType
* Don't immediately resolve all forward references
* Use the integer type defined in stubs
* Introduce ids for substitution caching
* Move type error clssses to new module
    @jmanuel1
    jmanuel1 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    eefc36a View commit details
    Browse the repository at this point in the history

  2. Remove type hashing, except for variables

    @jmanuel1
    jmanuel1 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    ef29b57 View commit details
    Browse the repository at this point in the history

  3. Prevent sequence variables automatically introduced by type sequence … 

    …AST from entering Python function type args
    @jmanuel1
    jmanuel1 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    2b2d811 View commit details
    Browse the repository at this point in the history

  4. Define get_type_of_attribute in terms of attributes

    @jmanuel1
    jmanuel1 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    da1b127 View commit details
    Browse the repository at this point in the history

  5. Import concat.parse at runtime

    @jmanuel1
    jmanuel1 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    4d8e98a View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Give unrolled Fix the same id as the original type and use ids to com… 

    …pare with object type
    @jmanuel1
    jmanuel1 committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    85adac8 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Add verbose flag to print traceback for type errors

    @jmanuel1
    jmanuel1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    ac8816d View commit details
    Browse the repository at this point in the history

  2. Add type stub for itertools.islice

    @jmanuel1
    jmanuel1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    48e911f View commit details
    Browse the repository at this point in the history

  3. Add type stubs for to_slice and abs

    @jmanuel1
    jmanuel1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    8075125 View commit details
    Browse the repository at this point in the history

  4. Handle variadic generic type arguments in GenericType

    @jmanuel1
    jmanuel1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    44266aa View commit details
    Browse the repository at this point in the history

  5. Add cast because type variable failed to be unified

    @jmanuel1
    jmanuel1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    da0b9a6 View commit details
    Browse the repository at this point in the history

  6. Allow some (probably broken) subtyping between type of different arities 

    I did this to get continuation.cat to typecheck. But I don't want that kind of subtyping anymore.
In the future I will use kind polymorphism.
    @jmanuel1
    jmanuel1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    8b8670e View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Implement kind subtyping

    @jmanuel1
    jmanuel1 committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    9a11cbf View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2024

  1. Provide user-friendly __str__ for kinds

    @jmanuel1
    jmanuel1 committed Jul 20, 2024
    Configuration menu
    Copy the full SHA
    1d31786 View commit details
    Browse the repository at this point in the history

  2. Implement subsumption between polytypes using regeneralization 

    Also, generic types can now have a type of any kind as the body.
    @jmanuel1
    jmanuel1 committed Jul 20, 2024
    Configuration menu
    Copy the full SHA
    7b3e02b View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2024

  1. Fail to constrain a bound variable only when it has to be substituted

    @jmanuel1
    jmanuel1 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    b56be5c View commit details
    Browse the repository at this point in the history

  2. Fix function definition transpiler test

    @jmanuel1
    jmanuel1 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    97eb347 View commit details
    Browse the repository at this point in the history

  3. Fix some of the subtyping tests

    @jmanuel1
    jmanuel1 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    8755dd6 View commit details
    Browse the repository at this point in the history

  4. Fix typechecker tests

    @jmanuel1
    jmanuel1 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    5bab4da View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Move test dependencies to pyproject.toml and remove tox 

    The version of tox I have to use doesn't work on my machine, so I won't 
worry about it. I wasn't doing much with it anyways.
    @jmanuel1
    jmanuel1 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    f424567 View commit details
    Browse the repository at this point in the history

  2. Remove definition in Python of bool 

    And let methods like __lt__ return any type to untie a knot with bool
    @jmanuel1
    jmanuel1 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    5e1800b View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Move all pyinterop.__init__ types to stub

    @jmanuel1
    jmanuel1 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    7fc0c46 View commit details
    Browse the repository at this point in the history

  2. Make sure missing stub causes error pointing to import*ing* file

    @jmanuel1
    jmanuel1 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    c411d78 View commit details
    Browse the repository at this point in the history

  3. Clean up imports in __main__

    @jmanuel1
    jmanuel1 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    00a9217 View commit details
    Browse the repository at this point in the history

  4. Move as many preamble types as possible to stubs, separate nominal & … 

    …structural types
    @jmanuel1
    jmanuel1 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    c3b1fa3 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2024

  1. Remove remaining module type guessing code and use stubs instead 

    Now we don't need to import (and execute!) modules imported by Concat 
source within the type checker.
    @jmanuel1
    jmanuel1 committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    a10dbf1 View commit details
    Browse the repository at this point in the history

  2. Update GitHub workflow after removing tox

    @jmanuel1
    jmanuel1 committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    4ab282a View commit details
    Browse the repository at this point in the history

  3. Make sure to generate coverage.xml and coverage.lcov

    @jmanuel1
    jmanuel1 committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    66a6b94 View commit details
    Browse the repository at this point in the history

  4. Don't use sequence for multiple commands?

    @jmanuel1
    jmanuel1 committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    8bdacae View commit details
    Browse the repository at this point in the history