This commit is contained in:
James Harton 2019-02-26 13:10:18 +13:00
parent 5909368138
commit 448c68e028

View file

@ -10,6 +10,21 @@ pub fn consume(mut context: &mut Context, term: &Term) {
println!("args = {:?}", args);
println!("body = {:?}", body);
println!("reqs = {:?}", reqs);
match deftype.value_ref().as_str() {
"type" => {
let class = context
.ensure_class(context.ident(defname.typename().unwrap().value_ref()));
}
"trait" => {
let tr = context
.ensure_trait(context.ident(defname.typename().unwrap().value_ref()));
}
"def" => {}
"defp" => {}
"defs" => {}
_ => (),
}
}
_ => panic!("Unexpected term {:?}", term),
}