Commit 073a15e1 authored by Sven Gestegård Robertz's avatar Sven Gestegård Robertz
Browse files

Merge branch 'master' of ssh://git.control.lth.se/labcomm_core

parents 2ba19677 d411973e
......@@ -9,7 +9,13 @@ aspect TypeCheck {
syn boolean Type.isNull();
eq Type.isNull() = false;
eq VoidType.isNull() = true;
eq UserType.isNull() = decl().isNull();
eq UserType.isNull() {
if (decl() != null) {
return decl().isNull();
} else {
return false;
}
}
syn boolean TypeDecl.isNull();
eq TypeDecl.isNull() = getType().isNull();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment