John 70872d86f9 cl-typeck: Improve path resolution semantics, and DON'T REPARENT IMPLs ...

- Perform heirarchical resolution through "transparent" nodes
- Reparenting impls broke relative path traversal entirely. To impl something, it must already be in scope anyway.
- TODO: well-formedness checks?

2024-07-21 06:01:54 -05:00

..

cl-arena

cl-arena: Add iterator allocation to TypedArena

2024-05-04 22:17:34 -05:00

cl-ast

cl-typeck: Refactor display for Def.

2024-07-21 01:46:20 -05:00

cl-interpret

conlang: Self is not a type, it's a path to a type

2024-07-17 15:05:52 -05:00

cl-lexer

Revert "Cargo.toml: Add documentation key"

2024-04-22 00:07:44 -05:00

cl-parser

conlang: Add array and slice type syntax

2024-07-20 18:22:50 -05:00

cl-repl

conlang: Add array and slice type syntax

2024-07-20 18:22:50 -05:00

cl-structures

cl-structures: Clean up IndexMap and fix doctests

2024-07-10 14:56:17 -05:00

cl-token

Revert "Cargo.toml: Add documentation key"

2024-04-22 00:07:44 -05:00

cl-typeck

cl-typeck: Improve path resolution semantics, and DON'T REPARENT IMPLs

2024-07-21 06:01:54 -05:00