Commit b8df211b authored by Daniel Ratiu's avatar Daniel Ratiu
Browse files

review

parent f1f34e58
......@@ -34,7 +34,8 @@ public interface ITypeChecker {
/**
* Type checks the given {@link ITerm} against the given expected {@link IType} with the given
* context element for type lookup. If the context is {@code null} {@code first} will be used
* context element for type lookup. If the context is {@code null} {@code first} TODO what is
* "first" here? -- will be used
* instead.
*/
boolean typecheck(ITerm term, IType expected, EObject context);
......
Supports Markdown
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