Hi Ian Ian Lynagh:

On Fri, Oct 19, 2007 at 07:59:37PM +0200, Mads Lindstrøm wrote:

...

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/syb-with-class-0.... (hereafter know as HappS-SYB3). HappS-SYB3 is based on the SYB3 code you mention, but the code has been changed quite a bit compared to using the Shelarcy patch. So it will properly require some more work.

Can you explain what you mean by "require some more work" please?

As far as I can remember the API provided by the code has not changed, the changes have only been improvements to the internal code.

From the original SYB3: gfoldl :: ctx () -> (forall a b. Data ctx a => c (a -> b) -> a -> c b) -> (forall g. g -> c g) -> a -> c a

From Happs-SYB3: gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> a -> w a

looking at the first argument you will see a slight difference. Also the original SYB3 contains the function gfoldlAccum, which the HappS version do not contain. There are other differences too.

...

I have not been able to find any documentation for HappS-SYB3.

The SYB3 paper describes how to use it, but other than that there is no documentation. Of course, if anyone wanted to write some other docs then that would be great!

Yes, that would be great.

...

Thus I have no idea of his position on my usage of HappS-SYB3.

I'm not sure exactly what you're asking. syb-with-class is BSD3-licenced, and anyone is free to use it for whatever they want within the terms of that licence.

I was not referring to the license. To be earnest I can see that I was not clear about what I was referring to :( I was thinking about the level of support. Was this just a library to support HappS, and people could use it but there would be no help if they ran into problems. Or would it receive the same support as the HappS project gives to there users.

Thanks Ian

Greetings, Mads

Mads, Many thanks for your help. i really appreciate it. Best wishes, --greg On 10/19/07, Mads Lindstrøm wrote:

Hi Greg

I forgot to say, that I did not stop using the Shelarcy patch because there was something wrong with the code. On the contrary it served me well for long time.

The reason for using the HappS-version was that I wanted something that was Cabalized and that I thought it was good to minimize the number of SYB3's floating around.

Greetings,

Mads Lindstrøm

...

Haskellians,

Does anyone know the status of SYB3 codebase? It appears that FreshLib critically depends on it, but the code downloadable from http://homepages.cwi.nl/~ralf/syb3/code.html dies in make test on the first test with

lgmaclt:~/work/src/projex/biosimilarity/HS1/Process/haskell/SYB3 lgm$ make test make test1 stem=geq1 ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances -v0 geq1.hs < Main.in > geq1.out

geq1.hs:27:34: Inferred type is less polymorphic than expected Quantified type variable `a1' escapes Probable cause: `geq'' is applied to too few arguments In the first argument of `gzipWithQ', namely `geq'' In the first argument of `and', namely `(gzipWithQ geq' x y)'

<interactive>:1:0: Not in scope: `main' diff -b geq1.out geq1.ref 0a1,4

...

True False False True make[1]: *** [test1] Error 1 make: *** [test] Error 2 lgmaclt:~/work/src/projex/biosimilarity/HS1/Process/haskell/SYB3 lgm$

Is there a newer version of this codebase? Has this functionality been folded into mainline Haskell tree somewhere?

Best wishes,

--greg

-- L.G. Meredith Managing Partner Biosimilarity LLC 505 N 72nd St Seattle, WA 98103

+1 206.650.3740

http://biosimilarity.blogspot.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- L.G. Meredith Managing Partner Biosimilarity LLC 505 N 72nd St Seattle, WA 98103 +1 206.650.3740 http://biosimilarity.blogspot.com