Adapt vAsFirstOrderType to saw-core tuple representation.

Since saw-core revision 5c0f54e0 (December 2018), tuple types are no longer nil-terminated.
GaloisInc · Dec 3, 2019 · fd1f993 · fd1f993
1 parent 3af64d2
commit fd1f993
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Verifier/SAW/Simulator/What4.hs b/src/Verifier/SAW/Simulator/What4.hs
@@ -700,7 +700,7 @@ vAsFirstOrderType v =
             t2 <- vAsFirstOrderType v2
             case t2 of
               FOTTuple ts -> return (FOTTuple (t1 : ts))
-              _ -> Nothing
+              _ -> return (FOTTuple [t1, t2])
     VRecordType tps
       -> (FOTRec <$> Map.fromList <$>
           mapM (\(f,tp) -> (f,) <$> vAsFirstOrderType tp) tps)