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

Polymorphic type declarations #1086

Merged
merged 24 commits into from
Aug 13, 2024
Merged

Polymorphic type declarations #1086

merged 24 commits into from
Aug 13, 2024

Conversation

lorchrob
Copy link
Contributor

@lorchrob lorchrob commented Aug 1, 2024

Support user type declarations with type variables, e.g.

type UserType<<T>> = [int, T];

as well as instantations of those types, e.g.

node () returns (y: UserType<<real>>);

lorchrob and others added 24 commits July 24, 2024 14:34
@lorchrob
Basic support for type decls with type parameters
1d2a281
@lorchrob
Basic support for UserTypes with type arguments
b02c90c
@lorchrob
Check that calls to polymorphic type decls contain the correct number…
73561fc 
… of type arguments
@lorchrob
Disallow shadowing with type variables in type declarations
d006f51
@lorchrob
Support chasing type synonyms with polymorphic type decls
c0bf25e
@lorchrob
Remove internal comments
4ea5e1f
@lorchrob
Remove internal comments and add test cases
fa848e8
@lorchrob
Fix lsp info bug, and realizability checking poly type decls bug
4b02e69
@lorchrob
Merge branch 'develop' into polymorphic-type-decl
f9f7dd4
@lorchrob
Merge branch 'develop' into polymorphic-type-decl
d662033
@lorchrob
Minor indentation and comment changes
b5a484e
@lorchrob
Merge branch 'develop' into polymorphic-type-decl
0347014
@daniel-larraz
Add support for polymorphic records
ffe87b1
@daniel-larraz
Add test for record type alias
5886fda
@daniel-larraz
Fix check_ty_node_calls for user poly types
0a3fe4c
@daniel-larraz
Refactor code in lsp_type_decl_json
cd83129
@daniel-larraz
Fix ty_vars_of_type for user poly types
77593f6
@daniel-larraz
Add node type parameters as abstract types while type-checking
c4c3682
@daniel-larraz
Add node type parameters to all contexts
be290ed
@daniel-larraz
Fix instantiation of call to polymorphic node
595a95b
@daniel-larraz
Consider contract type vars in ty_vars_of_type
c62a2c2
@daniel-larraz
Refactor code in lookup_ty_syn
175f588
@daniel-larraz
Lookup type of identifier in ty_vars_of_expr
b330079
@daniel-larraz
Add support for polymorphic record constructors
b331a0a
@daniel-larraz daniel-larraz changed the title Polymorphic type decls Polymorphic type declarations Aug 13, 2024
@daniel-larraz daniel-larraz merged commit 0b8dc93 into kind2-mc:develop Aug 13, 2024
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lorchrob @daniel-larraz