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('ga_non_empty_sort_Elem',axiom,(
? [U] : ssElem(U))).
fof('trans',axiom,(
! [U,V,W] : ((ssElem(U) &
ssElem(V) &
ssElem(W)) =>
((ssTilde__(U,V) &
ssTilde__(V,W)) =>
ssTilde__(U,W))))).
fof('irrefl',axiom,(
! [U] : (ssElem(U) =>
~(ssTilde__(U,U))))).
fof('asym',conjecture,(
! [U,V] : ((ssElem(U) &
ssElem(V)) =>
(ssTilde__(V,U) =>
~(ssTilde__(U,V)))))).
%--------------------------------------------------------------------------
</in0><in1>10</in1></ProveTPTPProblem></soapenv:Body></soapenv:Envelope>
More information about the Libraries
mailing list