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

..

definition

cl-typeck: Refactor display for Def.

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

definition.rs

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

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

format_utils.rs

cl-typeck: Refactor display for Def.

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

handle.rs

cl-typeck: Add path-resolution relative to an ID

2024-07-21 05:57:15 -05:00

inference.rs

cl-typeck: Move type inference utils into own module

2024-05-16 15:06:59 -05:00

lib.rs

cl-typeck: Refactor display for Def.

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

module.rs

cl-typeck: Re-name mod key to mod handle, in preparation for future handlization

2024-07-20 18:30:05 -05:00

name_collector.rs

cl-typeck: Re-name mod key to mod handle, in preparation for future handlization

2024-07-20 18:30:05 -05:00

node.rs

conlang: Remove "Identifier" node

2024-05-19 14:41:31 -05:00

path.rs

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

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

project.rs

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

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

type_resolver.rs

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

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

use_importer.rs

cl-typeck: Re-name mod key to mod handle, in preparation for future handlization

2024-07-20 18:30:05 -05:00