Stubs #33

jmanuel1 · 2024-09-07T17:02:07Z

Introduce stub files for type declarations of modules written in Python.

Now, we don't need to import modules and potentially execute arbitrary code in the type checker to get types.

Hopefully increased sharing speeds things up.

…ons to resolved type

* 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

…AST from entering Python function type args

…pare with object type

Also, generic types can now have a type of any kind as the body.

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.

And let methods like __lt__ return any type to untie a knot with bool

…structural types

Now we don't need to import (and execute!) modules imported by Concat source within the type checker.

coveralls · 2024-09-07T17:36:42Z

coverage: 82.554% (+1.0%) from 81.51%
when pulling 55706b5 on stubs
into f04a81c on master.

…terable

Since there's a global module cache, is_builtins and is_preamble are uneccessary.

…ached

jmanuel1 added 30 commits March 3, 2024 00:14

Define map HOF

bbaf51f

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

978db2b

Now, we don't need to import modules and potentially execute arbitrary code in the type checker to get types.

Add snakeviz to dev dependencies

5e30a72

Back OrderedSet by 2-3 tree

6ca2a85

Hopefully increased sharing speeds things up.

Move error message formatting to new module

50f18b4

Add type stubs for Python builtins

7a72b3e

Add type stubs for to_str and to_py_function

1edc14e

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

ab89d75

…ons to resolved type

Implement pragmas that tell type checker about fundamental builtin types

aef0d93

Fix order of variables in generalization

dc5267c

Ignore flake8 shadowing warning

333e816

Fix LinkedList.__eq__

57c0991

Fix parsing in the REPL after adding error tolerance

272905c

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

4b251be

Use Python function as argument to cont.map in map_cont

4aa49aa

Add preamble type stubs

19fe9ff

Break infinite recursions in subtyping and free variables

a732a09

Trade <= with is_subtype_of

8d39206

Make notes about type-level lang design

67ed672

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

4b5a06c

Try to get test_add_operator_inference to pass again

eefc36a

* 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

Remove type hashing, except for variables

ef29b57

Prevent sequence variables automatically introduced by type sequence …

2b2d811

…AST from entering Python function type args

Define get_type_of_attribute in terms of attributes

da1b127

Import concat.parse at runtime

4d8e98a

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

85adac8

…pare with object type

Add verbose flag to print traceback for type errors

ac8816d

Add type stub for itertools.islice

48e911f

Add type stubs for to_slice and abs

8075125

Handle variadic generic type arguments in GenericType

44266aa

jmanuel1 added 16 commits July 19, 2024 20:44

Provide user-friendly __str__ for kinds

1d31786

Implement subsumption between polytypes using regeneralization

7b3e02b

Also, generic types can now have a type of any kind as the body.

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

b56be5c

Fix function definition transpiler test

97eb347

Fix some of the subtyping tests

8755dd6

Fix typechecker tests

5bab4da

Move test dependencies to pyproject.toml and remove tox

f424567

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.

Remove definition in Python of bool

5e1800b

And let methods like __lt__ return any type to untie a knot with bool

Move all pyinterop.__init__ types to stub

7fc0c46

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

c411d78

Clean up imports in __main__

00a9217

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

c3b1fa3

…structural types

Remove remaining module type guessing code and use stubs instead

a10dbf1

Now we don't need to import (and execute!) modules imported by Concat source within the type checker.

Update GitHub workflow after removing tox

4ab282a

Make sure to generate coverage.xml and coverage.lcov

66a6b94

Don't use sequence for multiple commands?

8bdacae

jmanuel1 added 12 commits October 9, 2024 00:18

Do some cleanup

078a9e1

Build linked list in stack-safe way that doesn't require reversible i…

f119102

…terable

Make an additional effort to avoid substitutions on types

31c30c2

Simplify parameters of stub loading functions

8995665

Since there's a global module cache, is_builtins and is_preamble are uneccessary.

Remove unused parameter of _generate_type_of_innermost_module

f98d2a6

Attach end location to type application syntax

67d5836

Return result from _contains_assumption

8af8a09

Remove structural type check from ObjectType code

7b68cdd

Remove SubtypingExplanation and is_subtype_of

f48e00d

Raise type error if end of Python function constraint algorithm is re…

b651a94

…ached

Test typechecking of simple import forms

d0b6271

Run nose2 under coverage

55706b5

jmanuel1 merged commit 6f4ab9e into master Oct 12, 2024
4 of 5 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Stubs #33

Stubs #33

jmanuel1 commented Sep 7, 2024

coveralls commented Sep 7, 2024 •

edited

Loading

Stubs #33

Stubs #33

Conversation

jmanuel1 commented Sep 7, 2024

coveralls commented Sep 7, 2024 • edited Loading

coveralls commented Sep 7, 2024 •

edited

Loading