TraverseNames for EPropGuards

GaloisInc · Sep 28, 2022 · bed32f8 · bed32f8
1 parent 6fea305
commit bed32f8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Cryptol/IR/TraverseNames.hs b/src/Cryptol/IR/TraverseNames.hs
@@ -79,6 +79,9 @@ instance TraverseNames Expr where
       EProofApp e       -> EProofApp <$> traverseNamesIP e
       EWhere e ds       -> EWhere <$> traverseNamesIP e <*> traverseNamesIP ds
 
+      EPropGuards gs t  -> EPropGuards <$> traverse doG gs <*> traverseNamesIP t
+        where doG (xs, e) = (,) <$> traverseNamesIP xs <*> traverseNamesIP e
+
 instance TraverseNames Match where
   traverseNamesIP mat =
     case mat of