cl-typeck: Re-name mod key to mod handle, in preparation for future handlization
This commit is contained in:
parent
3511575669
commit
46bd44bd99
@ -1,5 +1,5 @@
|
|||||||
use crate::{
|
use crate::{
|
||||||
key::DefID,
|
handle::DefID,
|
||||||
module::Module,
|
module::Module,
|
||||||
node::{Node, NodeSource},
|
node::{Node, NodeSource},
|
||||||
};
|
};
|
||||||
|
@ -67,7 +67,7 @@ Value: Either
|
|||||||
|
|
||||||
*/
|
*/
|
||||||
|
|
||||||
pub mod key;
|
pub mod handle;
|
||||||
|
|
||||||
pub mod node;
|
pub mod node;
|
||||||
|
|
||||||
|
@ -3,7 +3,7 @@
|
|||||||
use cl_ast::Sym;
|
use cl_ast::Sym;
|
||||||
use cl_structures::index_map::MapIndex;
|
use cl_structures::index_map::MapIndex;
|
||||||
|
|
||||||
use crate::key::DefID;
|
use crate::handle::DefID;
|
||||||
use std::collections::HashMap;
|
use std::collections::HashMap;
|
||||||
|
|
||||||
/// A [Module] is a node in the Module Tree (a component of a
|
/// A [Module] is a node in the Module Tree (a component of a
|
||||||
|
@ -1,7 +1,7 @@
|
|||||||
//! Performs step 1 of type checking: Collecting all the names of things into [Module] units
|
//! Performs step 1 of type checking: Collecting all the names of things into [Module] units
|
||||||
use crate::{
|
use crate::{
|
||||||
definition::{Def, DefKind},
|
definition::{Def, DefKind},
|
||||||
key::DefID,
|
handle::DefID,
|
||||||
module::Module as Mod,
|
module::Module as Mod,
|
||||||
node::{Node, NodeSource},
|
node::{Node, NodeSource},
|
||||||
project::Project as Prj,
|
project::Project as Prj,
|
||||||
|
@ -1,7 +1,7 @@
|
|||||||
//! A [Project] contains a tree of [Def]initions, referred to by their [Path]
|
//! A [Project] contains a tree of [Def]initions, referred to by their [Path]
|
||||||
use crate::{
|
use crate::{
|
||||||
definition::{Def, DefKind, TypeKind},
|
definition::{Def, DefKind, TypeKind},
|
||||||
key::DefID,
|
handle::DefID,
|
||||||
module,
|
module,
|
||||||
node::{Node, NodeSource},
|
node::{Node, NodeSource},
|
||||||
path::Path,
|
path::Path,
|
||||||
|
@ -2,7 +2,7 @@
|
|||||||
|
|
||||||
use crate::{
|
use crate::{
|
||||||
definition::{Adt, Def, DefKind, TypeKind, ValueKind},
|
definition::{Adt, Def, DefKind, TypeKind, ValueKind},
|
||||||
key::DefID,
|
handle::DefID,
|
||||||
node::{Node, NodeSource},
|
node::{Node, NodeSource},
|
||||||
project::{evaluate::EvaluableTypeExpression, Project as Prj},
|
project::{evaluate::EvaluableTypeExpression, Project as Prj},
|
||||||
};
|
};
|
||||||
|
@ -15,7 +15,7 @@ use cl_ast::*;
|
|||||||
|
|
||||||
use crate::{
|
use crate::{
|
||||||
definition::{Def, DefKind},
|
definition::{Def, DefKind},
|
||||||
key::DefID,
|
handle::DefID,
|
||||||
node::NodeSource,
|
node::NodeSource,
|
||||||
project::Project,
|
project::Project,
|
||||||
};
|
};
|
||||||
|
Loading…
Reference in New Issue
Block a user