Repository navigation

Implement `Type is Type` - #782

Closed

ntrel wants to merge 10 commits into

hsutter:mainfrom

Closed

Implement `Type is Type`#782
ntrel wants to merge 10 commits into
hsutter:mainfrom
ntrel:type-is

Commits on Oct 16, 2023
- Disambiguate `identifier is`
  ntrel
  committed
  aee9bf4
- [grammar] Move *type-id is-type-constraint* above expression forms
  ntrel
  committed
  87a0276
Commits on Oct 25, 2023
- Cpp1 `is<X, C>`
  
  filipsajdak
  authored and
  ntrel
  committed
  486f8d7
- Parse type; lowering
  ntrel
  committed
  a775771
- Add test; ensure `is` returns bool
  ntrel
  committed
  844196e
- Fix is_as_expression_node expression methods
  ntrel
  committed
  00f333a
- Refactor position, visit
  ntrel
  committed
  d888fcd
- Diagnose type 'is' expression
  ntrel
  committed
  7ec8257
- Regenerate Cpp1 tests
  ntrel
  committed
  297ed21
Commits on Oct 27, 2023
- Remove TODO
  
  ntrel
  and
  JohelEGP
  authored
  c5cc11f