feat: TypeVariableKind for just Integers#4118

Merged

jfecher merged 29 commits intomasterfrom

michaeljklein/integer-kind

Feb 13, 2024

Commits on Jan 23, 2024

Commits on Jan 31, 2024

Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored
revert unrelated test programs change, update printing of TypeVariableKind::Integer to default integer type name: 'u64'
michaeljklein
committed

Commits on Feb 7, 2024

Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored
wip implementing type check rules for Kind::Integer
michaeljklein
committed
Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored
resolve typing with TypeVariableKind::Integer (bindings), update borrow stuff that changed from updated master, extend typ.try_bind_to_polymorphic_int to work with both IntegerOrField and Integer, …
michaeljklein
committed
Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored
add test programs for regressions
michaeljklein
committed
Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored
ensure IntegerOrField and Integer TypeVariableKind's are equivalent where expected
michaeljklein
committed
Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored
Merge branch 'master' into michaeljklein/integer-kind
michaeljklein
authored

Commits on Feb 8, 2024

Commits on Feb 9, 2024

Merge branch 'master' into michaeljklein/integer-kind
TomAFrench
authored