chore: some code cleanup && add test case for async/await usage

planglib/core/coro.pi

@@ -31,8 +31,8 @@ pub fn new_coro(f: ||=>void) Coroutine {
     return Coroutine{ctx:ctx, stack:p, f:f};
 }
 
-fn create_mutex() *mutex::Mutex {
-    let m :*mutex::Mutex ;
+fn create_mutex() *mutex::MutexHandle {
+    let m :*mutex::MutexHandle ;
     let mm = &m;
     mutex::create_mutex(mm);
     return *mm;

src/ast/compiler.rs

@@ -1,4 +1,3 @@
-use super::node::program::cycle_deps_recover;
 use super::node::program::ModWrapper;
 use super::node::program::ASSET_PATH;
 #[cfg(feature = "llvm")]
@@ -151,7 +150,7 @@ pub fn compile_dry<'db>(db: &'db dyn Db, docs: MemDocsInput) -> Result<ModWrappe
 
 /// compile_dry_file parses the file inside parser_entry into AST,
 /// and then emit the llvm IR code represented by Mod according to the entry file AST.
-#[salsa::tracked(recovery_fn=cycle_deps_recover)]
+#[salsa::tracked]
 pub fn compile_dry_file<'db>(
     db: &'db dyn Db,
     parser_entry: FileCompileInput<'db>,

src/ast/expects/test_diag.pi.expect

@@ -1206,6 +1206,45 @@
             },
         },
     },
+    PLDiag {
+        raw: PLDiagRaw {
+            code: Err(
+                ONLY_TASK_CAN_BE_AWAIT,
+            ),
+            help: None,
+            labels: [
+                PLLabel {
+                    file: u!(""),
+                    txt: None,
+                    range: Range {
+                        start: Pos {
+                            line: 164,
+                            column: 11,
+                            offset: 1731,
+                        },
+                        end: Pos {
+                            line: 164,
+                            column: 23,
+                            offset: 1743,
+                        },
+                    },
+                },
+            ],
+            source: None,
+            range: Range {
+                start: Pos {
+                    line: 164,
+                    column: 5,
+                    offset: 1725,
+                },
+                end: Pos {
+                    line: 164,
+                    column: 23,
+                    offset: 1743,
+                },
+            },
+        },
+    },
     PLDiag {
         raw: PLDiagRaw {
             code: Err(
@@ -1230,6 +1269,45 @@
             },
         },
     },
+    PLDiag {
+        raw: PLDiagRaw {
+            code: Err(
+                ONLY_AWAIT_IN_ASYNC_FN,
+            ),
+            help: None,
+            labels: [
+                PLLabel {
+                    file: u!(""),
+                    txt: None,
+                    range: Range {
+                        start: Pos {
+                            line: 164,
+                            column: 11,
+                            offset: 1731,
+                        },
+                        end: Pos {
+                            line: 164,
+                            column: 23,
+                            offset: 1743,
+                        },
+                    },
+                },
+            ],
+            source: None,
+            range: Range {
+                start: Pos {
+                    line: 164,
+                    column: 5,
+                    offset: 1725,
+                },
+                end: Pos {
+                    line: 164,
+                    column: 23,
+                    offset: 1743,
+                },
+            },
+        },
+    },
     PLDiag {
         raw: PLDiagRaw {
             code: Warn(

src/ast/node/program.rs

@@ -180,9 +180,6 @@ lazy_static::lazy_static! {
     };
 }
 
-mod cycle;
-pub use cycle::*;
-
 fn import_symbol(
     s: Ustr,
     x: &GlobalType,
@@ -450,7 +447,7 @@ impl<'db> Program<'db> {
     /// `emit` function analyzes all submodules used by the current program,
     /// resolves all symbols from submodules into the current one,
     /// and compiles the current module with all sub-modules into LLVM IR or does some LSP works
-    #[salsa::tracked(recovery_fn=cycle_deps_recover_emit)]
+    #[salsa::tracked]
     pub fn emit(self, db: &'db dyn Db) -> ModWrapper<'db> {
         #[cfg(not(target_arch = "wasm32"))]
         let (job, pb) = if self.params(db).action(db) == ActionType::Compile {

test/lsp_diag/test_diag.pi

@@ -161,7 +161,7 @@ fn test_f_diag2(,) {
 }
 
 fn test_f_diag3(a, b:i64) void {
-
+    await test_f_diag2();
     return;
 }