martijnbastiaan

****** Vivado v2022.2 (64-bit)
  **** SW Build 3671981 on Fri Oct 14 04:59:54 MDT 2022
  **** IP Build 3669848 on Fri Oct 14 08:30:02 MDT 2022
    ** Copyright 1986-2022 Xilinx, Inc. All Rights Reserved.

source run.tcl
# read_verilog top.v
# set_property -name top -value top -objects [current_fileset -sim]
# set_property -name xsim.elaborate.xelab.more_options -value {-L xpm} -objects [current_fileset -sim]

martijnbastiaan

tasty-bench/src/Test/Tasty/Bench.hs
2011:      TestGroup name tts   -> TestGroup name (map (go (name : path))  tts)

tasty-expected-failure/Test/Tasty/ExpectedFailure.hs
102:    go (TestGroup name tests) = TestGroup name (map go tests)

tasty-silver/Test/Tasty/Silver/Filter.hs
126:        filter' pth (TestGroup n ts) = Just $ TestGroup n (catMaybes $ map (filter' $ pth <//> n) ts)

tasty-silver/Test/Tasty/Silver/Interactive/Run.hs

martijnbastiaan

Usage:

    clash [command-line-options-and-input-files]

To compile and link a complete Haskell program, run the compiler like
so:

    clash Main

where the module Main is in a file named Main.hs (or Main.lhs) in the

martijnbastiaan

{-# LANGUAGE AllowAmbiguousTypes #-}  

module Problem where

import Clash.Prelude

id1                                                                                                       
  :: forall n
   . ( KnownNat n
     , 1 <= (CLog 2 (n+2))

martijnbastiaan

diff --git a/clash-ghc/src-ghc/Clash/GHC/Evaluator.hs b/clash-ghc/src-ghc/Clash/GHC/Evaluator.hs
index e0d7cfe2..c0de76a6 100644
--- a/clash-ghc/src-ghc/Clash/GHC/Evaluator.hs
+++ b/clash-ghc/src-ghc/Clash/GHC/Evaluator.hs
@@ -30,12 +30,14 @@ import           Data.Bits
 import           Data.Char           (chr,ord)
 import qualified Data.Either         as Either
 import qualified Data.IntMap         as IntMap
-import           Data.Maybe (mapMaybe, catMaybes)
+import           Data.Maybe

martijnbastiaan

  warning: Nix search path entry '/home/martijn/.nix-defexpr/channels/nixpkgs' does not exist, ignoring
unpacking 'https://github.com/NixOS/nixpkgs-channels/archive/8634c3b619909db7fc747faf8c03592986626e21.tar.gz'...
error: while setting up the build environment: getting attributes of path '/usr/nix/4qdvi2jcygkh6z2kfgmlsbcljjdnf4nn-bootstrap-tools/bin/bash': No such file or directory
(use '--show-trace' to show detailed location information)

martijnbastiaan

[..]
building '/usr/nix/v52v6kw1i6b1bb8dw9457qdxxlp5qngn-linux-4.19.16.tar.xz.drv'...
building '/usr/nix/c8wm8xzdpfqnlr25zzmc15j4kpb11wah-locale-C.diff.drv'...
building '/usr/nix/xainl45vfim75481fmi7m1fix14rix3x-lzip-1.21.tar.gz.drv'...
building '/usr/nix/p50r3xvlkk8yn2923qq4zqgplg911cgb-m4-1.4.18.tar.bz2.drv'...
building '/usr/nix/r1yk8j2y7z4vpih70ifwnhdk4ygnw500-make-4.2.1.tar.bz2.drv'...
building '/usr/nix/nqzk9a9806gllwjhk07j0b65bp6s538b-gnum4-1.4.18.drv'...
unpacking sources
unpacking source archive /usr/nix/4i4h8lygv6mc02jj3prdvjj97nmxj1a1-m4-1.4.18.tar.bz2
source root is m4-1.4.18

martijnbastiaan

# On Ubuntu 18.04:

sudo apt install build-essential libbrotli-dev libbrotli1 liblzma-dev curl libcurl4-openssl-dev sqlite libsqlite3-dev pkg-config libcrypto++-dev libcrypto++6 openssl libssl-dev bzip2 libbz2-dev libeditline-dev libeditline0 libreadline-dev libreadline7 libseccomp2 libseccomp-dev libgc-dev libboost1.70-dev bison flex

tar xf nix-2.2.2.tar.xz
cd nix-2.2.2/

EDITLINE_CFLAGS="-DREADLINE" EDITLINE_LIBS="/lib/x86_64-linux-gnu/libhistory.so.7 /lib/x86_64-linux-gnu/libreadline.so.7" ./configure --prefix=/usr --with-store-dir=/usr/nix --localstatedir=/usr/nix/var --with-sandbox-shell=/bin/sh --enable-gc
make -j6
sudo make install

martijnbastiaan

    • No instance for (KnownDomain
                         (Clash.Class.HasDomain.HasSingleDomain.ErrOnConflict
                            (Int -> Index n1 -> Signal XilinxSystem b1)
                            (Clash.Class.HasDomain.HasSingleDomain.Merge'
                               (Clash.Class.HasDomain.HasSingleDomain.TryDomain
                                  (Int -> Index n1 -> Signal XilinxSystem b1) (Index n1))
                               ('Clash.Class.HasDomain.HasSingleDomain.Found "XilinxSystem"))))
        arising from a use of ‘withReset’

martijnbastiaan

{-# LANGUAGE CPP                  #-}
{-# LANGUAGE ConstraintKinds      #-}
{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE UndecidableInstances #-}
#if __GLASGOW_HASKELL__ < 806
{-# LANGUAGE TypeInType #-}
#endif