0xMiden/air-script

Treatment of duplicate integrity constraints

Open

#275 aperta il 26 apr 2023

Vedi su GitHub
 (3 commenti) (0 reazioni) (0 assegnatari)Rust (37 fork)github user discovery
good first issue

Metriche repository

Star
 (96 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

Currently we don't throw an error if a user defines duplicate constraints, we transpile them into two equivalent constraints. We could do one of the following:

  1. Generate only one constraint in this case and ignore duplicates.
  2. Throw an error since this is most likely unintended.
  3. Throw a warning (in future) but still generate one constraint.

Guida contributor