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

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.

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: 75.78% (-5.7%) from 81.51%
when pulling 8bdacae on stubs
into f04a81c on master.

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 19 commits June 6, 2024 16:45

Add cast because type variable failed to be unified

da0b9a6

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

8b8670e

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.

Implement kind subtyping

9a11cbf

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

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

Stubs #33

Are you sure you want to change the base?

Stubs #33

Conversation

jmanuel1 commented Sep 7, 2024

coveralls commented Sep 7, 2024