Christiaan Baaij
Christiaan Baaij
Something that just occurs to me: since `errorX` is just `throw (XException ...)` it presumably always gets left alone by the simplifier, but what if a user writes `throw (XException...
Work-around for #1677
Quartus allows you to set synthesis attributes on * Modules: https://www.intel.com/content/www/us/en/programmable/quartushelp/17.0/hdl/vlog/vlog_file_dir_attribute.htm * Architectures: https://www.intel.com/content/www/us/en/programmable/quartushelp/17.0/hdl/vhdl/vhdl_file_dir_attribute.htm Similarly on Vivado: https://www.xilinx.com/support/documentation/sw_manuals/xilinx2017_1/ug901-vivado-synthesis.pdf#page=41 I think the best place to add this information is in the...
As @paddytheplaster mentioned in #1402 the warnings generated by Clash can be hard to spot. We should probably be using some `ansi-terminal` to highlight/color the warnings.
Looking, for example at: https://github.com/clash-lang/clash-compiler/blob/c9d78125c474cde31fa5d0234f00e362368c85ee/clash-lib/prims/verilog/CLaSH_Explicit_BlockRam.json#L27-L39 we can see that the generated code for Vivado is actually the most reasonable, and it is the non-Vivado path, the one used for Quartus,...
Only being able to install CLaSH via source through `cabal` is not ideal. It works well enough for people who are already working with Haskell, but not for anyone else....
Given: ```haskell newtype Age Int type class F a type instance F Int = Char type instance F Age = Bool x :: F Age ``` During HDL generation, Clash...
Version 0.6 of the `ghc-typelits-natnormalise` plugin emits a `b
This is work in progress
More a suggestion than an issue: we recently implemented packing of sum(-of-product) types in Clash by separating the process of packing fields from packing the constructor. See: 1. The `default`...