Handle all user generated code errors in the type checker #885

Merged
ghallak merged 15 commits from ghallak/270 into master 2022-07-26 00:48:47 +09:00

15 Commits

Author SHA1 Message Date
Gaith Hallak
df9f258394 Add comment about state type 2022-07-25 00:12:54 +04:00
Gaith Hallak
53461d60e7 Remove the file aeso_code_errors.erl 2022-06-25 00:02:52 +04:00
Gaith Hallak
6ccaa7b1d5 Move old code errors tests to compilable_contracts 2022-06-24 17:45:09 +04:00
Gaith Hallak
eb77ae4137 Move invalid_oracle_type error to type checker 2022-06-24 15:12:16 +04:00
Gaith Hallak
f22c1aa82e Add test for AENS.resolve with using 2022-06-23 22:26:16 +04:00
Gaith Hallak
d4d16a66eb Add more tests for AENS.resolve 2022-06-22 20:09:36 +04:00
Gaith Hallak
55e5482e84 Move invalid_aens_resolve_type error to type checker 2022-06-22 19:41:36 +04:00
Gaith Hallak
e5e1f0212d Move the higher order entrypoint error to type checker 2022-06-22 17:08:01 +04:00
Gaith Hallak
4645b279fa Remove found_void error 2022-06-22 12:43:29 +04:00
Gaith Hallak
6b309c9381 Expand the tests for missing init function 2022-06-21 20:19:24 +04:00
Gaith Hallak
64682aa10c Remove the code error last_declaration_must_be_main_contract 2022-06-21 19:57:01 +04:00
Gaith Hallak
9df883b155 Move missing_init_function to the type checker 2022-06-21 19:31:21 +04:00
Gaith Hallak
f0c1a96213 Remove check_state_and_event_types from ast_to_fcode 2022-06-21 16:29:53 +04:00
Gaith Hallak
a7602b1cae Move the parameterised_event and parameterised_state errors to the type checker 2022-06-21 15:54:32 +04:00
Gaith Hallak
878c229ebd Move the missing_definition error to the type checker 2022-06-21 14:39:38 +04:00