0xMiden/air-script

Treatment of duplicate integrity constraints

Open

#275 ouverte le 26 avr. 2023

Voir sur GitHub
 (3 commentaires) (0 réactions) (0 assignés)Rust (37 forks)github user discovery
good first issue

Métriques du dépôt

Stars
 (96 stars)
Métriques de merge PR
 (Métriques PR en attente)

Description

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.

Guide contributeur