[CakeML-dev] Using multiple basis modules

Scott Owens S.A.Owens at kent.ac.uk
Fri Mar 24 16:12:07 UTC 2017

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?


More information about the Developers mailing list