From 2385bf01db4f8895804b5a699c105cd6dfab0d86 Mon Sep 17 00:00:00 2001 From: O6lvl4 Date: Wed, 30 Sep 2026 16:45:10 +0900 Subject: [PATCH] Format the two Float32 fixtures to almide fmt's canonical shape (^ for the power, T? for the option) Co-Authored-By: Claude Opus 5.5 (1M context) --- spec/wasm_cross/float32_arithmetic_rounds.almd | 4 ++-- spec/wasm_cross/float32_display_shortest.almd | 6 ++---- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/spec/wasm_cross/float32_arithmetic_rounds.almd b/spec/wasm_cross/float32_arithmetic_rounds.almd index b5a7494f..7dd12081 100644 --- a/spec/wasm_cross/float32_arithmetic_rounds.almd +++ b/spec/wasm_cross/float32_arithmetic_rounds.almd @@ -24,8 +24,8 @@ effect fn main() -> Unit = { widened("2^24+1", big + one) widened("10%3.3", (three * three + one) % (three + three * tenth)) widened("-(1/3)", -(one / three)) - widened("(1/3)**1.7", (one / three) ** (one + three * float.to_float32(0.23333333))) - widened("3**0.5", three ** (one / (one + one))) + widened("(1/3)**1.7", (one / three) ^ (one + three * float.to_float32(0.23333333))) + widened("3**0.5", three ^ (one / (one + one))) widened("0.1f32", tenth) widened("int 2^24+1", int.to_float32(16777217)) var s: Float32 = 0.0 diff --git a/spec/wasm_cross/float32_display_shortest.almd b/spec/wasm_cross/float32_display_shortest.almd index bfcc3b2e..aab0a4ba 100644 --- a/spec/wasm_cross/float32_display_shortest.almd +++ b/spec/wasm_cross/float32_display_shortest.almd @@ -8,9 +8,7 @@ // 0.00024414063). type P = { x: Float32, n: Int } -type Shape = - | Dot(Float32) - | Pair(Float32, Float32) +type Shape = | Dot(Float32) | Pair(Float32, Float32) fn show(label: String, x: Float32) -> Unit = { println("${label}: ${x} | ${float32.to_string(x)}") @@ -41,7 +39,7 @@ effect fn main() -> Unit = { let xs: List[Float32] = [tenth, one + one, one / three] println("${xs}") println("${P { x: tenth, n: 1 }}") - let o: Option[Float32] = some(tenth) + let o: Float32? = some(tenth) println("${o}") println("${(tenth, one + one)}") println("${Dot(tenth)} ${Pair(one / three, one + one)}")