Fix mkConstCV which uses fromInteger for FP. Changed to fpFromInteger

LeventErkok · Jun 6, 2024 · c8eb291 · c8eb291
1 parent 1f3bb84
commit c8eb291
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Core/Concrete.hs b/Data/SBV/Core/Concrete.hs
@@ -468,7 +468,7 @@ mkConstCV KUnbounded      a = normCV $ CV KUnbounded (CInteger  (toInteger a))
 mkConstCV KReal           a = normCV $ CV KReal      (CAlgReal  (fromInteger (toInteger a)))
 mkConstCV KFloat          a = normCV $ CV KFloat     (CFloat    (fromInteger (toInteger a)))
 mkConstCV KDouble         a = normCV $ CV KDouble    (CDouble   (fromInteger (toInteger a)))
-mkConstCV k@KFP{}         a = normCV $ CV k          (CFP       (fromInteger (toInteger a)))
+mkConstCV k@(KFP eb sb)   a = normCV $ CV k          (CFP       (fpFromInteger eb sb (toInteger a)))
 mkConstCV KRational       a = normCV $ CV KRational  (CRational (fromInteger (toInteger a)))
 mkConstCV KChar           a = error $ "Unexpected call to mkConstCV (Char) with value: "   ++ show (toInteger a)
 mkConstCV KString         a = error $ "Unexpected call to mkConstCV (String) with value: " ++ show (toInteger a)