coreView didn’t look through newtypes of the form: newtype Foo a = MkFoo (Maybe a)
0.5.8 June 26th 2015
Fixes bugs:
Allow text and tags in ~SIGD black box construct
0.5.7 June 25th 2015
New features:
Support for copying string literals from Haskell to generated code
Collect and copy data-files
Fixes bugs:
Signals declared twice when not using a clock-generating component #60
This piece of code eat up all CPU when generating verilog #62
0.5.6 June 3rd 2015
New features:
Support Verilog backend
Generated component names are prefixed by the name of the module containing the topEntity
0.5.5 May 18th 2015
New features:
Make inlining and specialisation limit configurable
Make debug message level configurable
Fixes bugs:
Netlist: ensure that the arguments of a component instantiation are always simple variables
CaseCon transformation: ensure that we run the compile-time evaluator on the subject before handling the one-alternative case
Emit a warning if a function remains recursive, instead of producing an error: compilation can still be successful if the function is an argument to a higher-order blackbox that doesn’t use the function.
Emit a warning if inlining limit is reached, instead of producing an error: compilation can still be successful if the function is an argument to a higher-order blackbox that doesn’t use the function.
Always inline terms that have a type of kind Constraint
0.5.4 May 10th 2015
New features:
Add ~COMPNAME tag: primitives get access to the component name in which they are instantiated
0.5.3 May 5th 2015
New features:
TopEntity wrappers are now specified as ANN annotation pragmas