sophia/test/contracts/bad_unnamed_map_update_default.aes
Radosław Rowicki 4f554acee6
Fix error messages for some illegal constructions, fix absolute path includes (#251)
* Updated tests, banned type decls and toplevel letvals

* Properly ban nested contracts

* Fix including by path

* Fix error message test

* Fix prettpr attr display. Make dialyzer happy

* More tests

* Fixed type printing

* Updated docs
2020-03-30 14:52:16 +02:00

5 lines
79 B
Plaintext

contract C =
entrypoint f() =
let z = 123
{}{ [1 = 0] = z + 1 }
2