Re: HaskellDoc?

2000-03-17 Thread Volker Wysk
Hi On Fri, 17 Mar 2000, Philip Wadler wrote: > Volker suggests using SGML/DSSSL for documentation. If one were to > take this route, I think XML/XSLT would be a more sensible combination. Why do you think so? I see the following advantages of SGML/DSSSL over XML/XSL: - open source tools avail

Re: HaskellDoc?

2000-03-17 Thread Philip Wadler
Volker suggests using SGML/DSSSL for documentation. If one were to take this route, I think XML/XSLT would be a more sensible combination. See http://www.cs.bell-labs.com/~wadler/xml for a quick intro to XML. Runciman and Wallace at York have a nice XML library for Haskell. Volk

Re: HaskellDoc?

2000-03-17 Thread Volker Wysk
Hello I think, using literate programming techniques could be very useful. One could produce all of the following from the same source file(s): 1. Interface (user-level) documentation, 2. User documentation, manuals. 3. The actual Haskell source code, 4. A heavily interlinked HTML version of the

ANNOUNCE: HOpenGL 0.99 released

2000-03-17 Thread Sven Panne
HOpenGL, a Haskell binding for OpenGL and GLUT version 0.99 I am pleased to announce the tenth release of the Haskell binding for GL 1.2.1 / GLU 1.3 / GLUT 3.7beta. It offers easy access to *the* industrial strength 3D graphics API and a GUI toolkit. More de

Re: speed and size of compiled Haskell code

2000-03-17 Thread Carl R. Witty
Fergus Henderson <[EMAIL PROTECTED]> writes: > On 16-Mar-2000, Jan Brosius <[EMAIL PROTECTED]> wrote: > > I wonder if someone could tell me more about the speed and size of compiled > > Haskell code. > ... > > What about Haskell 98 versus (I anticipate) Haskell 2 > > There should be no significa

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread Fergus Henderson
On 16-Mar-2000, Patrik Jansson <[EMAIL PROTECTED]> wrote: > On Thu, 16 Mar 2000, Chris Okasaki wrote: > > newtype Foo = F Foo ... > Hugs and hbc accept it without complaining. (I haven't got nhc installed.) > > What is interesting is that ghc loops when trying to compile this > definition! (Ghc

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread Malcolm Wallace
> The Haskell report explicitly allows recursive newtype definitions. > So why is it reasonable for a compiler to reject them? nhc98 rejects circular newtypes which are semantically bottom, like newtype Void = Void Void newtype A = A B newtype B = B A because it cannot find a represen

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread Fergus Henderson
On 17-Mar-2000, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: > > newtype Void = Void Void deriving Show > > > Hugs and hbc accept it without complaining. (I haven't got nhc installed.) > > nhc98 reports > > > Error when renaming:: > Newtype Main.B

Applied Semantics Summer School APPSEM'2000

2000-03-17 Thread Simao Desousa
Dear Colleagues, I apologize if you receive multiple copies of this message and would be grateful if you could distribute the 2nd Summer School Call For Participation given below Best regards, S. Sousa --

No Subject

2000-03-17 Thread Simao Desousa
Dear Colleagues, I apologize if you receive multiple copies of this message and would be grateful if you could distribute the 2nd Summer School Call For Participation given below Best regards, S. Sousa --

Re: The return of the Void [Was: newtypes]

2000-03-17 Thread malcolm
> newtype Void = Void Void deriving Show > Hugs and hbc accept it without complaining. (I haven't got nhc installed.) nhc98 reports Error when renaming:: Newtype Main.B is circular. Newtype Main.A is circular. Newtype Main.Void is circular.