Type aliases vs. Derived types #24

2026-07-01T08:09:07Z

HEL commented

2026-07-01 08:09:07 +00:00

This PR separates the concepts of derived types (explicit subtyping) and aliases (simple named types).
The type statement defines a derived type, i.e. type Foo = float creates a subtype (cannot use a float instead of a Foo)
The new alias statement defines a type alias, i.e. alias Bar = float creates an alias (float and Bar are interchangeable)

This PR separates the concepts of derived types (explicit subtyping) and aliases (simple named types). The `type` statement defines a derived type, i.e. `type Foo = float` creates a subtype (cannot use a `float` instead of a `Foo`) The new `alias` statement defines a type alias, i.e. `alias Bar = float` creates an alias (`float` and `Bar` are interchangeable)

HEL self-assigned this 2026-07-01 08:09:07 +00:00

HEL added 3 commits 2026-07-01 08:09:07 +00:00

refactor(types): rename AliasType to DerivedType 087f6b4669

feat(parser): add alias keyword and statement 73769b42c1

feat(checker): process alias definitions c4533421eb

HEL merged commit d039a8e4b3 into main

2026-07-01 08:09:14 +00:00

HEL deleted branch feat/subtypes-and-aliases

2026-07-01 08:09:14 +00:00

HEL referenced this issue from a commit

2026-07-01 08:09:14 +00:00

Merge pull request 'Type aliases vs. Derived types' (#24) from feat/subtypes-and-aliases into main