0xMiden/air-script

Treatment of duplicate integrity constraints

Open

#275 geöffnet am 26. Apr. 2023

Auf GitHub ansehen
 (3 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (37 Forks)github user discovery
good first issue

Repository-Metriken

Stars
 (96 Stars)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide