Skip to content

Commit

Permalink
Remove std::well_known::one (#2101)
Browse files Browse the repository at this point in the history
A latch can be any expression, including `1`, which is so well known,
it's even a built-in.
  • Loading branch information
georgwiese authored Nov 16, 2024
1 parent 2049a35 commit d72d7e7
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 5 deletions.
2 changes: 1 addition & 1 deletion std/machines/small_field/binary.asm
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
5 changes: 1 addition & 4 deletions std/well_known.asm
Original file line number Diff line number Diff line change
@@ -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;
let is_first: int -> int = |i| if i == 0 { 1 } else { 0 };

0 comments on commit d72d7e7

Please sign in to comment.