[CakeML-dev] Dependencies

[Ramana Kumar]

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
>