Sockeye: Generate decimal addresses
ECLiPSe treats hex integers as word length signed
(16'ffffffff == -1 on 32bit architectures)
@@ -76,7 +76,7 @@ instance PrologGenerator AST.NodeType where
generate AST.Other = atom "other"
instance PrologGenerator AST.Address where
- generate addr = "16'" ++ showHex addr ""
+ generate addr = show addr -- Use decimal integers, ECLiPSe treats hex integers as word length signed
instance PrologGenerator a => PrologGenerator [a] where
generate ast = let
