X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Flatten.hs;h=30a9bbabe9754911b551c9dad1e5ccc41d1e2401;hb=5e5a75ab40e00110d5169b6713a7786978d91c04;hp=e434f2e0862f1d5adffa272298f267d22cb46b5a;hpb=6093a850e28df3e081a80a73995e3b7279c106d5;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/Flatten.hs b/Flatten.hs
index e434f2e..30a9bba 100644
--- a/Flatten.hs
+++ b/Flatten.hs
@@ -169,7 +169,7 @@ flattenExpr binds var@(Var id) =
           sig_id <- genSignalId SigInternal ty
           -- Add a name hint to the signal
           addNameHint (Name.getOccString id) sig_id
-          addDef (UncondDef (Right $ Literal lit) sig_id)
+          addDef (UncondDef (Right $ Literal lit Nothing) sig_id)
           return ([], Single sig_id)
     IdInfo.VanillaGlobal ->
       -- Treat references to globals as an application with zero elements
@@ -220,7 +220,7 @@ flattenExpr binds app@(App _ _) = do
         let len = sized_word_len ty
         -- TODO: to_stdlogicvector doesn't work here, since SizedWord
         -- translates to a different type...
-        addDef (UncondDef (Right $ Literal $ "to_stdlogicvector(to_unsigned(" ++ (show int) ++ ", " ++ (show len) ++ "))") sig_id)
+        addDef $ UncondDef (Right $ Literal ("to_stdlogicvector(to_unsigned(" ++ (show int) ++ ", " ++ (show len) ++ "))") Nothing) sig_id
         return ([], Single sig_id)
       else
         flattenApplicationExpr binds (CoreUtils.exprType app) f args