Chapter 25: Modules, Separate Compilation, and SSA Constructionlinear

Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: fuhsnn <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Symious <14933944+symious@users.noreply.github.com>
Co-authored-by: Jun Kawasaki <jun784@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>

1 files changed, 20 insertions, 0 deletions

diff --git a/src/test/java/com/seaofnodes/simple/spill/Chapter23Test-testFRefFields.smp b/src/test/java/com/seaofnodes/simple/spill/Chapter23Test-testFRefFields.smp
new file mode 100644
index 00000000..eac0a542
--- /dev/null
+++ b/src/test/java/com/seaofnodes/simple/spill/Chapter23Test-testFRefFields.smp
@@ -0,0 +1,20 @@
+// A hypothetical scanner class
+struct _Scan {
+    int !x;
+    u8[~] buf;
+    new _Scan={ u8[~] b -> buf=b; };
+    // Skip whitespace
+    val skip = { ->
+        while( buf[x] <= ' ' )
+            x++;
+    };
+    // Peek a character; if matched consume it, else false.
+    val peek = { u8 c ->
+        skip();
+        if( buf[x] != c ) return false;
+        x++;
+        return true;
+    };
+};
+!_Scan !s = new _Scan("  q");
+return s.peek('q');