From c77fd1b85e93e90abb6789aaa74ac2bb28edc6d8 Mon Sep 17 00:00:00 2001 From: Brummel Date: Sat, 9 May 2026 20:25:51 +0200 Subject: [PATCH] =?UTF-8?q?iter=2022b.3.2:=20fix=20=E2=80=94=20drop=20spec?= =?UTF-8?q?ulative=20Float=20(plan-text=20overreach)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Float is referenced nowhere else in the codebase; the plan-text listed it aspirationally. Restored parity with the four other primitive enumerations across the crate. When Float lands as a real type (post-22b.4 Prelude work, if at all), the arm gets re-added in the same iter that introduces Type::float(). Deferred (not part of this fix): - Shared-constant extraction across the four primitive enumeration sites (linearity.rs:143, lib.rs:1232/2214, mono.rs) — workspace- level cleanup belonging to the milestone-22 audit phase. - pub mod mono vs sibling pub use lift::lift_letrecs style — plan prescribed pub mod for 22b.3 because Tasks 3-7 add multiple pub items reached by integration tests; per-item pub use would proliferate. --- crates/ailang-check/src/mono.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/crates/ailang-check/src/mono.rs b/crates/ailang-check/src/mono.rs index b0c29fd..abaaec0 100644 --- a/crates/ailang-check/src/mono.rs +++ b/crates/ailang-check/src/mono.rs @@ -89,8 +89,8 @@ fn workspace_has_typeclasses(ws: &Workspace) -> bool { } /// Iter 22b.3: deterministic mono-symbol name for a `(method, -/// type)` pair. Primitive types (`Int`, `Bool`, `Str`, `Float`, -/// `Unit`) produce `#` for diagnostic and +/// type)` pair. Primitive types (`Int`, `Bool`, `Str`, `Unit`) +/// produce `#` for diagnostic and /// ABI legibility. All other types — parameterised cons, /// user-defined ADTs, function types — fall to /// `#<8-hex-prefix-of-canonical-type-hash>`. The hash @@ -123,7 +123,6 @@ fn primitive_surface_name(ty: &Type) -> Option<&'static str> { "Int" => Some("Int"), "Bool" => Some("Bool"), "Str" => Some("Str"), - "Float" => Some("Float"), "Unit" => Some("Unit"), _ => None, },