[CakeML-dev] Dependencies

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Sun Dec 25 10:22:38 UTC 2016

The use of compilerComputeLib in backendProof is to evaluate out the
primitive config. It seems plausible to me that this is amongst the
many things that should not be in backendProof. Let's see how things
look after Yong Kiam's reorganisation?

On 19 December 2016 at 14:12, Yong Kiam <tanyongkiam at gmail.com> wrote:
> Doesn't normal EVAL work for the stuff in backendProof?
> I don't think the computeLib eval is very different from EVAL except for the
> target encoder compsets (which backendProof shouldn't depend on)
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers

More information about the Developers mailing list