[WIP] Add existential structs to Checked C#683

Merged

dtarditi merged 86 commits intomasterfrom

issue-661-existential-structs

Sep 20, 2019

Commits on Aug 28, 2019

Add a new existential type to the type hierarchy
Abel Nieto
committed
Handle existential types in different places
Abel Nieto
committed
More handling of new ExistentialType
Abel Nieto
committed
Add new _Exists token
Abel Nieto
committed
Handle existentials in a few more places
Abel Nieto
committed
Handle existentials in additional places (including codegen)
Abel Nieto
committed
[wip] Add an existential type to clang
Abel Nieto
committed
Desugar type variable in existential
Abel Nieto
committed
Fix bug in desugaring of exists
Abel Nieto
committed
Add dedicated scopes for existentials
Abel Nieto
committed
Rename some variables
Abel Nieto
committed
[wip] Instantiate existential types
Abel Nieto
committed
Fix bugs
Abel Nieto
committed
Better logic for determining whether an Existential is an aggregate
Abel Nieto
committed
Disambiguate between expressions and decls in the parser
Abel Nieto
committed
[wip] add a pack operation and start handling it all over the compiler
Abel Nieto
committed
Add support for pack in additional locations
Abel Nieto
committed
Hook up pack operation in parser
Abel Nieto
committed
[wip] parse pack expressions and generate ast node
Abel Nieto
committed
Can now parse pack expressions
Abel Nieto
committed
Codegen pack expressions
Abel Nieto
committed
Slightly better merge function for existential types
Abel Nieto
committed
Better caching of type applications and existentials
Abel Nieto
committed
Fix typo in comment
Abel Nieto
committed
Check witness type in pack expressions
Abel Nieto
committed
Add pack expression in the right place
Abel Nieto
committed
[wip] parse unpack type specifiers
Abel Nieto
committed
[wip] parse unpack specifiers
Abel Nieto
committed
Move unpack to custom specifier
Abel Nieto
committed
Differentiate between unpack variables in same scope
Abel Nieto
committed
Add hacky rule for typing unpack init
Abel Nieto
committed

Commits on Sep 3, 2019

bug fix
Abel Nieto
committed
Minor fixes
Abel Nieto
committed
Restructure ExistentialType to contain more than a TypeVariableType for the TypeVar
Abel Nieto
committed

Commits on Sep 4, 2019

Fix evaluation kind resolution
Abel Nieto
committed
Better canonical types for existentials
Abel Nieto
committed
Simplifying generation of canonical types
Abel Nieto
committed
Fix bug in creating existential type
Abel Nieto
committed
Revert changes to numbering of existential type variables
Abel Nieto
committed
Fix bug in allocation logic
Abel Nieto
committed

Commits on Sep 6, 2019

Implement a visitor that computes free variables
Abel Nieto
committed
Comment out logging code
Abel Nieto
committed
Implement alpha renamer and wip canonical type generation
Abel Nieto
committed

Commits on Sep 9, 2019

Hooked up canonicalization to creation of existential types
Abel Nieto
committed
Fix bugs
Abel Nieto
committed
handle typedefs in alpha renamer
Abel Nieto
committed
handle type applications
Abel Nieto
committed
fix bug
Abel Nieto
committed

Commits on Sep 10, 2019

fix another bug
Abel Nieto
committed
remoev incorrect canonicalization
Abel Nieto
committed
fix bug in insertion to subst map
Abel Nieto
committed
fix bug in checking witness type
Abel Nieto
committed

Commits on Sep 11, 2019

Add TODO
Abel Nieto
committed
fix codegen of type applications
Abel Nieto
committed

Commits on Sep 17, 2019

Remove unused static variable
Abel Nieto
committed
Emit parsing error while parsing existentials
Abel Nieto
committed
Improve wording
Abel Nieto
committed
Rename ExistTpe to ExistType
Abel Nieto
committed
Improve wording
Abel Nieto
committed
Improve wording
Abel Nieto
committed
Add issue number to TODOs
Abel Nieto
committed
Improve wording
Abel Nieto
committed
Add explanation
Abel Nieto
committed
Fix typo
Abel Nieto
committed
Check return type of pack expressions (must be an existential)
Abel Nieto
committed
Strengthen assertion
Abel Nieto
committed
Tag comments with issue number
Abel Nieto
committed
Tag comment
Abel Nieto
committed
Improve wording
Abel Nieto
committed

Commits on Sep 18, 2019

Replace assertion by runtime error message
Abel Nieto
committed
Check that an unpack initializer has an existential type
Abel Nieto
committed
Add comment about pack expressions being r-values
Abel Nieto
committed
Remove unneeded comment
Abel Nieto
committed
Compute type linkage info in different way
Abel Nieto
committed
Tag comment
Abel Nieto
committed
Improve comment
Abel Nieto
committed
Tag comment
Abel Nieto
committed
Check for malformed unpacks
Abel Nieto
committed

Commits on Sep 19, 2019

Fix warning and missing symbol
Abel Nieto
committed
Add missing switch case
Abel Nieto
committed
Partially disable clang test
Abel Nieto
committed
Fix codegen check
Abel Nieto
committed
Fix typo
Abel Nieto
committed
Improve handling of linkage for existentials
Abel Nieto
committed
Use getAs() instead of manually getting canonical type
Abel Nieto
committed
Address code review comment
Abel Nieto
committed