summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/semantic/translate.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/semantic/translate.rs b/src/semantic/translate.rs
index 43c0fb0..6c7f60c 100644
--- a/src/semantic/translate.rs
+++ b/src/semantic/translate.rs
@@ -64,7 +64,7 @@ fn trans_decl<'a>(
err!(decl, TypeError::Unimplemented)
}
ast::DeclarationBody::Ty { ref ty } => {
- err!(decl, TypeError::Unimplemented)
+ trans_ty(venv, tenv, ty)
}
ast::DeclarationBody::Var { ref ty, ref value } => {
let actual_ty = trans_exp(venv, tenv, &value)?;