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

Add Scheme, TypeEnv, Substitution data structs

Browse Source
This commit is contained in:
greg 2018-06-03 00:47:29 -07:00
parent c65907388d
commit 4caf8096b3
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
schala-lang/src/typechecking.rs
View File

@ -1,4 +1,5 @@
use std::rc::Rc; use std::rc::Rc;
use std::collections::HashMap;
/* /*
use std::collections::{HashSet, HashMap}; use std::collections::{HashSet, HashMap};
use std::collections::hash_set::Union; use std::collections::hash_set::Union;
@ -29,6 +30,18 @@ enum TConst {
Custom(String) Custom(String)
} }
#[derive(Debug, PartialEq, Clone)]
struct Scheme {
names: Vec<TypeName>,
ty: Type,
}
#[derive(Debug, PartialEq, Clone)]
struct Substitution(HashMap<TypeName, Type>);
#[derive(Debug, PartialEq, Clone)]
struct TypeEnv(HashMap<TypeName, Scheme>);
pub struct TypeContext<'a> { pub struct TypeContext<'a> {
values: StateStack<'a, TypeName, Type> values: StateStack<'a, TypeName, Type>
} }