headers
Wolfgang Jeltsch | 1 Feb 2004 23:57

Haddock index

Hello,

I've generated Haddock HTML documentation for some modules.  There are 
doc-index-≤letter>.html files for 15 letters.  Surprisingly, doc-index.html 
shows only the letters C, D, F, G, I and T.  What's wrong here?

Wolfgang
Permalink | Reply | 1 comment |
headers
Wolfgang Jeltsch | 2 Feb 2004 00:03

Re: Haddock index

Am Sonntag, 1. Februar 2004 23:57 schrieb Wolfgang Jeltsch:
> Hello,
>
> I've generated Haddock HTML documentation for some modules.  There are
> doc-index-≤letter>.html files for 15 letters.  Surprisingly, doc-index.html
> shows only the letters C, D, F, G, I and T.  What's wrong here?
>
> Wolfgang

I'm using Haddock 0.6.

Wolfgang
Permalink | Reply | 0 comments |
headers
Methods for Modalities | 1 Feb 2004 16:02
Picon
Picon
Favicon

ESSLLI 2004: Preliminary Announcement

Excuses for multiple copies.  Please distribute as widely as possible. 

=======================================================================
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 

                   Preliminary Announcement 

                          ESSLLI 2004

               Nancy, France 9-20 August, 2004
=======================================================================
ESSLLI 2004, the 16th European Summer School in Logic, Language and
Information will be held in Nancy, France 9-20 August, 2004.  It is
being hosted by LORIA (the Laboratoire lorrain de recherche en
informatique et ses applications) and will be held on the Campus
Scientifique of the University of Nancy 1 (University Henri Poincare).

ESSLLI is the annual summer school of FoLLI, the European Association
for Logic, Language and Information. Like previous ESSLLIs, ESSLLI
2004 will offer a two week program of foundational lectures,
introductory lectures, advanced lectures, and workshops. All in all,
48 lectures and workshops will be offered.  You can find more
information, including a timetable, at the ESSLLI 2004 website:

   http://esslli2004.loria.fr

Registration for ESSLLI 2004 is not yet open, but on this website you
will already find preliminary information about registration,
accomodation and prices. An email announcement will be sent around
when registation opens.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Simon Marlow | 2 Feb 2004 14:29
Picon
Favicon

RE: Haddock index


> Am Sonntag, 1. Februar 2004 23:57 schrieb Wolfgang Jeltsch:
> > Hello,
> >
> > I've generated Haddock HTML documentation for some modules. 
>  There are
> > doc-index-≤letter>.html files for 15 letters.  
> Surprisingly, doc-index.html
> > shows only the letters C, D, F, G, I and T.  What's wrong here?
> >
> > Wolfgang
> 
> I'm using Haddock 0.6.

It appears that Haddock doesn't think there are any identifiers
beginning with anything other than C D F G I or T.  Either this is true,
or there's a bug somewhere.  Could you send me some code that
demonstrates the problem?

Cheers,
	Simon
Permalink | Reply | 0 comments |
headers
Krasimir Angelov | 2 Feb 2004 23:20
Picon
Favicon

ANNOUNCE: HSQL 1.2 release

Dear Haskellers,

I am pleased to announce the HSQL library version 1.2.

The HSQL is a simple library, which provides interface
to multiple databases. MySQL, PostgreSQL, ODBC and
SQLite are currently supported.

What is new?
~~~~~~~~~~~~

1. The library namespaces are changed as follows:

      - The namespace for ODBC is Database.HSQL.ODBC
instead of Database.ODBC.HSQL
      - The namespace for PostgreSQL is
Database.HSQL.PostgreSQL instead of
Database.PostgreSQL.HSQL
      - The new namespace for MySQL is
Database.HSQL.MySQL

2. A new Database.HSQL module, which is an abstract
database interface, is added. Each database specific
module exports only the "connect" function, which
returns the abstract Connection type. All functions,
which operate on the Connection are exported from the
Database.HSQL. The user can import the database
specific module only in place where the connection is
established and for all other places it is enough to
import only Database.HSQL. The abstraction simplifies
(Continue reading)

Permalink | Reply | 0 comments |
headers
David Sabel | 3 Feb 2004 16:57
Picon
Picon

ANNOUNCE: HasFuse V1.1


                          HasFuse Version 1.1
                          ===================

HasFuse is a modification of the Glasgow Haskell Compiler which has
built-in some precautions for the execution of unsafePerformIO, hence
the name "HasFuse". This means the user does not have to undertake 
the proof obligation that the timing of an I/O-operation wrapped by
unsafePerformIO is independent from each other I/O-operation. 

HasFuse is available as a patch of the GHC 5.04.3 source code from

http://www.ki.informatik.uni-frankfurt.de/~sabel/hasfuse 

On the same location, building instructions and further documentation
can be found.

