linking all the compiler stuff together. quite a lot of shotgun surgery

Author: zyros-dev

Grammar/python.gram

@@ -696,7 +696,7 @@ atom[expr_ty]:
     | NUMBER
     | &'(' (tuple | group | genexp)
     | &'[' (list | listcomp)
-    | &'{' (dict | set | dictcomp | setcomp)
+    | &'{' (dict | set | dictcomp | setcomp | record)
     | '...' { _PyAST_Constant(Py_Ellipsis, NULL, EXTRA) }
 
 strings[expr_ty] (memo): a=STRING+ { _PyPegen_concatenate_strings(p, a) }
@@ -725,6 +725,13 @@ dict[expr_ty]:
             CHECK(asdl_expr_seq*, _PyPegen_get_values(p, a)),
             EXTRA) }
     | '{' invalid_double_starred_kvpairs '}'
+record[expr_ty]:
+    | '{' '|' a=[kwargs] '|' '}' {
+        _PyAST_Record(
+            CHECK(asdl_expr_seq*, _PyPegen_get_record_keys(p, a)),
+            CHECK(asdl_expr_seq*, _PyPegen_get_record_values(p, a)),
+            EXTRA) }
+    | '{' '|' invalid_kwarg '|' '}'
 
 dictcomp[expr_ty]:
     | '{' a=kvpair b=for_if_clauses '}' { _PyAST_DictComp(a->key, a->value, b, EXTRA) }

Include/internal/pycore_ast.h

@@ -122,6 +122,7 @@ struct ast_state {
     PyObject *RShift_singleton;
     PyObject *RShift_type;
     PyObject *Raise_type;
+    PyObject *Record_type;
     PyObject *Return_type;
     PyObject *SetComp_type;
     PyObject *Set_type;

Include/internal/pycore_ast_state.h

@@ -147,6 +147,7 @@ def jabs_op(name, op):
 def_op('BUILD_LIST', 103)       # Number of list items
 def_op('BUILD_SET', 104)        # Number of set items
 def_op('BUILD_MAP', 105)        # Number of dict entries
+def_op('BUILD_RECORD', 166)        # Number of record fields
 name_op('LOAD_ATTR', 106)       # Index in name list
 def_op('COMPARE_OP', 107)       # Comparison operator
 hascompare.append(107)

Include/opcode.h

@@ -61,6 +61,7 @@ module Python
          | Lambda(arguments args, expr body)
          | IfExp(expr test, expr body, expr orelse)
          | Dict(expr* keys, expr* values)
+         | Record(expr* keys, expr* values)
          | Set(expr* elts)
          | ListComp(expr elt, comprehension* generators)
          | SetComp(expr elt, comprehension* generators)