Hi, thanks for the response.
On 26/08/2016, Christiaan Baaij wrote:
> You mentioned that GHC does name mangling, but I must say I've never
> seen GHC do this.
I guess this was unclear: our compiler is mangling the names from GHC
core, lest any clash with a BlueSpec keyword. We need to find a way
Hi Matthew,
Although it doesn't "really" answer you question, you could take the
same approach as I did with CLaSH (http://clash-lang.org/) which
translates Haskell to VHDL/(System)Verilog.
Although I didn't want to "expose" VHDL/(System)Verilog terms and types
per sé, I guess you could see
