rapydscript-ns 0.8.3 → 0.8.4

package/src/lib/react.pyj

@@ -0,0 +1,74 @@
+# vim:fileencoding=utf-8
+# License: BSD
+# RapydScript bindings for React.
+#
+# Supported: all standard hooks (useState, useEffect, useContext, useReducer,
+# useCallback, useMemo, useRef, useImperativeHandle, useLayoutEffect,
+# useDebugValue, useId, useTransition, useDeferredValue), core classes
+# (Component, PureComponent), special elements (Fragment, StrictMode,
+# Suspense, Profiler), and utilities (createElement, cloneElement,
+# createContext, createRef, forwardRef, isValidElement, memo, lazy).
+#
+# Requires React to be available as a global variable.  Load it via a CDN
+# <script> tag, a bundler global shim, or any other mechanism before your
+# compiled script runs.
+#
+# Usage:
+#   from __python__ import jsx
+#   from react import useState, useEffect, useRef
+#
+#   def Counter():
+#       count, setCount = useState(0)
+#       def handleClick():
+#           setCount(count + 1)
+#       return <button onClick={handleClick}>{count}</button>
+#
+# For class components extend React.Component directly (no import needed):
+#
+#   class MyComponent(React.Component):
+#       def render(self):
+#           return <div>{self.props.title}</div>
+
+# ── Hooks (React 16.8+) ───────────────────────────────────────────────────────
+
+useState             = React.useState
+useEffect            = React.useEffect
+useContext           = React.useContext
+useReducer           = React.useReducer
+useCallback          = React.useCallback
+useMemo              = React.useMemo
+useRef               = React.useRef
+useImperativeHandle  = React.useImperativeHandle
+useLayoutEffect      = React.useLayoutEffect
+useDebugValue        = React.useDebugValue
+
+# ── Hooks (React 18+) ────────────────────────────────────────────────────────
+
+useId                = React.useId
+useTransition        = React.useTransition
+useDeferredValue     = React.useDeferredValue
+useSyncExternalStore = React.useSyncExternalStore
+useInsertionEffect   = React.useInsertionEffect
+
+# ── Core classes ─────────────────────────────────────────────────────────────
+
+Component            = React.Component
+PureComponent        = React.PureComponent
+
+# ── Special elements ─────────────────────────────────────────────────────────
+
+Fragment             = React.Fragment
+StrictMode           = React.StrictMode
+Suspense             = React.Suspense
+Profiler             = React.Profiler
+
+# ── Utilities ────────────────────────────────────────────────────────────────
+
+createElement        = React.createElement
+cloneElement         = React.cloneElement
+createContext        = React.createContext
+createRef            = React.createRef
+forwardRef           = React.forwardRef
+isValidElement       = React.isValidElement
+memo                 = React.memo
+lazy                 = React.lazy

package/src/lib/traceback.pyj

