mt-lang 0.3.27 → 0.3.28

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 802d8ba551d2f4712c3dc174ade901063ef797baf33a87ad8a2b902db2916b24
-  data.tar.gz: 322d7781ae7fcbf67108bf260b63caf8889facf0382c3d7e248e124868a0bbd0
+  metadata.gz: 20058db447f681f83bcc651d9a9772e79b23bd9f1677e5c33d2053bab536a14f
+  data.tar.gz: 204af7f1018ce7637690eddc2bc9a7f297fc1f10e59c1a573491bd3b7c0b0d1c
 SHA512:
-  metadata.gz: afd649faf27c7327ab60c9050c56eb66416fd022fbb11a2d8b8f16438a021732fdec0a65e76a16649f6b35ec7c070d2e0873b56a02ff0d8aa8c1505ffb72d685
-  data.tar.gz: eee26037932660079c5b1352eac96ef923766930c42d611895206c66276ef31a313213cc3b104046f4ff0048af7035bb77a2aa4cf270c79a08aa0e203e31bb85
+  metadata.gz: ec63256de42954560cedc8e5021370b8f45a64e083ebb839d3057d4ea93816a51d45f950283ece162152ad10be6f1bb6ec4aa54a6ad8ce7b2db107830dd1db6a
+  data.tar.gz: 616bc238b0ee79df60a7a09fc62b895b1ab7717a1116a6b96c50879549578ba0aab91fbb9a74e40aedfc559973c333a8bc2c2cc40d3d16b6913584a744230819

data/README.md

@@ -249,6 +249,10 @@ struct Vec2:
     x: float
     y: float
 
+    # Methods may also be defined directly inside the struct body:
+    function length_sq() -> float:
+        return this.x * this.x + this.y * this.y
+
 @[packed]
 struct Header:
     tag: ubyte
@@ -310,6 +314,7 @@ variant Token:
 Rules:
 
 - `struct` and `opaque` may declare nominal interface conformance with `implements`.
+- `struct` bodies may contain `function`, `editable function`, and `static function` declarations directly — they desugar to `extending` blocks targeting the enclosing struct. This is pure syntactic sugar; the compiler emits identical code as a separate `extending` block.
 - `attribute[target, ...]` declares reusable declaration attributes for `struct`, `field`, `callable`, `const`, `event`, `enum`, `flags`, `union`, and `variant` targets.
 - Attributes are applied with one or more leading `@[name(...)]` blocks. Built-in `packed`, `align(bytes)`, and `deprecated(message)` are predefined attributes.
 - `variant` arms may carry named payload fields.
@@ -358,11 +363,31 @@ Method kinds:
 - `editable function` -> editable receiver
 - `static function` -> no receiver
 
+Methods may appear inside a struct body (desugared to an `extending` block) or in a separate
+`extending` declaration:
+
+```mt
+struct Counter:
+    value: int
+
+    function read() -> int:
+        return this.value
+
+    editable function bump() -> void:
+        this.value += 1
+
+    static function zero() -> Counter:
+        return Counter(value = 0)
+```
+
+Both inline and `extending` forms lower to identical C code.
+
 Method notes:
 
 - Async methods are supported.
 - Generic methods are supported.
 - There is no constructor keyword. Names like `init` and `default` are ordinary static methods.
+- Methods may be defined inside struct bodies directly (as syntactic sugar for `extending`) or in separate `extending` blocks. Both forms lower to the same C code; the inline form is preferred when the struct and its core methods appear in the same file.
 
 ## 7. Functions, Externals, And Foreign Functions
 

data/docs/language-manual.md

@@ -300,7 +300,25 @@ Callable and `ref[...]` rules:
 struct Vec2:
     x: float
     y: float
+```
+
+`struct` bodies may also contain `function`, `editable function`, and `static function` declarations directly — they desugar to `extending` blocks targeting the enclosing struct. This is pure syntactic sugar and produces identical C code. See §3.6 for the method kind rules.
+
+```mt
+struct Counter:
+    value: int
+
+    function read() -> int:
+        return this.value
+
+    editable function bump() -> void:
+        this.value += 1
+
+    static function zero() -> Counter:
+        return Counter(value = 0)
+```
 
+```mt
 union Number:
     i: int
     f: float
@@ -417,7 +435,25 @@ Rules:
 
 ### 3.6 Methods
 
+Methods may appear directly inside a struct body (desugared to an `extending` block) or in a separate `extending` declaration. Both forms lower to identical C code.
+
+```mt
+# Inline form (sugar)
+struct Counter:
+    value: int
+
+    function read() -> int:
+        return this.value
+
+    editable function bump() -> void:
+        this.value += 1
+
+    static function zero() -> Counter:
+        return Counter(value = 0)
+```
+
 ```mt
+# Equivalent extending form
 extending Counter:
     function read() -> int:
         return this.value