fix: update legacy examples

Author: peter-jerry-ye

legacy/examples/bytes-buffer/lib/buffer.mbt

@@ -24,7 +24,7 @@ pub fn Buffer::new(size : Int) -> Buffer {
 }
 
 ///|
-pub fn op_get(self : Buffer, i : Int) -> Byte? {
+pub fn Buffer::op_get(self : Buffer, i : Int) -> Byte? {
   if i < self.data.length() {
     Some(self.data[i])
   } else {
@@ -33,17 +33,17 @@ pub fn op_get(self : Buffer, i : Int) -> Byte? {
 }
 
 ///|
-pub fn capacity(self : Buffer) -> Int {
+pub fn Buffer::capacity(self : Buffer) -> Int {
   self.data.length()
 }
 
 ///|
-pub fn length(self : Buffer) -> Int {
+pub fn Buffer::length(self : Buffer) -> Int {
   self.len
 }
 
 ///|
-fn expand_size(self : Buffer) -> Unit {
+fn Buffer::expand_size(self : Buffer) -> Unit {
   let new_capacity = if self.data.length() != 0 {
     self.data.length() * 2
   } else {
@@ -59,7 +59,7 @@ fn expand_size(self : Buffer) -> Unit {
 }
 
 ///|
-pub fn append_int(self : Buffer, value : Int) -> Unit {
+pub fn Buffer::append_int(self : Buffer, value : Int) -> Unit {
   if self.len + 4 >= self.data.length() {
     self.expand_size()
   }
@@ -72,7 +72,7 @@ pub fn append_int(self : Buffer, value : Int) -> Unit {
 }
 
 ///|
-pub fn truncate(self : Buffer, another : Buffer) -> Unit {
+pub fn Buffer::truncate(self : Buffer, another : Buffer) -> Unit {
   let mut index = 0
   while index < another.len {
     if self.len >= self.data.length() {
@@ -85,7 +85,7 @@ pub fn truncate(self : Buffer, another : Buffer) -> Unit {
 }
 
 ///|
-pub fn clear(self : Buffer) -> Unit {
+pub fn Buffer::clear(self : Buffer) -> Unit {
   let mut index = 0
   while index < self.len {
     self.data[index] = b'\x00'
@@ -95,12 +95,12 @@ pub fn clear(self : Buffer) -> Unit {
 }
 
 ///|
-pub fn reset(self : Buffer, capacity : Int) -> Unit {
+pub fn Buffer::reset(self : Buffer, capacity : Int) -> Unit {
   self.len = 0
   self.data = FixedArray::make(capacity, b'\x00')
 }
 
 ///|
-pub fn to_bytes(self : Buffer) -> Bytes {
-  self.data |> Bytes::from_fixedarray
+pub fn Buffer::to_bytes(self : Buffer) -> Bytes {
+  self.data[:self.len] |> Bytes::from_array
 }

legacy/examples/bytes-buffer/lib/buffer_test.mbt

@@ -18,11 +18,13 @@ test {
   buf.append_int(256)
   buf.append_int(255)
   let content = buf.to_bytes()
-  inspect(content[:].to_int_be(), content="256")
-  inspect(content[4:].to_int_be(), content="255")
+  guard content is [i32_be(a), i32_be(b)]
+  inspect(a, content="256")
+  inspect(b, content="255")
   let buf1 = @lib.Buffer::new(4)
   buf1.append_int(257)
   buf.truncate(buf1)
   let content = buf.to_bytes()
-  inspect(content[8:].to_int_be(), content="257")
+  guard content[8:] is [i32_be(c)]
+  inspect(c, content="257")
 }

legacy/examples/game_of_life/lib/draw.mbt

@@ -17,25 +17,31 @@
 type Canvas_ctx
 
 ///|
-fn set_stroke_color(self : Canvas_ctx, color : Int) = "canvas" "set_stroke_color"
+fn Canvas_ctx::set_stroke_color(self : Canvas_ctx, color : Int) = "canvas" "set_stroke_color"
 
 ///|
-fn move_to(self : Canvas_ctx, x : Int, y : Int) = "canvas" "move_to"
+fn Canvas_ctx::move_to(self : Canvas_ctx, x : Int, y : Int) = "canvas" "move_to"
 
 ///|
-fn line_to(self : Canvas_ctx, x : Int, y : Int) = "canvas" "line_to"
+fn Canvas_ctx::line_to(self : Canvas_ctx, x : Int, y : Int) = "canvas" "line_to"
 
 ///|
-fn begin_path(self : Canvas_ctx) = "canvas" "begin_path"
+fn Canvas_ctx::begin_path(self : Canvas_ctx) = "canvas" "begin_path"
 
 ///|
-fn stroke(self : Canvas_ctx) = "canvas" "stroke"
+fn Canvas_ctx::stroke(self : Canvas_ctx) = "canvas" "stroke"
 
 ///|
-fn fill_rect(self : Canvas_ctx, x : Int, y : Int, width : Int, height : Int) = "canvas" "fill_rect"
+fn Canvas_ctx::fill_rect(
+  self : Canvas_ctx,
+  x : Int,
+  y : Int,
+  width : Int,
+  height : Int,
+) = "canvas" "fill_rect"
 
 ///|
-fn set_fill_style(self : Canvas_ctx, color : Int) = "canvas" "set_fill_style"
+fn Canvas_ctx::set_fill_style(self : Canvas_ctx, color : Int) = "canvas" "set_fill_style"
 
 ///|
 let cell_size = 5

legacy/examples/game_of_life/lib/game_of_life.mbt

@@ -12,25 +12,29 @@
 //  See the License for the specific language governing permissions and
 //  limitations under the License.
 
+///|
 enum Cell {
   Dead
   Alive
 }
 
+///|
 struct Universe {
   width : Int
   height : Int
   mut cells : Array[Cell]
 }
 
-fn get_index(self : Universe, row : Int, column : Int) -> Int {
+///|
+fn Universe::get_index(self : Universe, row : Int, column : Int) -> Int {
   if row * self.width + column < self.width * self.height {
     row * self.width + column
   } else {
     0
   }
 }
 
+///|
 pub fn new() -> Universe {
   let width = 64
   let height = 64
@@ -47,26 +51,35 @@ pub fn new() -> Universe {
   { width, height, cells }
 }
 
-pub fn get_width(self : Universe) -> Int {
+///|
+pub fn Universe::get_width(self : Universe) -> Int {
   self.width
 }
 
-pub fn get_height(self : Universe) -> Int {
+///|
+pub fn Universe::get_height(self : Universe) -> Int {
   self.height
 }
 
-pub fn get_cells(self : Universe) -> Array[Cell] {
+///|
+pub fn Universe::get_cells(self : Universe) -> Array[Cell] {
   self.cells
 }
 
-pub fn get_cell(self : Universe, idx : Int) -> Int {
+///|
+pub fn Universe::get_cell(self : Universe, idx : Int) -> Int {
   match self.cells[idx] {
     Alive => 1
     Dead => 0
   }
 }
 
-fn live_neighbor_count(self : Universe, row : Int, column : Int) -> Int {
+///|
+fn Universe::live_neighbor_count(
+  self : Universe,
+  row : Int,
+  column : Int,
+) -> Int {
   let mut count = 0
   let delta_rows = [self.height - 1, 0, 1]
   let delta_cols = [self.width - 1, 0, 1]
@@ -89,7 +102,8 @@ fn live_neighbor_count(self : Universe, row : Int, column : Int) -> Int {
   count
 }
 
-pub fn tick(self : Universe) -> Unit {
+///|
+pub fn Universe::tick(self : Universe) -> Unit {
   let next : Array[Cell] = Array::make(self.width * self.height, Dead)
   let mut r = 0
   while r < self.height {
@@ -118,7 +132,8 @@ pub fn tick(self : Universe) -> Unit {
   self.cells = next
 }
 
-pub fn to_string(self : Universe) -> String {
+///|
+pub fn Universe::to_string(self : Universe) -> String {
   let mut r = 0
   let mut cells = ""
   while r < self.height {

legacy/examples/koch_snowflake/lib/koch.mbt

@@ -12,28 +12,50 @@
 //  See the License for the specific language governing permissions and
 //  limitations under the License.
 
+///|
 #external
 type Canvas_ctx
 
-fn begin_path(self : Canvas_ctx) = "canvas" "begin_path"
+///|
+fn Canvas_ctx::begin_path(self : Canvas_ctx) = "canvas" "begin_path"
 
-fn clear_rect(self : Canvas_ctx, x : Double, y : Double, w : Double,
-        h : Double) = "canvas" "clear_rect"
+///|
+fn Canvas_ctx::clear_rect(
+  self : Canvas_ctx,
+  x : Double,
+  y : Double,
+  w : Double,
+  h : Double,
+) = "canvas" "clear_rect"
 
-fn move_to(self : Canvas_ctx, x : Double, y : Double) = "canvas" "move_to"
+///|
+fn Canvas_ctx::move_to(self : Canvas_ctx, x : Double, y : Double) = "canvas" "move_to"
 
-fn line_to(self : Canvas_ctx, x : Double, y : Double) = "canvas" "line_to"
+///|
+fn Canvas_ctx::line_to(self : Canvas_ctx, x : Double, y : Double) = "canvas" "line_to"
 
-fn stroke(self : Canvas_ctx) = "canvas" "stroke"
+///|
+fn Canvas_ctx::stroke(self : Canvas_ctx) = "canvas" "stroke"
 
+///|
 fn sqrt(x : Double) -> Double = "canvas" "sqrt"
 
+///|
 fn cos(x : Double) -> Double = "canvas" "cos"
 
+///|
 fn get_pi() -> Double = "canvas" "get_pi"
 
-fn koch(ctx : Canvas_ctx, x1 : Double, y1 : Double, x2 : Double,
-        y2 : Double, n : Double, m : Double) -> Unit {
+///|
+fn koch(
+  ctx : Canvas_ctx,
+  x1 : Double,
+  y1 : Double,
+  x2 : Double,
+  y2 : Double,
+  n : Double,
+  m : Double,
+) -> Unit {
   ctx.clear_rect(0.0, 0.0, 400.0, 400.0)
   let x3 = (x2 - x1) / 3.0 + x1
   let y3 = (y2 - y1) / 3.0 + y1
@@ -57,11 +79,11 @@ fn koch(ctx : Canvas_ctx, x1 : Double, y1 : Double, x2 : Double,
   koch(ctx, x4, y4, x2, y2, n, m)
 }
 
+///|
 pub fn draw(ctx : Canvas_ctx, deep : Double) -> Unit {
   ctx.begin_path()
   let y = 80.0 + cos(get_pi() / 6.0) * 200.0
   koch(ctx, 150.0, y, 250.0, 80.0, 0.0, deep)
   koch(ctx, 250.0, 80.0, 50.0, 80.0, 0.0, deep)
   koch(ctx, 50.0, 80.0, 150.0, y, 0.0, deep)
 }
-

legacy/examples/path/lib/path.mbt

@@ -39,7 +39,7 @@ pub fn Path::new(s : String, platform : Platform, file_type : FileType) -> Path
 }
 
 ///|
-pub fn parent(self : Path) -> String {
+pub fn Path::parent(self : Path) -> String {
   match self.platform {
     Posix => {
       let parts = self.inner.split("/").collect()
@@ -77,37 +77,37 @@ pub fn parent(self : Path) -> String {
 }
 
 ///|
-pub fn is_absolute(self : Path) -> Bool {
+pub fn Path::is_absolute(self : Path) -> Bool {
   self.has_root()
 }
 
 ///|
-pub fn is_relative(self : Path) -> Bool {
+pub fn Path::is_relative(self : Path) -> Bool {
   not(self.has_root())
 }
 
 ///|
-pub fn has_root(self : Path) -> Bool {
+pub fn Path::has_root(self : Path) -> Bool {
   match self.platform {
     Posix => self.inner is ['/', ..]
     Windows => self.inner is ['a'..='z' | 'A'..='Z', ':', ..]
   }
 }
 
 ///|
-pub fn file_name(self : Path) -> String? {
+pub fn Path::file_name(self : Path) -> String? {
   match self.file_type {
     FileType::File =>
       match self.platform {
-        Posix => self.inner.split("/").last().map(@string.View::to_string)
-        Windows => self.inner.split("\\").last().map(@string.View::to_string)
+        Posix => self.inner.split("/").last().map(StringView::to_string)
+        Windows => self.inner.split("\\").last().map(StringView::to_string)
       }
     _ => None
   }
 }
 
 ///|
-pub fn append(self : Path, p : String) -> Unit {
+pub fn Path::append(self : Path, p : String) -> Unit {
   match self.platform {
     Posix => {
       if self.inner[self.inner.length() - 1] != '/' {

legacy/examples/snake/extern/moon.pkg.json

@@ -1 +1,7 @@
-{}
+{
+    "targets": {
+        "string.js.mbt": ["js"],
+        "string.wasm-gc.mbt": ["wasm-gc"],
+        "string.wasm.mbt": ["wasm"]
+    }
+}

legacy/examples/snake/extern/string.js.mbt

@@ -1,3 +1,5 @@
+///|
+#external
 //  Copyright 2024 International Digital Economy Academy
 // 
 //  Licensed under the Apache License, Version 2.0 (the "License");
@@ -12,8 +14,10 @@
 //  See the License for the specific language governing permissions and
 //  limitations under the License.
 
-pub extern type JsString
+pub type JsString
 
+///|
 pub fn JsString::from_string(str : String) -> JsString = "%identity"
 
+///|
 pub fn JsString::to_string(str : JsString) -> String = "%identity"

legacy/examples/snake/extern/string.wasm-gc.mbt

@@ -20,7 +20,7 @@ priv type JsArray
 fn JsArray::new() -> JsArray = "array" "new"
 
 ///|
-fn push(self : JsArray, charCode : Int) = "array" "push"
+fn JsArray::push(self : JsArray, charCode : Int) = "array" "push"
 
 ///|
 #external
@@ -30,7 +30,7 @@ pub(all) type JsString
 fn JsString::from_code_point(charCode : JsArray) -> JsString = "string" "fromCodePoint"
 
 ///|
-fn iter(self : JsString, f : (Int) -> Unit) -> Unit = "string" "iter"
+fn JsString::iter(self : JsString, f : (Int) -> Unit) -> Unit = "string" "iter"
 
 ///|
 pub fn JsString::from_string(str : String) -> JsString {