[CakeML-dev] Using multiple basis modules

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Sat Mar 25 02:46:44 UTC 2017

Add arrays into the same linear sequence that includes I/O and update the
basis/dependency-order file accordingly.

The longer term solution is to get the abstract translator working. (There
is an issue, and was some discussion on a wiki page.)

On Friday, 24 March 2017, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
> 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?
> Scott
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170325/ffddfc5e/attachment.html>

More information about the Developers mailing list