@pineforge/codegen-pyodide 1.0.0-rc.1 → 1.0.1

package/pineforge_codegen/parser.py

@@ -18,6 +18,7 @@ from .lexer import Token, TokenType
 from .errors import CompileError, Diagnostic, Level, Phase, SourceLocation
 from .limits import MAX_NESTING_DEPTH, TimeBudget, limit_error, syntax_children
 from .ast_nodes import (
+    HISTORY_MEMBER_ANNOTATION,
     ASTNode, ArgOrder,
     Program, StrategyDecl, ImportStmt,
     VarDecl, Assignment, TupleAssign,
@@ -1482,6 +1483,11 @@ class Parser:
     def _parse_postfix(self):
         chain_tok = self._current()
         expr = self._parse_primary()
+        # Whether ``expr`` is a history reference this chain wrote, not one in
+        # parentheses: TradingView refuses a member straight after it
+        # (``c[1].v``, CE10011; ``b[1].get_top()``, CE10010), which the
+        # support checker reports (HISTORY_MEMBER_ANNOTATION).
+        after_subscript = False
         while True:
             # Subscript: expr[index]
             if self._check(TokenType.LBRACKET):
@@ -1491,6 +1497,9 @@ class Parser:
                 self._consume(TokenType.RBRACKET)
                 expr = Subscript(object=expr, index=index)
                 self._set_loc(expr, start_tok)
+                after_subscript = True
+                self._check_chain(expr, chain_tok)
+                continue
 
             # Member access: expr.member  or  expr.member(args)
             elif self._check(TokenType.DOT):
@@ -1501,24 +1510,30 @@ class Parser:
                 if self._looks_like_call_template_args():
                     template_args = self._parse_template_args()
 
+                annotations = {}
+                if template_args:
+                    annotations["template_args"] = template_args
+                if after_subscript:
+                    annotations[HISTORY_MEMBER_ANNOTATION] = True
                 if self._check(TokenType.LPAREN):
                     # Build callee as MemberAccess, then parse call
                     callee = MemberAccess(object=expr, member=member_tok.value)
                     self._set_loc(callee, member_tok)
-                    if template_args:
-                        callee.annotations = {"template_args": template_args}
+                    if annotations:
+                        callee.annotations = annotations
                     expr = self._parse_call_with_callee(callee)
                 else:
                     expr = MemberAccess(object=expr, member=member_tok.value)
                     self._set_loc(expr, member_tok)
-                    if template_args:
-                        expr.annotations = {"template_args": template_args}
+                    if annotations:
+                        expr.annotations = annotations
 
             # Direct call: expr(args) — needed for identifiers followed by (
             elif self._check(TokenType.LPAREN) and self._is_call_position(expr):
                 expr = self._parse_call_with_callee(expr)
             else:
                 break
+            after_subscript = False
             self._check_chain(expr, chain_tok)
         return expr
 

package/pineforge_codegen/support_checker.py

@@ -36,6 +36,7 @@ import re
 from typing import Callable
 
 from .ast_nodes import (
+    HISTORY_MEMBER_ANNOTATION,
     ASTNode,
     Program, StrategyDecl, ImportStmt, TypeField,
     VarDecl, Assignment, TupleAssign,
@@ -1482,6 +1483,40 @@ class SupportChecker:
             )
         self._visit_children(node)
 
+    def _refuse_history_member(self, node: MemberAccess) -> None:
+        """A field read or a method call written straight after the
+        history-referencing operator: TradingView refuses ``c[1].v``
+        ("User variable identifiers should not contain '.'", CE10011) and
+        ``b[1].get_top()`` (CE10010), and takes the history reference in
+        parentheses, ``(c[1]).v``, which reads the field of the object the
+        variable held (fixtures/udt_history_tv)."""
+        history = node.object
+        receiver = "x[k]"
+        if (isinstance(history, Subscript)
+                and isinstance(history.object, Identifier)
+                and isinstance(history.index, (NumberLiteral, Identifier))):
+            index = (history.index.name if isinstance(history.index, Identifier)
+                     else history.index.value)
+            receiver = f"{history.object.name}[{index}]"
+        if id(node) in self._callee_node_ids:
+            self._err(
+                node,
+                f"{receiver}.{node.member}(): TradingView refuses a method "
+                "call straight after the history-referencing operator "
+                "(CE10010; CE10011 after an array's or a matrix's history).",
+                hint=f"Call the method on the history reference in "
+                     f"parentheses: ({receiver}).{node.member}().",
+            )
+            return
+        self._err(
+            node,
+            f"{receiver}.{node.member}: TradingView refuses a field read "
+            "straight after the history-referencing operator (CE10011: "
+            "\"User variable identifiers should not contain '.'\").",
+            hint=f"Read the field of the history reference in parentheses: "
+                 f"({receiver}).{node.member}.",
+        )
+
     def _visit_FuncCall(self, node: FuncCall) -> None:
         ns, name = _qualified_name(node.callee)
 
@@ -1976,6 +2011,8 @@ class SupportChecker:
         self._visit(node.false_val)
 
     def _visit_MemberAccess(self, node: MemberAccess) -> None:
+        if (node.annotations or {}).get(HISTORY_MEMBER_ANNOTATION):
+            self._refuse_history_member(node)
         chain = _resolve_member_chain(node)
         if (
             chain is not None

package/release.json

@@ -1,7 +1,7 @@
 {
-  "codegen": "1.0.0-rc.1",
+  "codegen": "1.0.1",
   "pyodide": "314.0.0",
   "python": "3.14.0",
   "emscripten": "emscripten_5_0_3",
-  "sha256": "b692b0d616595a9b6260481bef7d88a5d63f11d094c7e30ce63bea420619af71"
+  "sha256": "2ad9a8595850ce2c485dcddb049fd738097d9149d2136ce83a951a506541a113"
 }

package/tables.json

@@ -1,5 +1,5 @@
 {
-  "CODEGEN_VERSION": "1.0.0-rc.1",
+  "CODEGEN_VERSION": "1.0.1",
   "TA_CLASS_MAP_KEYS": [
     "sma",
     "ema",