Ulf Norell
b5b0d30fc4
Less hacky handling of Chain.event
2019-02-08 14:48:38 +01:00
Ulf Norell
236ef6eb89
Dialyzed!
2019-02-08 14:16:06 +01:00
Ulf Norell
aa6d56ce9b
Allow passing an explicit "file system" for included files to the compiler
2019-02-08 14:16:06 +01:00
Ulf Norell
0b86cdc318
Clean up test case
2019-02-08 14:16:06 +01:00
Ulf Norell
27cbedc7ab
Further generalise used names computation
2019-02-08 14:16:06 +01:00
Ulf Norell
2ac47059c1
Refactor used_ids and used_types into a generic fold
2019-02-08 14:16:06 +01:00
Hans Svensson
421bc01012
Add error messages for bad include and nested namespace
2019-02-08 14:16:06 +01:00
Hans Svensson
2b7490776e
Add include directive
...
Add an include directive to include namespaces into a contract. Only allowed at the top level.
To allow includes, either call through aeso_compiler:file or set the option `allow_include` (and add `include_path`(s)).
2019-02-08 14:16:06 +01:00
Ulf Norell
0a5b80668f
Don't mess up on multiple namespaces in icode compiler
2019-02-08 14:16:06 +01:00
Ulf Norell
6cdba58e35
Update error messages
2019-02-08 14:16:06 +01:00
Ulf Norell
8262d7780f
Fix some issues pointed out by dialyzer
2019-02-08 14:16:06 +01:00
Ulf Norell
e6f01481bf
Bind state and event primitives only in contracts (and with the right types)
2019-02-08 14:16:06 +01:00
Ulf Norell
d9188d58a7
Proper checking of types
2019-02-08 14:16:06 +01:00
Ulf Norell
dfa286d43c
Deadcode elimination (icode post pass)
2019-02-08 14:16:06 +01:00
Ulf Norell
478da2af33
Don't expose namespace functions as entrypoints
2019-02-08 14:16:06 +01:00
Ulf Norell
10be09fe30
Add checks on event constructor arguments to type checker
2019-02-08 14:16:06 +01:00
Ulf Norell
e6c9d0fac1
Put event index information in constructor annotation instead of in argument types
2019-02-08 14:16:06 +01:00
Ulf Norell
367f87b612
Implement namespaces
...
This includes a massive refactoring of the type checker, getting
rid of most of the ets tables and keeping a proper environment.
2019-02-08 14:16:06 +01:00
