Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-16 05:28:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

GH-1628: Return an error for duplicate record field names

Browse source
This commit is contained in:
Tim Wojtulewicz 2022-07-18 16:21:04 -07:00
parent d57ad3e405
commit b41a4bf06d
5 changed files with 28 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
testing/btest/Baseline/language.record-duplicate-fields/.stderr Normal file
View file

@ -0,0 +1,3 @@
### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
error in <...>/record-duplicate-fields.zeek, line 7: Duplicate field 'a' found in record definition