diff --git a/include/bolt/CST.hpp b/include/bolt/CST.hpp index 0be4f143d..9e533b5a2 100644 --- a/include/bolt/CST.hpp +++ b/include/bolt/CST.hpp @@ -885,11 +885,11 @@ namespace bolt { class TypeclassConstraintExpression : public ConstraintExpression { public: - Identifier* Name; + IdentifierAlt* Name; std::vector TEs; TypeclassConstraintExpression( - Identifier* Name, + IdentifierAlt* Name, std::vector TEs ): ConstraintExpression(NodeKind::TypeclassConstraintExpression), Name(Name), diff --git a/src/Parser.cc b/src/Parser.cc index 5bb71521c..16b95ba9e 100644 --- a/src/Parser.cc +++ b/src/Parser.cc @@ -547,7 +547,7 @@ after_params: return parseExpressionStatement(); } } - +# ConstraintExpression* Parser::parseConstraintExpression() { bool HasTilde = false; for (std::size_t I = 0; ; I++) { @@ -572,7 +572,7 @@ after_seek: auto Right = parseArrowTypeExpression(); return new EqualityConstraintExpression { Left, Tilde, Right }; } - auto Name = expectToken(); + auto Name = expectToken(); std::vector TEs; for (;;) { auto T1 = Tokens.peek();