ErrorInCanonicalStructures.out

File "./output/ErrorInCanonicalStructures.v", line 5, characters 0-29:
The command has indeed failed with message:
Could not declare a canonical structure Foo.
Expected an instance of a record or structure.
File "./output/ErrorInCanonicalStructures.v", line 7, characters 0-29:
The command has indeed failed with message:
Could not declare a canonical structure bar.
Expected an instance of a record or structure.