Sockeye: Generate decimal addresses
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 4 Aug 2017 13:48:27 +0000 (15:48 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 4 Aug 2017 13:48:27 +0000 (15:48 +0200)
ECLiPSe treats hex integers as word length signed
(16'ffffffff == -1 on 32bit architectures)

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

tools/sockeye/SockeyeBackendProlog.hs

index c6ffd0b..c330c81 100644 (file)
@@ -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