No blackbox found for: GHC.Num.Integer.integerToFloat#

[martijnbastiaan]

Test case:

import Clash.Prelude
import Data.Proxy

foo :: forall n. KnownNat n => Proxy n -> Float
foo Proxy = natToNum @n
{-# NOINLINE foo #-}

topEntity :: Float
topEntity = foo @10 Proxy

Yields:

    Clash.Netlist.BlackBox(359): No blackbox found for: GHC.Num.Integer.integerToFloat#. Did you forget to include directories containing primitives? You can use '-i/my/prim/dir' to achieve this.

[christiaanb]

We've released v1.8.0, which includes a fix for this issue.