The semantics of programs which make use of unsafePerformIO is given
by the nondeterministic call-by-need calculus FUNDIO. This calculus
provides an I/O-interface, which can be used to model direct-call
I/O within Haskell. 

The FUNDIO-calculus is published in the technical report "Frank-16",
see

http://www.ki.informatik.uni-frankfurt.de/papers/articles.html#Frank-16

The results of applying the FUNDIO semantics to Haskell and the 
(FUNDIO-) correctness of those program transformations which are 
performed by the GHC are available as "Technical Report Frank-17"
(Continue reading)

Permalink | Reply | 0 comments |
headers
Graham Klyne | 3 Feb 2004 17:11

Spawning a process using Hugs/Win32

I thought I might have a version of POpen that works with Win32/Hugs, but 
I'm only slightly successful.  The function of POpen is to spawn a 
sub-process using the Win32 equivalent of pipes to supply standard input 
and to accept standard output and standard error from the spawned process.

My starting point was a module called Win32Spawn, which I found in 
hslibs/win32 in the GHC source distribution.  I have managed to compile the 
accompanying module and FFI interface into a DLL.  The files used to do 
this are at [1], with the build process outlined in [2].

The key code in the new module POPen.hs [3] is in function "spawn", which 
was adapted from the original module "hslibs/win32/Win32Spawn.hs".  I had 
to change the code for "spawn", because the Hugs interface for function 
openFd is has fewer parameters than that provided by GHC.  The remaining 
parameters seem to be the same as for the GHC version of openFd.

The resulting program has compiled successfully, and the spawned program is 
activated as requested (in this case, curl:  my evidence is that my 
personal firewall is asking me if curl should be allowed to access the 
Internet).

But I also get an I/O exception in the calling program, in function spawn, 
when trying to open a handle to write the spawned process' standard input 
stream.  My evidence for this is by this modification to the code:
[[
         hIn <- catch (openFd (fromIntegral wIn) False WriteMode False)
               (\er -> do { putStrLn ("openFd wIn: "++show er)
                          ; ioError er
                          }
               )
(Continue reading)

Permalink | Reply | 0 comments |
headers
Simon Peyton-Jones | 3 Feb 2004 17:23
Picon
Favicon
Gravatar

RE: Weaving the Web with Haskell

Graham 

Having solid libraries for XML and HTTP would be a jolly good thing.  As
you know, there is plenty of raw material around, but it obviously
doesn't do what you want, yet.

If you, together with other interested parties, were to get together to
do this, the rest of us would be very grateful.  You could do that by
directly working on the libraries distributed with GHC and Hugs (we
could give you CVS access).  Or you could make a separate project of it,
and distribute the stuff separately, which would free you from the GHC
and Hugs's release cycles.  

Simon

| -----Original Message-----
| From: haskell-bounces <at> haskell.org [mailto:haskell-bounces <at> haskell.org]
On Behalf Of Graham Klyne
| Sent: 28 January 2004 12:37
| To: Haskell Mailing List
| Subject: [Haskell] Weaving the Web with Haskell
| 
| For the past week or so, I've been wrestling with various bits of
Haskell
| libraries trying to get an XML parser running under Windows.  Each
time I
| think I've resolved a problem, another pops up to take its place.  So
I
| felt it was a good time to stand back and review my goals and
approach.
(Continue reading)

Permalink | Reply | 835 comments |
headers
Simon Peyton-Jones | 3 Feb 2004 18:17
Picon
Favicon
Gravatar

RE: Hugs/GHC incompatibility


| I think, I've found the problem. GHC seems to not implement
Data.Array.array
| correctly. The implementation doesn't adhere to the following sentence
from
| the Data.Array.IArray.array documentation:
|     If any two associations in the list have the same index, the value
at that
|     index is undefined.
| Could this be fixed?

It's a documented incompatibility with H98 
	
http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs-and-infelic
ities.html#HASKELL98-DIVERGENCE

We don't intend to fix this because fixing it will have a significant
overhead on every array construction. 

Actually I rather think H98 should have left the behaviour of double
indices undefined, rather than defining it to be bottom.  But it's too
late now.

Simon
Permalink | Reply | 2 comments |
headers
andrew cooke | 3 Feb 2004 18:53
Favicon
Gravatar

Re: Weaving the Web with Haskell


HaXml doesn't explicitly handle namespaces, but they appear in the
attribute name.  I've used HaXml on Windows (actually, a subset of the
modules) to implement a simple template engine that relies on an XML
namespace to call functions in Haskell.

So, for example

<p hal:someFun="a b c"/>
is converted into
<p>output from some function called with the arguments a b and c</p>

Andrew

Graham Klyne said:
[...]
> hoped.  Other packages, such as HaXml, seem to be more portable but as far
> as I'm aware are missing key functionality (notably XML namespace
> support).
[...]
--

-- 
personal web site: http://www.acooke.org/andrew
personal mail list: http://www.acooke.org/andrew/compute.html
Permalink | Reply | 0 comments |

Gmane