Opened this issue 2 years ago · 1 comments
I have ~1600 line program that causes a compiler error in zig. This fails immediately on the first (non-verification) step. Is it reasonable to throw a program that large at it?
https://gist.github.com/zenspider/c9dd6c1690b250ac7385af1f619c5ec6 for the curious