Bug in DEC transformation throws CLaSH into an endless loop

[christiaanb]

The following code:

module Loopbug where

import CLaSH.Prelude

type FPM    = SFixed 5 0 

valC                            = 1 :: FPM

valB                            = 2.0 :: FPM -- doesn't work
-- valB                         = 2 :: FPM -- works


-- loopBug :: FPM -> (FPM,FPM)
loopBug valA                    = (o1, o2)
    where
        (o1,o2)         | valA < 0 = (-valC, valA+valB)
                        -- | otherwise = (valC, ((-valB)+valA))   -- works        
                        | otherwise = (valC, (valA-valB))       -- doesn't work


topEntity = loopBug

Throws CLaSH into a loop due to a bug in the DEC transformation.