@@ -1,63 +1,63 @@
-# vim:fileencoding=utf-8
-# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
-# globals: ρσ_str, ρσ_last_exception
-
-
-def _get_internal_traceback(err):
-    if isinstance(err, Exception) and err.stack:
-        lines = ρσ_str.splitlines(err.stack)
-        final_lines = v'[]'
-        found_sentinel = False
-        for i, line in enumerate(lines):
-            sline = ρσ_str.strip(line)
-            if i is 0:
-                final_lines.push(line)
-                continue
-            if found_sentinel:
-                final_lines.push(line)
-                continue
-            # These two conditions work on desktop Chrome and Firefox to identify the correct
-            # line in the traceback.
-            if sline.startsWith('at new ' + err.name) or sline.startsWith(err.name + '@'):
-                found_sentinel = True
-        return final_lines.join('\n')
-    return err and err.stack
-
-def format_exception(exc, limit):
-    if jstype(exc) is 'undefined':
-        exc = ρσ_last_exception
-    if not isinstance(exc, Error):
-        if exc and exc.toString:
-            return [exc.toString()]
-        return []
-    tb = _get_internal_traceback(exc)
-    if tb:
-        lines = ρσ_str.splitlines(tb)
-        e = lines[0]
-        lines = lines[1:]
-        if limit:
-            lines = lines[:limit+1] if limit > 0 else lines[limit:]
-        lines.reverse()
-        lines.push(e)
-        lines.insert(0, 'Traceback (most recent call last):')
-        return [l+'\n' for l in lines]
-    return [exc.toString()]
-
-def format_exc(limit):
-    return format_exception(ρσ_last_exception, limit).join('')
-
-def print_exc(limit):
-    print(format_exc(limit))
-
-def format_stack(limit):
-    stack = Error().stack
-    if not stack:
-        return []
-    lines = str.splitlines(stack)[2:]
-    lines.reverse()
-    if limit:
-        lines = lines[:limit+1] if limit > 0 else lines[limit:]
-    return [l + '\n' for l in lines]
-
-def print_stack(limit):
-    print(format_stack(limit).join(''))
+# vim:fileencoding=utf-8
+# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
+# globals: ρσ_str, ρσ_last_exception
+
+
+def _get_internal_traceback(err):
+    if isinstance(err, Exception) and err.stack:
+        lines = ρσ_str.splitlines(err.stack)
+        final_lines = v'[]'
+        found_sentinel = False
+        for i, line in enumerate(lines):
+            sline = ρσ_str.strip(line)
+            if i is 0:
+                final_lines.push(line)
+                continue
+            if found_sentinel:
+                final_lines.push(line)
+                continue
+            # These two conditions work on desktop Chrome and Firefox to identify the correct
+            # line in the traceback.
+            if sline.startsWith('at new ' + err.name) or sline.startsWith(err.name + '@'):
+                found_sentinel = True
+        return final_lines.join('\n')
+    return err and err.stack
+
+def format_exception(exc, limit):
+    if jstype(exc) is 'undefined':
+        exc = ρσ_last_exception
+    if not isinstance(exc, Error):
+        if exc and exc.toString:
+            return [exc.toString()]
+        return []
+    tb = _get_internal_traceback(exc)
+    if tb:
+        lines = ρσ_str.splitlines(tb)
+        e = lines[0]
+        lines = lines[1:]
+        if limit:
+            lines = lines[:limit+1] if limit > 0 else lines[limit:]
+        lines.reverse()
+        lines.push(e)
+        lines.insert(0, 'Traceback (most recent call last):')
+        return [l+'\n' for l in lines]
+    return [exc.toString()]
+
+def format_exc(limit):
+    return format_exception(ρσ_last_exception, limit).join('')
+
+def print_exc(limit):
+    print(format_exc(limit))
+
+def format_stack(limit):
+    stack = Error().stack
+    if not stack:
+        return []
+    lines = str.splitlines(stack)[2:]
+    lines.reverse()
+    if limit:
+        lines = lines[:limit+1] if limit > 0 else lines[limit:]
+    return [l + '\n' for l in lines]
+
+def print_stack(limit):
+    print(format_stack(limit).join(''))

package/src/lib/uuid.pyj

