feat: Add label polymorphism #4388

Merged

Marwes merged 40 commits into

Apr 28, 2022

Commits on Apr 28, 2022

feat: Start on polymorphic labels
Markus Westerlind
committed
test: Use expect_test for better string comparisons
Markus Westerlind
committed
refactor: Simplify Function unification
Markus Westerlind
committed
fix: record labels in the face of bound variables
Markus Westerlind
committed
fix(poly-labels): Handle unbound variables
Markus Westerlind
committed
fix: Don't panic when converting converting zeroed ast::SourceLocation
Markus Westerlind
committed
test: Verify that we error on missing labels
Markus Westerlind
committed
test: Check that labels get unified to strings
Markus Westerlind
committed
docs: Add a Polymorphic label "RFC"
Markus Westerlind
committed
feat: Try to get labels <: string unification working
Markus Westerlind
committed
chore: Fix the cffi tests
Markus Westerlind
committed
chore: Remove the no-package restriction for labels
Markus Westerlind
committed
chore: Add a LabelPolymorphism feature flag
Markus Westerlind
committed
chore: Handle errors when parsing property_key
Markus Westerlind
committed
feat: Add some universe function to experimental with updated signatures
Markus Westerlind
committed
fix: Error when a label variable in a record label could not be made concrete
Markus Westerlind
committed
fix: Strings should not implement the Label kind
Markus Westerlind
committed
chore: Fix some undefined reference errors in make fmt-flux
Markus Westerlind
committed
chore: Add the Label kind to the experimental/universe functions
Markus Westerlind
committed
chore: Add the Label kind to the flatbuffer representation
Markus Westerlind
committed
test: Make the columns test more accurate
Markus Westerlind
committed
chore: Update docs for experimental/universe
Markus Westerlind
committed
feat: Represent label variables in the flatbuffer
Markus Westerlind
committed
chore: make staticcheck
Markus Westerlind
committed
test: Verify that label types work through variable bindings
Markus Westerlind
committed
chore: cargo clippy
Markus Westerlind
committed
chore: make generate
Markus Westerlind
committed
Apply suggestions from code review

Markus Westerlind
and
sanderson
committed
chore: Update SPEC.md with label polymorphism
Markus Westerlind
committed
chore: Ensure we error on unbound label variables
Markus Westerlind
committed
fix: Remove the unbound label variable check
Markus Westerlind
committed
fix: Make copyMonoType work with record variables
Markus Westerlind
committed
chore: make generate
Markus Westerlind
committed
chore: Remove an unfinished sentence in docs/SPEC.md
Markus Westerlind
committed
feat: Use JSON to allow all kinds of features to be specified from the command line
Markus Westerlind
committed
docs: Remove unneccessary todo
Markus Westerlind
committed
chore: Address review comments
Markus Westerlind
committed
chore: Update the feature flag passing for make checkdocs
Markus Westerlind
committed
chore: cargo clippy
Markus Westerlind
committed
chore: make generate
Markus Westerlind
committed