Skip to content

Proto/Michelson: ensures all annotations are checked

Raphaël Cauderlier requested to merge nomadic-labs/tezos:rafoo@fix_field_annots into proto-proposal

Some field annotations used to bypass the check in Script_ir_annot.parse_annots that ensures that only valid characters are used. The first commit adds the missing checks, the second commit fixes issue tezos/tezos#716 (closed) by extending the range of allowed second char in annotations to include numerals.

TODO:

  • extend the regexp
  • update documentation with the new regexp
  • add tests showing the effect of these commits
Edited by vbot

Merge request reports