@@ -154,6 +154,10 @@ bcc i (ASSIGNCONST l c)
154 mkConst (B16V x) = let x' = V.toList x in "MKB16x8const(vm, " ++ intercalate ", " (map (\elem -> show elem ++ "U") x') ++ ")"
154 mkConst (B16V x) = let x' = V.toList x in "MKB16x8const(vm, " ++ intercalate ", " (map (\elem -> show elem ++ "U") x') ++ ")"
155 mkConst (B32V x) = let x' = V.toList x in "MKB32x4const(vm, " ++ intercalate ", " (map (\elem -> show elem ++ "UL") x') ++ ")"
155 mkConst (B32V x) = let x' = V.toList x in "MKB32x4const(vm, " ++ intercalate ", " (map (\elem -> show elem ++ "UL") x') ++ ")"
156 mkConst (B64V x) = let x' = V.toList x in "MKB64x2const(vm, " ++ intercalate ", " (map (\elem -> show elem ++ "ULL") x') ++ ")"
156 mkConst (B64V x) = let x' = V.toList x in "MKB64x2const(vm, " ++ intercalate ", " (map (\elem -> show elem ++ "ULL") x') ++ ")"
157+ -- if it's a type constant, we won't use it, but equally it shouldn't
158+ -- report an error. These might creep into generated for various reasons
159+ -- (especially if erasure is disabled).
160+ mkConst c | isTypeConst c = "MKINT(42424242)"
157 mkConst c = error $ "mkConst of (" ++ show c ++ ") not implemented"
161 mkConst c = error $ "mkConst of (" ++ show c ++ ") not implemented"
159bcc i (UPDATE l r) = indent i ++ creg l ++ " = " ++ creg r ++ ";\n"
163bcc i (UPDATE l r) = indent i ++ creg l ++ " = " ++ creg r ++ ";\n"