storing highly shared data structures

2005-12-22 Thread Christian Maeder
Dear Haskell Experts, for storing highly shared data structures we use so called Annotated Terms (shortly ATerms, details below). http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm In contrast to the Binary (or GhcBinary) class we compute the sharing, which saves a lot of space for data

Re: storing highly shared data structures

2005-12-22 Thread Einar Karttunen
On 22.12 14:43, Christian Maeder wrote: How can I detect this sharing in order to avoid traversing the very same symbol table for every symbol? By using System.Mem.StableName SerTH (http://cs.helsinki.fi/u/ekarttun/SerTH/) implements this, so you can look at the source for pointers. I've

Re: darcs switchover

2005-12-22 Thread John Goerzen
On 2005-12-20, Malcolm Wallace [EMAIL PROTECTED] wrote: One thing it occurs to me to ask is what will be happening to CVS commit messages, once the switchover to darcs happens? I have already investigated it, and the short answer is that darcs 1.0.4 now has a way to make darcs apply

Re: darcs switchover

2005-12-22 Thread John Goerzen
On 2005-12-21, Malcolm Wallace [EMAIL PROTECTED] wrote: Ah, yes I have just upgraded to darcs 1.05 (from 1.03), and there are posthooks available for every command now. However, there is FWIW, it is not the posthook but the cc pref for apply that I'm looking at. You can set it so that apply