Re: [CZT-Devel] Reducing memory usage: Signatures are the biggest culprit?

[Andrius V. <and...@ne...>]

Dear Anthony,

On Sat, Apr 13, 2013 at 9:46 AM, Anthony Hall <an...@an...>wrote:

>
> I have a selfish follow up question. Assuming Tim can confirm that this,
> or something like it, is acceptable then would you be able to do a bit of
> work on this? It’s true that I had very diffidently volunteered to look at
> this area, but it would be clearly much more effective and efficient for
> you, who obviously know what you are doing, to look at it than for me to
> spend a lot of time groping around and wasting your time asking dumb
> questions. Of course I’d be extremely happy to help with any testing,
> especially if you get to the point where typechecking large specifications
> becomes feasible (at the moment it simply isn’t possible to typecheck the
> whole of the iFACTS spec in CZT on any machine I’ve been able to try.)
>

Unfortunately, I cannot promise too much. In my current stage of PhD, I
have quite a lot of pressing things to do there. I will check with Leo how
we can approach this - but sometimes coding is the thing I do to relax,
so.. :)

First though, it would be good to know about mutability/ID uniqueness of
Signatures and other typechecker artifacts.


> ****
>
> ** **
>
> Anyway, I’m really encouraged by this result and thank you so much for
> doing this – I’m delighted (and impressed!)****
>
> ** **
>
> Anthony
>

Thanks, I appreciate your comments! :)

Andrius

> **
>