Make Sockeye case sensitive again
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 12 Jun 2017 08:01:34 +0000 (10:01 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Tue, 13 Jun 2017 12:22:57 +0000 (14:22 +0200)
Prolog backend does not map node IDs to lowercase anymore (uses quotes anyway)

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

tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeChecker.hs

index 4518e20..32e756c 100644 (file)
@@ -35,7 +35,7 @@ instance PrologGenerator AST.NetSpec where
                                           in predicate "net" [atom, node] ++ "."
 
 instance PrologGenerator AST.NodeId where
-    generate (AST.NodeId id) = quotes $ map toLower id
+    generate (AST.NodeId id) = quotes id
 
 instance PrologGenerator AST.NodeSpec where
     generate nodeSpec = predicate "node" [nodeType, accept, translate, overlay]
index d2647b0..c8c6b6e 100644 (file)
@@ -30,7 +30,7 @@ import qualified SockeyeAST as AST
 type CheckFailure = (Maybe AST.NodeId, String)
 
 canonicalId :: AST.NodeId -> AST.NodeId
-canonicalId (AST.NodeId id) = AST.NodeId $ map toLower id
+canonicalId = id
 
 findUniqueIdentifiers :: AST.NetSpec -> Writer [CheckFailure] (Set AST.NodeId)
 findUniqueIdentifiers (AST.NetSpec nodes) = let allIds = map fst $ nodes