mwojcik
/
nac3
forked from M-Labs/nac3
1
0
Fork 0
Code Pull Requests Activity

WIP3

This commit is contained in:
David Mak 2024-08-09 12:13:22 +08:00
parent 27beee17e7
commit 8108a026cc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nac3artiq/src/lib.rs
View File

@ -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(), "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(), "rtio_log".into(),