HTTP-4000.0.9

Christian Maeder Christian.Maeder at dfki.de
Fri Jul 23 10:40:28 EDT 2010


Hi all,

did someone hear from Sigbjorn, recently? I'm worried about the
the maintainer of http://hackage.haskell.org/package/HTTP

The issue tracker is terribly full of spam:
http://trac.haskell.org/http/report/1

Cheers Christian

-- original message

Hi Sigbjorn,

Under x86 solaris the attached example with simpleHTTP no longer works.
The request blocks.

It works with HTTP-4000.0.8! And it works under linux with HTTP-4000.0.9!

What changed? Do you have an explanation?

Thanks Christian


-------------- next part --------------
A non-text attachment was scrubbed...
Name: Soap.hs
Type: text/x-haskell
Size: 459 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/libraries/attachments/20100723/ea67f52d/Soap-0001.bin
-------------- next part --------------
<soapenv:Envelope encodingStyle="http://schemas.xmlsoap.org/soap/encoding/" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:soapenv="http://schemas.xmlsoap.org/soap/envelope/"><soapenv:Body><ProveTPTPProblem><in0>%--------------------------------------------------------------------------
% File     : No information
% Domain   : No information
% Problem  : asym.dfg
% Version  : No information
% English  : No information

% Refs     : No information
% Source   : No information
% Name     : [soapTest]

% Status   : unknown
% Rating   : ?
% Syntax   : No information

% Comments : File generated by dfg2tptp Version 0.47a
%--------------------------------------------------------------------------
fof(&#39;ga_non_empty_sort_Elem&#39;,axiom,(

? [U] : ssElem(U))).
fof(&#39;trans&#39;,axiom,(

! [U,V,W] : ((ssElem(U) &#38;
 ssElem(V) &#38;
 ssElem(W)) =&#62;
 ((ssTilde__(U,V) &#38;
 ssTilde__(V,W)) =&#62;
 ssTilde__(U,W))))).
fof(&#39;irrefl&#39;,axiom,(

! [U] : (ssElem(U) =&#62;
 ~(ssTilde__(U,U))))).
fof(&#39;asym&#39;,conjecture,(

! [U,V] : ((ssElem(U) &#38;
 ssElem(V)) =&#62;
 (ssTilde__(V,U) =&#62;
 ~(ssTilde__(U,V)))))).
%--------------------------------------------------------------------------
</in0><in1>10</in1></ProveTPTPProblem></soapenv:Body></soapenv:Envelope>


More information about the Libraries mailing list