Unparseable contract is produced by pretty printer
Description
A contract printed by our ContractRegistry
is ill-typed.
Steps to reproduce
- You should trust me that
bug.tz
was produced by ourContractRegistry
, its source is private, so you can't reproduce it fully. - Do
tezos-client typecheck script bug.tz
.
Prerequisites (if needed):
Expected behaviour
The contract is well-typed.
Actual behaviour
The contract is not even parseable:
From line 1438 character 67 to line 1447 character 75, misaligned expression
Fatal error:
syntax error in program
Note: bug.tz
is probably indeed incorrectly printed, so it is ok that tezos-client
can't parse it, but it is not ok that our printer produces such a contract.
Environment
- linux,
tezos-client
from https://github.com/serokell/tezos-packaging -
morley
revision: 39a586d0