clash-prelude 1.4.5 → 1.4.6

raw patch · 3 files changed

+15/−6 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

CHANGELOG.md +7/−0
clash-prelude.cabal +1/−1
src/Clash/Tutorial.hs +7/−5

CHANGELOG.md view

@@ -1,5 +1,12 @@ # Changelog for the Clash project +## 1.4.6 *Oct 26th 2021*++Fixed:++  * Clash tries to cast-specialize non-"global binders" resulting in "specialisation of non-work-free cast" warning [#1933](https://github.com/clash-lang/clash-compiler/issues/1945)+  * More consistently render bare untyped and unsized literals for `~LIT` tags. This fixes [#1934](https://github.com/clash-lang/clash-compiler/issues/1934)+ ## 1.4.5 *Oct 13th 2021*  Changed:

clash-prelude.cabal view

@@ -1,6 +1,6 @@ Cabal-version:        2.2 Name:                 clash-prelude-Version:              1.4.5+Version:              1.4.6 Synopsis:             Clash: a functional hardware description language - Prelude library Description:   Clash is a functional hardware description language that borrows both its

src/Clash/Tutorial.hs view

@@ -1219,11 +1219,13 @@ * @~RESULT@: Signal to which the result of a primitive must be assigned   to. NB: Only used in a /declaration/ primitive. * @~ARG[N]@: @(N+1)@'th argument to the function.-* @~LIT[N]@: @(N+1)@'th argument to the function. An extra condition that must-  hold is that this @(N+1)@'th argument is an (integer) literal.-* @~CONST[N]@: @(N+1)@'th argument to the function. Clash will try to reduce-  this to a literal, even if it would otherwise consider it too expensive. As-  opposed to @~LIT@, @~CONST@ will render a valid HDL expression.+* @~CONST[N]@: @(N+1)@'th argument to the function. Like @~ARG@, but Clash will+  try to reduce this to a literal, even if it would otherwise consider it too+  expensive. And if Clash fails to reduce this argument to a literal it will+  produce an error.+* @~LIT[N]@: @(N+1)@'th argument to the function. Like @~CONST~ but values are+  rendered as a bare literals, without any size or type annotations.+  This only works for numeric types, and not for BitVector. * @~TYP[N]@: VHDL type of the @(N+1)@'th argument. * @~TYPO@: VHDL type of the result. * @~TYPM[N]@: VHDL type/name/ of the @(N+1)@'th argument; used in /type/