deeplang-org/deeplang-type-system

规定顶层必须是函数或者类型声明或者interface声明

Opened this issue · 1 comments

Mepy commented

参考guest0x0设计的AST, 目前top_clause只能有如下情形:
top_clause_shape =
| StructDef of struct_def
| ADTDef of adt_def
| InterfaceDecl of interface_decl
| MethodsImpl of methods_impl
| FunctionDef of func_impl
| GlobalVarDef of global_variable_def