clash-lib 0.3 → 0.3.0.1

raw patch · 3 files changed

+18/−4 lines, 3 files

Files

README.md +7/−1
clash-lib.cabal +5/−3
src/CLaSH/Util.hs +6/−0

README.md view

@@ -1,1 +1,7 @@-http://christiaanb.github.io/clash2/+# `clash-lib`+  * See the LICENSE file for license and copyright details++# `clash-ghc`+  * See the LICENSE file for license and copyright details+  * Contains code from the [GHC compiler](http://haskell.org/ghc), see the+    LICENSE_GHC file for license and copyright details pertaining to that code.

clash-lib.cabal view

@@ -1,11 +1,11 @@ Name:                 clash-lib-Version:              0.3+Version:              0.3.0.1 Synopsis:             CAES Language for Synchronous Hardware - As a Library Description:   CλaSH (pronounced ‘clash’) is a functional hardware description language that   borrows both its syntax and semantics from the functional programming language   Haskell. The merits of using a functional language to describe hardware comes-  from the fact that combinational circuits can be directly modeled as+  from the fact that combinational circuits can be directly modelled as   mathematical functions and that functional languages lend themselves very well   at describing and (de-)composing mathematical functions.   .@@ -21,7 +21,7 @@   * Blackbox/Primitive Handling   .   .-  Front-ends (for: parsing, typecheck, etc.) are provided by seperate packages:+  Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:   .   * <https://github.com/christiaanb/Idris-dev Idris Frontend>   .@@ -120,3 +120,5 @@                       CLaSH.Rewrite.Util                        CLaSH.Util++  Other-Modules:      Paths_clash_lib

src/CLaSH/Util.hs view

@@ -27,12 +27,15 @@ import qualified Data.HashMap.Lazy    as HashMapL import qualified Data.HashMap.Strict  as HashMapS import Data.Maybe                     (fromMaybe)+import Data.Version                   (Version) import Control.Lens import Debug.Trace                    (trace) import qualified Language.Haskell.TH  as TH import Unbound.LocallyNameless        (Embed(..)) import Unbound.LocallyNameless.Name   (Name(..)) +import qualified Paths_clash_lib      (version)+ -- | A class that can generate unique numbers class MonadUnique m where   -- | Get a new unique@@ -212,3 +215,6 @@ splitAtList (_:xs) (y:ys) = (y:ys', ys'')     where       (ys', ys'') = splitAtList xs ys++clashLibVersion :: Version+clashLibVersion = Paths_clash_lib.version