Type Selection - Githubissues

hkust-taco / mlscript

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

https://hkust-taco.github.io/mlscript

MIT License

175 stars 27 forks source link

Type Selection #219

Open Meowcolm024 opened 7 months ago

Meowcolm024 commented 7 months ago

Note: part of #195

Changes:

Parsing
- type member declaration with bounds Foo[type A extends L restricts U]
- type selection x.A
- as operator
- wildcard type ?
Type checking:
- type selection typing

Meowcolm024 commented 7 months ago

Not included in this PR:

pushing type alias member to type members i.e. class Foo { type T }