QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Remove the access of scopes

Browse Source
This commit is contained in:
Gaith Hallak 2023-04-21 19:51:40 +03:00
parent 0baedfeede
commit 0e4c24958c
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/aeso_ast_infer_types.erl
View File

@ -106,8 +106,6 @@
-type field_info() :: #field_info{}. -type field_info() :: #field_info{}.
-type access() :: public | private | internal.
-type typedef() :: {[aeso_syntax:tvar()], aeso_syntax:typedef() | {contract_t, [aeso_syntax:field_t()]}} -type typedef() :: {[aeso_syntax:tvar()], aeso_syntax:typedef() | {contract_t, [aeso_syntax:field_t()]}}
| {builtin, non_neg_integer()}. | {builtin, non_neg_integer()}.
@ -136,7 +134,6 @@
-record(scope, { funs = [] :: fun_env() -record(scope, { funs = [] :: fun_env()
, types = [] :: type_env() , types = [] :: type_env()
, consts = [] :: const_env() , consts = [] :: const_env()
, access = public :: access()
, kind = namespace :: namespace | contract , kind = namespace :: namespace | contract
, ann = [{origin, system}] :: aeso_syntax:ann() , ann = [{origin, system}] :: aeso_syntax:ann()
}). }).