@@ -1,77 +1,77 @@
-# vim:fileencoding=utf-8
-# License: BSD Copyright: 2017, Kovid Goyal <kovid at kovidgoyal.net>
-# globals: crypto
-from __python__ import hash_literals
-
-from encodings import hexlify, urlsafe_b64decode, urlsafe_b64encode
-
-RFC_4122 = 1
-
-if jstype(crypto) is 'object' and crypto.getRandomValues:
-    random_bytes = def (num):
-        ans = Uint8Array(num or 16)
-        crypto.getRandomValues(ans)
-        return ans
-else:
-    random_bytes = def (num):
-        ans = Uint8Array(num or 16)
-        for i in range(ans.length):
-            ans[i] = Math.floor(Math.random() * 256)
-        return ans
-
-
-def uuid4_bytes():
-    data = random_bytes()
-    data[6] = 0b01000000 | (data[6] & 0b1111)
-    data[8] = (((data[8] >> 4) & 0b11 | 0b1000) << 4) | (data[8] & 0b1111)
-    return data
-
-
-def as_str():
-    h = this.hex
-    return h[:8] + '-' + h[8:12] + '-' + h[12:16] + '-' + h[16:20] + '-' + h[20:]
-
-
-def uuid4():
-    b = uuid4_bytes()
-    return {
-        'hex': hexlify(b),
-        'bytes': b,
-        'variant': RFC_4122,
-        'version': 4,
-        '__str__': as_str,
-        'toString': as_str,
-    }
-
-
-def num_to_string(numbers, alphabet, pad_to_length):
-    ans = v'[]'
-    alphabet_len = alphabet.length
-    numbers = Array.prototype.slice.call(numbers)
-    for v'var i = 0; i < numbers.length - 1; i++':
-        x = divmod(numbers[i], alphabet_len)
-        numbers[i] = x[0]
-        numbers[i+1] += x[1]
-    for v'var i = 0; i < numbers.length; i++':
-        number = numbers[i]
-        while number:
-            x = divmod(number, alphabet_len)
-            number = x[0]
-            ans.push(alphabet[x[1]])
-    if pad_to_length and pad_to_length > ans.length:
-        ans.push(alphabet[0].repeat(pad_to_length - ans.length))
-    return ans.join('')
-
-
-def short_uuid():
-    # A totally random uuid encoded using only URL and filename safe characters
-    return urlsafe_b64encode(random_bytes(), '')
-
-
-def short_uuid4():
-    # A uuid4 encoded using only URL and filename safe characters
-    return urlsafe_b64encode(uuid4_bytes(), '')
-
-
-def decode_short_uuid(val):
-    return urlsafe_b64decode(val + '==')
+# vim:fileencoding=utf-8
+# License: BSD Copyright: 2017, Kovid Goyal <kovid at kovidgoyal.net>
+# globals: crypto
+from __python__ import hash_literals
+
+from encodings import hexlify, urlsafe_b64decode, urlsafe_b64encode
+
+RFC_4122 = 1
+
+if jstype(crypto) is 'object' and crypto.getRandomValues:
+    random_bytes = def (num):
+        ans = Uint8Array(num or 16)
+        crypto.getRandomValues(ans)
+        return ans
+else:
+    random_bytes = def (num):
+        ans = Uint8Array(num or 16)
+        for i in range(ans.length):
+            ans[i] = Math.floor(Math.random() * 256)
+        return ans
+
+
+def uuid4_bytes():
+    data = random_bytes()
+    data[6] = 0b01000000 | (data[6] & 0b1111)
+    data[8] = (((data[8] >> 4) & 0b11 | 0b1000) << 4) | (data[8] & 0b1111)
+    return data
+
+
+def as_str():
+    h = this.hex
+    return h[:8] + '-' + h[8:12] + '-' + h[12:16] + '-' + h[16:20] + '-' + h[20:]
+
+
+def uuid4():
+    b = uuid4_bytes()
+    return {
+        'hex': hexlify(b),
+        'bytes': b,
+        'variant': RFC_4122,
+        'version': 4,
+        '__str__': as_str,
+        'toString': as_str,
+    }
+
+
+def num_to_string(numbers, alphabet, pad_to_length):
+    ans = v'[]'
+    alphabet_len = alphabet.length
+    numbers = Array.prototype.slice.call(numbers)
+    for v'var i = 0; i < numbers.length - 1; i++':
+        x = divmod(numbers[i], alphabet_len)
+        numbers[i] = x[0]
+        numbers[i+1] += x[1]
+    for v'var i = 0; i < numbers.length; i++':
+        number = numbers[i]
+        while number:
+            x = divmod(number, alphabet_len)
+            number = x[0]
+            ans.push(alphabet[x[1]])
+    if pad_to_length and pad_to_length > ans.length:
+        ans.push(alphabet[0].repeat(pad_to_length - ans.length))
+    return ans.join('')
+
+
+def short_uuid():
+    # A totally random uuid encoded using only URL and filename safe characters
+    return urlsafe_b64encode(random_bytes(), '')
+
+
+def short_uuid4():
+    # A uuid4 encoded using only URL and filename safe characters
+    return urlsafe_b64encode(uuid4_bytes(), '')
+
+
+def decode_short_uuid(val):
+    return urlsafe_b64decode(val + '==')

package/src/monaco-language-service/builtins.js

@@ -169,6 +169,11 @@ const STUBS = [
         return_type: 'list',
         doc: 'Create a list from an iterable, or an empty list.' }),
 
