aggregate_equality.elna « runnable « testsuite - elna - Elna programming language compiles simple mathematical operations to RISC-V code.

about summary refs log tree commit diff

path: root/testsuite/runnable/aggregate_equality.elna

blob: 9cd9ab543f9684bc180a34556701d5fb8d3499cf (plain)

type
  R = record
    a: Int;
    b: Int
  end

proc f(): Bool
return R(1, 2) = R(1, 2)

begin
  assert(f())
end.