Re: [isabelle] Exception size raised



On 23/12/16 16:29, Artur Gomes wrote:
> However, I'm following your tip, and I'm using the 2016-1 version, and
> it now
> is running with ML System 64. Let's hope it works now. Although, it still
> takes several minutes to print any answer, with a subset of my stuff.

This sounds like there is something odd with your application. How big
are your function definitions? What form do they have?

If something takes unreasonably long, or requires unreasonable amounts
of resources, it needs to be formulated differently.


	Makarius






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.