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
656fbf8
test: Use expect_test for better string comparisons
Markus Westerlind
committed
54a2d5c
refactor: Simplify Function unification
Markus Westerlind
committed
6f304f0
fix: record labels in the face of bound variables
Markus Westerlind
committed
f4b7cf2
fix(poly-labels): Handle unbound variables
Markus Westerlind
committed
4850af4
fix: Don't panic when converting converting zeroed ast::SourceLocation
Markus Westerlind
committed
b44d90e
test: Verify that we error on missing labels
Markus Westerlind
committed
df71f1e
test: Check that labels get unified to strings
Markus Westerlind
committed
caa4373
docs: Add a Polymorphic label "RFC"
Markus Westerlind
committed
2016d25
feat: Try to get labels <: string unification working
Markus Westerlind
committed
422edc9
chore: Fix the cffi tests
Markus Westerlind
committed
7d8a4e0
chore: Remove the no-package restriction for labels
Markus Westerlind
committed
95c55a2
chore: Add a LabelPolymorphism feature flag
Markus Westerlind
committed
0293eac
chore: Handle errors when parsing property_key
Markus Westerlind
committed
e35fa2f
feat: Add some universe function to experimental with updated signatures
Markus Westerlind
committed
1b92329
fix: Error when a label variable in a record label could not be made concrete
Markus Westerlind
committed
249e105
fix: Strings should not implement the Label kind
Markus Westerlind
committed
cd376cf
chore: Fix some undefined reference errors in make fmt-flux
Markus Westerlind
committed
6f47855
chore: Add the Label kind to the experimental/universe functions
Markus Westerlind
committed
a1f867d
chore: Add the Label kind to the flatbuffer representation
Markus Westerlind
committed
b11ac06
test: Make the columns test more accurate
Markus Westerlind
committed
5f8fbb1
chore: Update docs for experimental/universe
Markus Westerlind
committed
cabb49c
feat: Represent label variables in the flatbuffer
Markus Westerlind
committed
17ac065
chore: make staticcheck
Markus Westerlind
committed
f3bb91e
test: Verify that label types work through variable bindings
Markus Westerlind
committed
abb5e6d
chore: cargo clippy
Markus Westerlind
committed
61ea74a
chore: make generate
Markus Westerlind
committed
59fbbb1
Apply suggestions from code review

Markus Westerlind
and
sanderson
committed
cf36289
chore: Update SPEC.md with label polymorphism
Markus Westerlind
committed
344773f
chore: Ensure we error on unbound label variables
Markus Westerlind
committed
c74a199
fix: Remove the unbound label variable check
Markus Westerlind
committed
2b33c4e
fix: Make copyMonoType work with record variables
Markus Westerlind
committed
0331566
chore: make generate
Markus Westerlind
committed
19baaa5
chore: Remove an unfinished sentence in docs/SPEC.md
Markus Westerlind
committed
2b377e1
feat: Use JSON to allow all kinds of features to be specified from the command line
Markus Westerlind
committed
4e8f6e4
docs: Remove unneccessary todo
Markus Westerlind
committed
fa0b4ff
chore: Address review comments
Markus Westerlind
committed
7a22672
chore: Update the feature flag passing for make checkdocs
Markus Westerlind
committed
3b0e2d8
chore: cargo clippy
Markus Westerlind
committed
80453ed
chore: make generate
Markus Westerlind
committed
1720617