aboutsummaryrefslogtreecommitdiff
path: root/src/check_type.cpp
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2018-02-05 22:46:30 +0000
committergingerBill <bill@gingerbill.org>2018-02-05 22:46:30 +0000
commit92780e2683927b75d2b4a35e96cf4ebe0637006c (patch)
tree34c74f47b549d71496206d63324ee1a90981d10a /src/check_type.cpp
parent2891988d3bd04c173f79eb462d2f8dfd58d9c171 (diff)
`distinct` keyword for type declarations
Diffstat (limited to 'src/check_type.cpp')
-rw-r--r--src/check_type.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/check_type.cpp b/src/check_type.cpp
index 167b55c75..3252c8bf6 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -1963,10 +1963,10 @@ bool check_type_internal(Checker *c, AstNode *e, Type **type, Type *named_type)
return check_type_internal(c, ht->type, type, named_type);
case_end;
- case_ast_node(at, AliasType, e);
- error(e, "Invalid use of '#type_alias'");
+ case_ast_node(dt, DistinctType, e);
+ error(e, "Invalid use of a distinct type");
// NOTE(bill): Treat it as a HelperType to remove errors
- return check_type_internal(c, at->type, type, named_type);
+ return check_type_internal(c, dt->type, type, named_type);
case_end;
case_ast_node(pt, PolyType, e);