Add arrays into the same linear sequence that includes I/O and update the basis/dependency-order file accordingly.<br><br>The longer term solution is to get the abstract translator working. (There is an issue, and was some discussion on a wiki page.)<br><br>On Friday, 24 March 2017, Scott Owens <<a href="mailto:S.A.Owens@kent.ac.uk">S.A.Owens@kent.ac.uk</a>> wrote:<br>> I’m trying to verify a program with CF that uses both arrays and I/O from the basis. I don’t see how to make this work, since you only seem to be able to do 1 translation_extends. Any ideas?<br>><br>> Scott<br>> _______________________________________________<br>> Developers mailing list<br>> <a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>> <a href="https://lists.cakeml.org/listinfo/developers">https://lists.cakeml.org/listinfo/developers</a><br>>