 Ulf Norell
|
97d58fcacd
|
Nicer error for missing event type
|
2019-09-04 11:03:33 +02:00 |
|
|
Ulf Norell
|
d8adfce465
|
Tests for unapplied builtins
|
2019-09-04 10:45:43 +02:00 |
|
|
Ulf Norell
|
b9d141e035
|
Fix issue with AEVM eta expansion
|
2019-09-04 10:45:22 +02:00 |
|
|
Ulf Norell
|
c37cc93abe
|
Don't try to eta expand builtins with named arguments in AEVM
|
2019-09-04 10:21:30 +02:00 |
|
|
Ulf Norell
|
157ffbf9e2
|
Fix bug with unapplied builtins taking typerep arguments
(Oracle builtins and AENS.resolve)
|
2019-09-04 10:20:04 +02:00 |
|
|
Ulf Norell
|
602e99512f
|
Fail gracefully on higher-order state in AEVM and accept it in FATE
|
2019-09-03 17:24:40 +02:00 |
|
|
Ulf Norell
|
325d69e96d
|
Fail gracefully on bad top-level declaration
|
2019-09-03 17:24:06 +02:00 |
|
|
Ulf Norell
|
412b0b8b6d
|
Improve some parse errors
|
2019-09-03 16:51:04 +02:00 |
|
|
Ulf Norell
|
61faa3e2dd
|
Fix missing file name from type errors
|
2019-09-03 15:01:29 +02:00 |
|
|
Ulf Norell
|
69a4c1365b
|
Test case for calling init function from inside the contract
|
2019-09-03 14:47:13 +02:00 |
|
|
Ulf Norell
|
0b56691533
|
Tell dialyzer to bugger off
|
2019-09-03 14:36:36 +02:00 |
|
|
Ulf Norell
|
30de1db163
|
More code errors
|
2019-09-03 14:35:13 +02:00 |
|
|
Ulf Norell
|
adfa325f48
|
Don't use _main for the AEVM top entrypoint
|
2019-09-03 14:35:13 +02:00 |
|
|
Ulf Norell
|
0533ab27e1
|
Check that there are no maps in map keys already in type checker
|
2019-09-03 14:35:13 +02:00 |
|
|
Ulf Norell
|
510935d945
|
Framework and tests for code generation (icode/fcode) errors
|
2019-09-03 14:35:13 +02:00 |
|
|
Ulf Norell
|
f2469a676d
|
Refactor builtin compilation in icode
- Eta expand instead of failing on unapplied builtins
|
2019-09-03 14:35:13 +02:00 |
|
|
Ulf Norell
|
db7bf7a730
|
Set error msg position to last occurrence of duplicate definition
|
2019-09-03 14:35:13 +02:00 |
|
|
Ulf Norell
|
e37ac44726
|
Ensure that init is not payable
|
2019-09-03 14:35:13 +02:00 |
|
|
Hans Svensson
|
249b61238e
|
Structured parse_errors and type_errors
|
2019-09-03 14:35:13 +02:00 |
|
|
Hans Svensson
|
9e955d5958
|
Remove unused aeso_constants
|
2019-09-03 14:35:13 +02:00 |
|