From 8108a026cc1b8a7d38198f7aeb33c144888451d9 Mon Sep 17 00:00:00 2001 From: David Mak Date: Fri, 9 Aug 2024 12:13:22 +0800 Subject: [PATCH] WIP3 --- nac3artiq/src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/nac3artiq/src/lib.rs b/nac3artiq/src/lib.rs index 3b4df2e1..205ee5c5 100644 --- a/nac3artiq/src/lib.rs +++ b/nac3artiq/src/lib.rs @@ -903,7 +903,7 @@ impl Nac3 { }))), ), { - let arg_ty = unifier.get_dummy_var(); + let arg_ty = unifier.get_fresh_var(Some("T".into()), None); ( "core_log".into(), @@ -925,7 +925,7 @@ impl Nac3 { ) }, { - let arg_ty = unifier.get_dummy_var(); + let arg_ty = unifier.get_fresh_var(Some("T".into()), None); ( "rtio_log".into(),