Compilation failure when regexes are wrongly defined

[javiersuweijie]

Example of an error.

error[TAC02]: This expression must be a tuple or an anonymous component
   ┌─ "/project/circuit/ProofOfPadThai.circom":54:51
   │
54 │     (OrderItemRegexOut, OrderItemRegexReveal) <== OrderItemRegex(maxBodyLength)(emailBody);
   │                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ This is the tuple whose use is not allowed

This was due to not having public reveals in the regex definition.

"values": [
    {
      "name": "OrderItem",
      "parts": [
        {
          "is_public": false,
          "regex_def": "Pad Thai"
        }
      ],
      "location": "body",
      "maxLength": 64
    }
  ],

[Divide-By-0]

Well I wouldn't say they're wrongly defined, this should actually be allowed; I think the bigger issue is that we need some slight logic changes to support regexes that only have a single public or private part.