Re: [Haskell] ANNOUNCE: Graphalyze-0.4 and SourceGraph-0.2

2008-10-12 Thread Gwern Branwen
On 2008.10.13 09:01:42 +1000, Ivan Lazar Miljenovic <[EMAIL PROTECTED]> scribbled 1.3K characters: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On Sun, 12 Oct 2008 13:24:40 -0400 > Gwern Branwen <[EMAIL PROTECTED]> wrote: > > > > However, I happened to want to look at the output for one o

Re: [Haskell] ANNOUNCE: Graphalyze-0.4 and SourceGraph-0.2

2008-10-12 Thread Ivan Lazar Miljenovic
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Sun, 12 Oct 2008 13:24:40 -0400 Gwern Branwen <[EMAIL PROTECTED]> wrote: > > However, I happened to want to look at the output for one of my modules, > XMonad.Util.XSelection - and it simply isn't there. Most of the XMC modules > seem to be there,

[Haskell] Abusing quickcheck to check existential properties

2008-10-12 Thread Norman Ramsey
I recently used QuickCheck to check on some calculations for image compression. (I love exact rational arithmetic!) But I thought only to check for inverse properties, and I realized afterward I had failed to check for ranges. For example I should have checked that boundedB block = -1 <= b &&

Re: [Haskell] ANNOUNCE: Graphalyze-0.4 and SourceGraph-0.2

2008-10-12 Thread Gwern Branwen
On 2008.10.12 23:54:44 +1000, Ivan Lazar Miljenovic <[EMAIL PROTECTED]> scribbled 6.4K characters: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > I'd like to announce version 0.4 of my Graphalyze library [1] and 0.2 of my > SourceGraph programme [2]. > > [1] http://hackage.haskell.org/cgi-b

[Haskell] Could not deduce .. why ?

2008-10-12 Thread Marc Weber
Surely I've overseen a small point. But I can't see it: Why doesn't ghc recognize taht elc_ (class decl), elc (instance decl) and elc_1 are the same type To help you find the connecting pieces faster I've marked them with ## ## Marc data PT a b = PT b -- phantom type containing state a and the

[Haskell] ANNOUNCE: Graphalyze-0.4 and SourceGraph-0.2

2008-10-12 Thread Ivan Lazar Miljenovic
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 I'd like to announce version 0.4 of my Graphalyze library [1] and 0.2 of my SourceGraph programme [2]. [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Graphalyze [2] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SourceGraph