Top level as statement #103

crates/codegen/src/fmt/statement.rs

@@ -33,6 +33,7 @@ impl GenMist for Statement {
                 cg.add("unsafe ");
                 block.gen_mist(ctx, cg);
             }
+            Statement::TopLevel(tl) => tl.gen_mist(ctx, cg),
             Statement::Block(block) => block.gen_mist(ctx, cg),
             Statement::VarDecl(VarDeclStmt { decl, init }) => {
                 if decl.type_.is_some() {

crates/codegen/src/statement.rs

@@ -31,13 +31,14 @@ impl GenRust for Block {
 impl GenRust for Statement {
     fn gen_rust(&self, ctx: &mut Context, cg: &mut RustCodegen) {
         match self {
+            Statement::TopLevel(tl) => tl.gen_rust(ctx, cg),
+            Statement::Block(block) => block.gen_rust(ctx, cg),
+
             Statement::UnsafeBlock(block) => {
                 cg.add("unsafe ");
                 block.gen_rust(ctx, cg);
             }
 
-            Statement::Block(block) => block.gen_rust(ctx, cg),
-
             Statement::VarDecl(VarDeclStmt { decl, init }) => {
                 cg.add("let ");
                 decl.gen_rust(ctx, cg);

crates/parser/src/ast/expr.rs

@@ -119,3 +119,15 @@ impl From<Path> for ExprPath {
         )
     }
 }
+
+impl Expression {
+    pub fn is_semicolon_required(&self) -> bool {
+        match self {
+            Self::Statement(v) => match &**v {
+                Statement::TopLevel(_) => false,
+                _ => true,
+            },
+            _ => true,
+        }
+    }
+}

crates/parser/src/ast/statement.rs

@@ -12,6 +12,7 @@ pub struct Block {
 pub enum Statement {
     UnsafeBlock(Block),
     Block(Block),
+    TopLevel(Box<TopLevel>),
     If {
         initial: StatementBranch,
         else_if: Vec<StatementBranch>,

crates/parser/src/grammar.pest

@@ -24,6 +24,7 @@ keyword = {
   | "class"
   | "trait"
   | "impl"
+  | "use"
   | "pub"
   | "mut"
   | "let"
@@ -389,6 +390,7 @@ statement_list = {
 statement = _{
     control_flow
   | (expr ~ semicolon)
+  | top_level
 }
 
 // ------------------------------------------------------

crates/parser/src/semantics.rs

@@ -129,6 +129,7 @@ impl GetMutability for Block {
 impl GetMutability for Statement {
     fn get_mutability(&self) -> Vec<Identifier> {
         match self {
+            Statement::TopLevel(_) => Vec::new(),
             Statement::Block(body) | Statement::UnsafeBlock(body) => body.get_mutability(),
             Statement::If {
                 initial,