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
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>
