Test a simple reuse of a component

[Jetbl]

Hello everyone,
I discovered the filament language a few days ago, it's really exciting.
I'm a computer scientist trying to do things in the hardware field.
I have the following example that I want to try, but I was not able to successfully produce a verilog file

`import "primitives/core.fil";

comp main<G: 3>(
@interface[G] go: 1,
@[G, G+1] left: 32,
@[G, G+1] right: 32,
) -> (@[G+1, G+2] out: 32)
{
A := new Add[32];
a0 := A(left, right);
d := new Delay[32](a0.out);
a1 := A<G+1>(d.out, d.out);
out = a1.out;
}`

In the example, I want to reuse an adder in two different timelines (sorry if that's not the right word).
I use the following command to compile the filament example (the code is in a file called lab.fil) in verilog

filament -l [my filament repo path] lab.fil > main.futil
and
calyx main.futil -b verilog > main.sv

I got the following error (from calyx)

Error: Found combinational cycle:
D.in = G_fsm._0 ? A.out;
A.left = G_fsm._1 ? D.out;
A.right = G_fsm._1 ? D.out;

the git commit I'am using (filament d4a7f9d , calyx: dbb16353e885d29ac1877968eadfcb1330c1d2d9)

The filament compiler accepts the program and produces a calyx file, but the calyx compiler is not able to compile it.
The issue is in the calyx part, but I think from my understanding that filament does not generate a calyx components with enough information (the control section is empty) in order for calyx to understand that they are no loop in the code.

Or maybe my code is not suppose to work?

Any advice is greatly appreciated, thanks

[rachitnigam]

Thanks for trying out Filament @Jetbl! Calyx's canonicalization pass is the cause of this problem so you can disable it using:

calyx main.futil -d canonicalize -b verilog

Let us know if this works for you or not!

[Jetbl]

It works fine, sorry for the inconvenience, I had seen it in the documentation and had forgotten about it.
Thank you for your prompt reply.

[rachitnigam]

No problem at all! We'll update the error message in the Calyx compiler to recommend this solution. Feel free to ask more questions as you explore Filament!