+    new BuiltinInfo({ name: 'next',
+        params: [p('iterator'), p('default', { optional: true })],
+        return_type: 'any',
+        doc: 'Retrieve the next item from an iterator. If the iterator is exhausted, return default; if default is not given, raise StopIteration.' }),
+
     new BuiltinInfo({ name: 'map',
         params: [p('function'), p('iterable'), p('*iterables', { rest: true })],
         return_type: 'iterable',

package/src/monaco-language-service/diagnostics.js

@@ -22,6 +22,20 @@ const MESSAGES = {
     'dup-method':     'The method "{name}" was defined previously at line: {line}',
 };
 
+// Built-in stdlib modules that are always available in RapydScript (bundled
+// with the compiler from src/lib/).  These should never produce 'Unknown module'
+// errors regardless of what virtualFiles or stdlibFiles are configured.
+export const STDLIB_MODULES = [
+    'aes', 'collections', 'copy', 'elementmaker', 'encodings', 'functools',
+    'gettext', 'itertools', 'math', 'numpy', 'operator', 'pythonize',
+    'random', 're', 'react', 'traceback', 'uuid',
+    // Pseudo-modules for language feature flags (from __python__ import ...)
+    '__python__', '__builtins__',
+];
+
+const _STDLIB_MODULE_SET = Object.create(null);
+STDLIB_MODULES.forEach(m => { _STDLIB_MODULE_SET[m] = true; });
+
 // Symbols always available in RapydScript (from tools/lint.js BUILTINS list).
 export const BASE_BUILTINS = (
     'this self window document chr ord iterator_symbol print len range dir' +
@@ -30,11 +44,11 @@ export const BASE_BUILTINS = (
     ' isNaN JSON Math list set list_wrap ρσ_modules require bool int bin' +
     ' float iter Error EvalError set_wrap frozenset RangeError ReferenceError SyntaxError' +
     ' str TypeError URIError Exception AssertionError IndexError AttributeError KeyError' +
-    ' ValueError ZeroDivisionError map hex filter zip dict dict_wrap UnicodeDecodeError HTMLCollection' +
+    ' ValueError ZeroDivisionError ImportError ModuleNotFoundError StopIteration map hex filter zip dict dict_wrap UnicodeDecodeError HTMLCollection' +
     ' NodeList alert console Node Symbol NamedNodeMap ρσ_eslice ρσ_delslice Number' +
     ' Boolean encodeURIComponent decodeURIComponent setTimeout setInterval' +
     ' setImmediate clearTimeout clearInterval clearImmediate requestAnimationFrame' +
-    ' id repr sorted __name__ equals get_module ρσ_str jstype divmod NaN super Ellipsis slice'
+    ' id repr sorted __name__ equals get_module ρσ_str jstype divmod NaN super Ellipsis slice all any next __import__ ρσ_new ρσ_object_new hash ρσ_object_setattr ρσ_object_getattr ρσ_object_delattr ExceptionGroup BaseExceptionGroup tuple'
 ).split(' ');
 
 // ---------------------------------------------------------------------------
@@ -384,7 +398,13 @@ function Linter(RS, toplevel, code, builtins, knownModules) {
     };
 
     this.handle_symbol_funarg = function() {
-        this.add_binding(this.current_node.name);
+        const node = this.current_node;
+        this.add_binding(node.name);
+        // Suppress undefined-symbol errors for type names used in argument
+        // annotations: `def foo(x: MyType):` — MyType is a hint, not a ref.
+        if (node.annotation instanceof RS.AST_SymbolRef) {
+            node.annotation.lint_visited = true;
+        }
     };
 
     this.handle_comprehension = function() {
@@ -681,6 +701,8 @@ export class Diagnostics {
         const sf = options.stdlibFiles;
         if ((vf && Object.keys(vf).length > 0) || (sf && Object.keys(sf).length > 0)) {
             knownModules = Object.create(null);
+            // Always include built-in stdlib so they never produce bad-import errors.
+            Object.assign(knownModules, _STDLIB_MODULE_SET);
             if (vf) Object.keys(vf).forEach(k => { knownModules[k] = true; });
             if (sf) Object.keys(sf).forEach(k => { knownModules[k] = true; });
         }