Implement minimal support for generic buffers#1571

Merged

kyouko-taiga merged 33 commits intomainfrom array-buffer-init

Sep 1, 2024

+925-598

Commits on Aug 31, 2024

Implement sugars for array types
kyouko-taiga
committed
Rework the representation of compile-time values
kyouko-taiga
committed
Extend substitution maps to contain term assignments
kyouko-taiga
committed
Remove unused 'hasRemoteType' type flag
kyouko-taiga
committed
Remove unused 'hasGenericValueParameter' type flag
kyouko-taiga
committed
Simplify the representation of type flags
kyouko-taiga
committed
Rename 'TypeFlags' to 'ValueFlags'
kyouko-taiga
committed
Add value flags to compile-time terms
kyouko-taiga
committed
Assert that 'TypeChecker.canonical(_:in:)' returns canonical types
kyouko-taiga
committed
Remove dead code
kyouko-taiga
committed
Store terms rather than arbitrary compile time values in 'BufferType'
kyouko-taiga
committed
Add value flags to compile-time values
kyouko-taiga
committed
Implement a term representing type checking errors
kyouko-taiga
committed
Implement a term representing skolems
kyouko-taiga
committed
Substitute term variables during type reification
kyouko-taiga
committed
Add a method to extend substitution tables with term assignments
kyouko-taiga
committed
Improve the textual representation of substitution maps
kyouko-taiga
committed
Rename properties of 'Solution' for consistency with 'SubstitutionMap'
kyouko-taiga
committed
Merge term flags in the representation of buffer types
kyouko-taiga
committed
Merge term flags in the representation of bound generic types
kyouko-taiga
committed
Eliminate local boilerplate
kyouko-taiga
committed
Refactor unification to deduce arguments to generic value parameters
kyouko-taiga
committed
Implement a helper to test the kindness of a generic parameter
kyouko-taiga
committed
Handle generic value parameters during quantifier elimination
kyouko-taiga
committed
Mangle generic term parameters
kyouko-taiga
committed
Remove needless newlines
kyouko-taiga
committed
Implement an array constructor that accepts buffers
kyouko-taiga
committed
Fix typos
kyouko-taiga
committed
Remove dead code
kyouko-taiga
committed
Improve the diagnostic of invalid arguments in buffer type expressions
kyouko-taiga
committed
Test the construction of an array using a buffer
kyouko-taiga
committed
Remove unused intersection operator on 'ValueFlags'
kyouko-taiga
committed

Commits on Sep 1, 2024

Remove unused setter on 'AnyType.base' and 'AnyTerm.base'
kyouko-taiga
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Implement minimal support for generic buffers#1571

Commits on Aug 31, 2024

Implement sugars for array types

Rework the representation of compile-time values

Extend substitution maps to contain term assignments

Remove unused 'hasRemoteType' type flag

Remove unused 'hasGenericValueParameter' type flag

Simplify the representation of type flags

Rename 'TypeFlags' to 'ValueFlags'

Add value flags to compile-time terms

Assert that 'TypeChecker.canonical(_:in:)' returns canonical types

Remove dead code

Store terms rather than arbitrary compile time values in 'BufferType'

Add value flags to compile-time values

Implement a term representing type checking errors

Implement a term representing skolems

Substitute term variables during type reification

Add a method to extend substitution tables with term assignments

Improve the textual representation of substitution maps

Rename properties of 'Solution' for consistency with 'SubstitutionMap'

Merge term flags in the representation of buffer types

Merge term flags in the representation of bound generic types

Eliminate local boilerplate

Refactor unification to deduce arguments to generic value parameters

Implement a helper to test the kindness of a generic parameter

Handle generic value parameters during quantifier elimination

Mangle generic term parameters

Remove needless newlines

Implement an array constructor that accepts buffers

Fix typos

Remove dead code

Improve the diagnostic of invalid arguments in buffer type expressions

Test the construction of an array using a buffer

Remove unused intersection operator on 'ValueFlags'

Commits on Sep 1, 2024

Remove unused setter on 'AnyType.base' and 'AnyTerm.base'