Update GH Pages site, add .jekyllignore, clean up tracebacks

python-processing-unit · python-processing-unit · commit 6daced53b47b · 2025-12-18T00:55:23.000-05:00
diff --git a/.jekyllignore b/.jekyllignore
@@ -0,0 +1,10 @@
+# Ignore everything by default
+*
+
+# Keep this ignore file itself and the attached files only
+!.jekyllignore
+!404.html
+!index.html
+!CONTRIBUTING.html
+!SPECIFICATION.html
+!UNLICENSE.html
diff --git a/404.html b/404.html
@@ -0,0 +1,39 @@
+<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8" />
+  <meta name="viewport" content="width=device-width,initial-scale=1" />
+  <title>Page Not Found</title>
+  <link rel="icon" href="./icon.png" />
+  <style>
+    @import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;700&display=swap');
+    @import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@400;700&display=swap');
+    body{background:#222;color:#99ddff;font-family:Open Sans, sans-serif;margin:0;padding:1rem}
+    .container{max-width:1000px;margin:0 auto;text-align:justify;text-justify:inter-word}
+    .container { text-align:center; margin-top:0; }
+    pre, code{background:#3c3c3c;color:inherit;font-family:Source Code Pro, monospace;padding:.25rem .5rem}
+    img{max-width:100%}
+    .notice{text-align:center;margin-top:2rem}
+  </style>
+</head>
+<body>
+  <div class="container" id="content">Rendering page…</div>
+
+  <!-- Markdown source is embedded below. marked.js will render it into #content. -->
+  <script id="md" type="text/markdown">
+# 404
+
+The requested page could not be found.
+
+  </script>
+
+  <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
+  <script>
+    document.addEventListener('DOMContentLoaded', function(){
+      const md = document.getElementById('md').textContent;
+      const rendered = marked.parse(md);
+      document.getElementById('content').innerHTML = rendered;
+    });
+  </script>
+</body>
+</html>
diff --git a/CONTRIBUTING.html b/CONTRIBUTING.html
@@ -4,6 +4,7 @@
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width,initial-scale=1" />
    <title>ASM-Lang Contribution Guide</title>
+   <link rel="icon" href="./icon.png" />
    <style>
     @import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;700&display=swap');
     @import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@400;700&display=swap');
@@ -14,7 +15,7 @@
   </style>
 </head>
 <body>
-  <div class="container" id="content">Rendering specification…</div>
+  <div class="container" id="content">Rendering contribution guide…</div>
 
   <!-- Markdown source is embedded below. marked.js will render it into #content. -->
   <script id="md" type="text/markdown">
diff --git a/SPECIFICATION.html b/SPECIFICATION.html
@@ -3,12 +3,14 @@
 <head>
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width,initial-scale=1" />
-  <title>ASM-Lang SPECIFICATION</title>
+  <title>ASM-Lang Specification</title>
+  <link rel="icon" href="./icon.png" />
   <style>
     @import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;700&display=swap');
     @import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@400;700&display=swap');
     body{background:#222;color:#99ddff;font-family:Open Sans, sans-serif;margin:0;padding:1rem}
     .container{max-width:1000px;margin:0 auto;text-align:justify;text-justify:inter-word}
+    .container h1{ text-align:center; margin-top:0; }
     pre, code{background:#3c3c3c;color:inherit;font-family:Source Code Pro, monospace;padding:.25rem .5rem}
     img{max-width:100%}
   </style>
@@ -24,6 +26,21 @@
   <img alt="ASM-Lang icon" src="./icon.png">
 </p>
 
+## Table of contents
+
+- [1. Overview](#1-overview)
+- [2. Lexical Structure](#2-lexical-structure)
+- [3. Data Model](#3-data-model)
+- [4. Statements and Control Flow](#4-statements-and-control-flow)
+- [5. Functions](#5-functions)
+- [6. Variables and Memory Model](#6-variables-and-memory-model)
+- [7. Execution Model and Semantics](#7-execution-model-and-semantics)
+- [8. Standard Library](#8-standard-library)
+- [9. Tracebacks and Error Reporting](#9-tracebacks-and-error-reporting)
+- [10. Interpreter Use](#10-interpreter-use)
+- [11. REPL (Interactive Mode)](#11-repl-interactive-mode)
+- [12. Operators, Functions, and Statements](#12-operators-functions-and-statements)
+
 This document specifies an imperative programming language with a binary integer data model and an explicit small-step execution semantics. A program is compiled into an initial machine state (a seed configuration) and then executed solely by repeatedly applying a fixed, program-independent state-transition (rewrite) function. All intermediate states are (semi-)human-readable and serializable, and execution can be traced and replayed exactly, including I/O and nondeterministic choices, which are modeled explicitly for deterministic replay.
 
 ## 1. Overview
diff --git a/UNLICENSE.html b/UNLICENSE.html
@@ -4,6 +4,7 @@
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width,initial-scale=1" />
   <title>ASM-Lang (Un)License</title>
+  <link rel="icon" href="./icon.png" />
   <style>
     @import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;700&display=swap');
     @import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@400;700&display=swap');
@@ -14,7 +15,7 @@
   </style>
 </head>
 <body>
-  <div class="container" id="content">Rendering specification…</div>
+  <div class="container" id="content">Rendering Unlicense…</div>
 
   <!-- Markdown source is embedded below. marked.js will render it into #content. -->
   <script id="md" type="text/markdown">
diff --git a/asm-lang.exe b/asm-lang.exe
diff --git a/index.html b/index.html
@@ -4,6 +4,7 @@
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width,initial-scale=1" />
   <title>ASM-Lang</title>
+  <link rel="icon" href="./icon.png" />
   <style>
     @import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@400;700&display=swap');
     @import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@400;700&display=swap');
@@ -15,7 +16,7 @@
   </style>
 </head>
 <body>
-  <div class="container" id="content">Rendering specification…</div>
+  <div class="container" id="content">Rendering index…</div>
 
   <!-- Markdown source is embedded below. marked.js will render it into #content. -->
   <script id="md" type="text/markdown">
diff --git a/interpreter.py b/interpreter.py
@@ -944,9 +944,14 @@ def _import(
         prev_functions = dict(interpreter.functions)
         try:
             interpreter._execute_block(program.statements, module_env)
-        except Exception:
+        except Exception as exc:
+            # Restore interpreter function table on error and convert
+            # unexpected Python exceptions into ASMRuntimeError so they
+            # are reported using the language's traceback machinery.
             interpreter.functions = prev_functions
-            raise
+            if isinstance(exc, ASMRuntimeError):
+                raise
+            raise ASMRuntimeError(f"Import failed: {exc}", location=location, rewrite_rule="IMPORT")
 
         # Collect functions that were added by executing the module
         new_funcs = {n: f for n, f in interpreter.functions.items() if n not in prev_functions}
@@ -1852,6 +1857,17 @@ def run(self) -> None:
             if self.logger.entries:
                 error.step_index = self.logger.entries[-1].step_index
             raise
+        except Exception as exc:
+            # Convert unexpected Python-level exceptions into ASMRuntimeError
+            # so callers (REPL/CLI) can format them using ASM-Lang tracebacks.
+            loc = None
+            if self.logger.entries:
+                last = self.logger.entries[-1]
+                loc = last.source_location
+            wrapped = ASMRuntimeError(f"Internal interpreter error: {exc}", location=loc, rewrite_rule="internal")
+            if self.logger.entries:
+                wrapped.step_index = self.logger.entries[-1].step_index
+            raise wrapped
         else:
             self.call_stack.pop()
 
