From d72d7e7838c8ab054779030b4777ef0fd73b2324 Mon Sep 17 00:00:00 2001 From: Georg Wiese Date: Sat, 16 Nov 2024 13:07:54 +0100 Subject: [PATCH] Remove `std::well_known::one` (#2101) A latch can be any expression, including `1`, which is so well known, it's even a built-in. --- std/machines/small_field/binary.asm | 2 +- std/well_known.asm | 5 +---- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/std/machines/small_field/binary.asm b/std/machines/small_field/binary.asm index 76a10455d9..2ad755091f 100644 --- a/std/machines/small_field/binary.asm +++ b/std/machines/small_field/binary.asm @@ -21,7 +21,7 @@ machine Binary8(byte_binary: ByteBinary) with let operation_id; - let latch: col = std::well_known::one; + let latch = 1; let A1; let A2; diff --git a/std/well_known.asm b/std/well_known.asm index 791333ad00..99e74bd0ab 100644 --- a/std/well_known.asm +++ b/std/well_known.asm @@ -1,6 +1,3 @@ /// Evaluates to 1 on the first row and 0 on all other rows. /// Useful to define a fixed column of that property. -let is_first: int -> int = |i| if i == 0 { 1 } else { 0 }; - -/// The constant one. -let one: int -> int = |i| 1; \ No newline at end of file +let is_first: int -> int = |i| if i == 0 { 1 } else { 0 }; \ No newline at end of file