Ulf Norell
e0fff00e64
get rid of byte code argument to create_calldata
...
This means that there is less type checking at calldata creation time.
Make sure that we check that the function hash exists before calling
a contract!
2019-02-26 17:31:53 +01:00
Ulf Norell
5a4a84805f
change create_calldata function to also take fun name and arguments
2019-02-26 15:01:27 +01:00
Ulf Norell
cc3e322179
new version of to_sophia_value
...
takes function name and binary blob
2019-02-26 14:34:57 +01:00
Ulf Norell
ccad660eac
add compiler function to translate a vm value to Sophia AST
2019-02-25 14:23:23 +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
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
d9188d58a7
Proper checking of 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
Robert Virding
515f444e7c
Remove specific filename extension handling
...
And take the chance to make file handling errors ahve the same format
as other errors.
2019-02-06 14:02:46 +01:00
Ulf Norell
3a7c8f905a
Fix incorrect type specs
...
h/t OTP-21 dialyzer
2019-01-28 14:54:34 +01:00
Hans Svensson
f1f2b09294
Cleanup whitespace, bad typespec, and remaining enacl reference
2019-01-28 10:50:32 +01:00
Robert Virding
fe1a2758c3
Improve the interface to the compiler
...
It is now more consistent though we can still discuss how we want the
interface to look.
2019-01-25 16:16:20 +01:00
Robert Virding
d4d02fd576
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
