greg
/
schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rename for more concision

This commit is contained in:
greg 2018-11-10 14:11:29 -08:00
parent 2d36ad44d6
commit b4c4531e4d
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
schala-lang/language/src/typechecking.rs
View File

@ -8,7 +8,6 @@ pub type TypeName = Rc<String>;
pub struct TypeContext<'a> { pub struct TypeContext<'a> {
variable_map: ScopeStack<'a, Rc<String>, Type<()>>, variable_map: ScopeStack<'a, Rc<String>, Type<()>>,
evar_count: u32 evar_count: u32
} }
type InferResult<T> = Result<T, TypeError>; type InferResult<T> = Result<T, TypeError>;
@ -30,8 +29,8 @@ enum Type<A> {
} }
enum TVar { enum TVar {
Universal(UniversalVar), Univ(UniversalVar),
Existential(ExistentialVar) Exist(ExistentialVar)
} }
struct UniversalVar(Rc<String>); struct UniversalVar(Rc<String>);
@ -193,7 +192,7 @@ impl<'a> TypeContext<'a> {
fn allocate_existential(&mut self) -> Type<TVar> { fn allocate_existential(&mut self) -> Type<TVar> {
let n = self.evar_count; let n = self.evar_count;
self.evar_count += 1; self.evar_count += 1;
Type::Var(TVar::Existential(ExistentialVar(n))) Type::Var(TVar::Exist(ExistentialVar(n)))
} }
} }