New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Internal compiler error, test program enclosed #198

strake opened this Issue Jan 23, 2017 · 1 comment


None yet
2 participants

strake commented Jan 23, 2017

Source file:

module Test1 where

import CLaSH.Prelude

f :: Bit -> Maybe (Bit -> Bit -> Bit)
f i = case z of
    False -> Just (+)
    _ -> Nothing
  where z :: Bool
        z = case i of
            0 -> False
            1 -> False

topEntity :: Bit -> Bit -> Bit -> Maybe Bit
topEntity = (sequenceA .) . sequenceA . f

What happens:

$ clash --interactive Test1
CLaSHi, version 0.7 (using clash-lib, version 0.7):  :? for help
[1 of 1] Compiling Test1            ( Test1.hs, interpreted ) [GHC.TypeLits.Normalise changed]
Ok, modules loaded: Test1.
*Test1> :verilog
Loading dependencies took 0.90566487s
Applied 34 transformations
Normalisation took 0.383647523s
*** Exception: CLaSH.Netlist(349): Unknown function: x25
CallStack (from HasCallStack):
  error, called at src/CLaSH/Netlist.hs:349:12 in clash-lib-0.7-GgPvhzyc72u4d5HBZy2j3Z:CLaSH.Netlist

This comment has been minimized.

Show comment
Hide comment

christiaanb Jan 23, 2017


Thanks for the report, bug fix will be included in the next release.


christiaanb commented Jan 23, 2017

Thanks for the report, bug fix will be included in the next release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment