constant.similar_exists: Another constant of the same type holds the same value

Another constant of the same type holds the same value.

Area 3, Logic; declinable; the next step is usually the agent's.

A declinable error (area 1, Declining a judgement call): read the constant it names instead, or decline with a reason when the two share a value by coincidence.

example

type HoldbackRate = Decimal {    scale: 4    min: 0.0000    max: 1.0000}type Stock = Int {    min: 0}library stocking {    /// The standard share held back.    constant holdback_rate: HoldbackRate = 0.2000}constant standard_holdback: HoldbackRate = 0.2000function holdback_of(per_pack: Stock) -> Stock {    if (stocking.holdback_rate == standard_holdback) {        return Stock(per_pack / 5)    }    return per_pack}

jadpo checkcheck failed: 1 error, 1 file

error A constant with this value exists: stocking.holdback_rate

--> main.jadpo:16:10

   |16 | constant standard_holdback: HoldbackRate = 0.2000   |          ^^^^^^^^^^^^^^^^^ same as `stocking.holdback_rate`

reason: standard_holdback is a HoldbackRate holding 0.2000, as stocking.holdback_rate in main.jadpo is.
next: Read stocking.holdback_rate instead, and remove standard_holdback, or write decline constant.similar_exists: "<why>" above it if this is deliberate (agent)
rule: constant.similar_exists
help: https://jadpo.dev/docs/errors/constant.similar_exists

Related