0xMiden/air-script

Treatment of duplicate integrity constraints

Aperta

#275 aperta il 26 apr 2023

 (4 commenti) (0 reazioni) (0 assegnatari)Rust (37 fork)github user discovery
good first issue

Metriche repository

Star
 (96 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

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