-
Notifications
You must be signed in to change notification settings - Fork 152
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
nameHint is unreliable due to foldr/build fusion #2794
Comments
It is not entirely clear what to do about this. Ideally we would be able to disable the rewrite into |
We should add an primitive evaluator rule for
|
I suppose this rule should rewrite |
Yes, preferably rewrite it to |
If one writes
nameHint (SSym @"hi") ...
there is a good chance that GHC'sunpack
rewrite rule will rewrite theString
in the term-level evidence carried bySSym
(which is the only thing preserved in the netlist) intobuild (unpackFoldrCString# "hi")
. The logic inClash.Netlist.BlackBox.Util.exprToString
understandably cannot deal with this, resulting in errors of the form:Perplexingly, the
build
call doesn't seem to be reflected in the netlist.The text was updated successfully, but these errors were encountered: