forked from M-Labs/nac3
1
0
Fork 0

moving location and symbol_resolver out from typecheck

This commit is contained in:
pca006132 2021-08-07 10:28:41 +08:00
parent 18db2ddd53
commit c405e46b00
7 changed files with 8 additions and 8 deletions

View File

@ -2,5 +2,7 @@
#![allow(dead_code)]
mod codegen;
mod location;
mod symbol_resolver;
mod top_level;
mod typecheck;

View File

@ -1,5 +1,5 @@
use super::location::Location;
use super::typedef::Type;
use crate::location::Location;
use crate::typecheck::typedef::Type;
use crate::top_level::DefinitionId;
use rustpython_parser::ast::Expr;

View File

@ -1,8 +1,8 @@
use std::{collections::HashMap, sync::Arc};
use super::typecheck::symbol_resolver::SymbolResolver;
use super::typecheck::type_inferencer::PrimitiveStore;
use super::typecheck::typedef::{SharedUnifier, Type, Unifier};
use crate::symbol_resolver::SymbolResolver;
use inkwell::{builder::Builder, context::Context, module::Module, values::PointerValue};
use parking_lot::RwLock;
use rustpython_parser::ast::Stmt;

View File

@ -1,7 +1,5 @@
mod function_check;
pub mod location;
mod magic_methods;
pub mod symbol_resolver;
pub mod type_inferencer;
pub mod typedef;
mod unification_table;

View File

@ -4,8 +4,8 @@ use std::iter::once;
use std::{cell::RefCell, sync::Arc};
use super::magic_methods::*;
use super::symbol_resolver::SymbolResolver;
use super::typedef::{Call, FunSignature, FuncArg, Type, TypeEnum, Unifier};
use crate::symbol_resolver::SymbolResolver;
use itertools::izip;
use rustpython_parser::ast::{
self,

View File

@ -1,7 +1,7 @@
use super::super::location::Location;
use super::super::symbol_resolver::*;
use super::super::typedef::*;
use super::*;
use crate::location::Location;
use crate::symbol_resolver::*;
use crate::top_level::DefinitionId;
use indoc::indoc;
use itertools::zip;