-
-
Notifications
You must be signed in to change notification settings - Fork 51
Closed
Labels
bugSomething isn't workingSomething isn't working
Description
Panic Veryl emitter during emitting SV from the code below.
proto package a_proto_pkg {
const A: u32;
}
package a_pkg::<A_VALUE: u32> for a_proto_pkg {
const A: u32 = A_VALUE;
}
proto package b_proto_pkg {
const B: u32;
}
package b_pkg::<B_VALUE: u32> for b_proto_pkg {
const B: u32 = B_VALUE;
}
module c_module::<PKG: b_proto_pkg> {
}
module d_module::<A_PKG: a_proto_pkg> {
import A_PKG::*;
alias package B_PKG = b_pkg::<A>;
inst u: c_module::<B_PKG>;
}
alias package A_PKG = a_pkg::<32>;
alias module D_MODULE = d_module::<A_PKG>;Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working