diff --git a/frontend/test/resolution/testDomains.cpp b/frontend/test/resolution/testDomains.cpp index df7c79828c6..83c76a7c2c8 100644 --- a/frontend/test/resolution/testDomains.cpp +++ b/frontend/test/resolution/testDomains.cpp @@ -442,6 +442,9 @@ int main() { testAssociative(context, "domain(int, false)", "int", false); testAssociative(context, "domain(string)", "string", true); + testDomainLiteral(context, "{1, 2, 3}", DomainType::Kind::Associative); + testDomainLiteral(context, "{\"apple\", \"banana\"}", DomainType::Kind::Associative); + testBadPass(context, "domain(1)", "domain(2)"); testBadPass(context, "domain(1, int(16))", "domain(1, int(8))"); testBadPass(context, "domain(1, int(8))", "domain(1, int(16))");