summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDavid Li <li.davidm96@gmail.com>2017-11-06 09:02:24 -0500
committerDavid Li <li.davidm96@gmail.com>2017-11-06 09:02:24 -0500
commite4dfafc26756b6e9fe3df445efb5a14d4cab3e31 (patch)
tree51aaa370862bc9574ba1a6b82b21be45b2fc73b7 /src
parent48411d44fd742800348dace427217a9b5727138d (diff)
Typecheck type aliases
Diffstat (limited to 'src')
-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)?;