RE: GHC 6.0, Mingw32 and RTS

2003-07-28 Thread Simon Marlow
--enable-win32-dlls doesn't work at the moment. Cheers, Simon -Original Message- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Michael Adams Sent: 25 July 2003 22:27 To: [EMAIL PROTECTED] Subject: RE: GHC 6.0, Mingw32 and RTS I found the cause of the

ghci and readline under Windows

2003-07-28 Thread Antony Courtney
Hi all, On my system (WinXP Pro, Cygwin net release) using ghc 5.04.3, ghci does not seem to use readline for interactive editing from the command line prompt, while hugs does. I find interactive command line editing invaluable in an interactive interpreter, particularly during testing. Is

Re: case-identity

2003-07-28 Thread David Sabel
In Core, the list of alternatives is always exhaustive. Ok, thanks. So I assume the dead alternative elimination is no longer done in the simplifier? ( The dead alternative elimination is defined as: case x of=== case x of P1 - E1 P1 - E1 ...

Configure GMP and Mingw32

2003-07-28 Thread Michael Adams
The following lines are in fptools/ghc/rts/Makefile. They handle configure'ing GMP, but contrary to what the comment indicates these lines *cause* problems when I'm building for mingw32 from cygwin. I have to edit the makefile so that the first branch (the one that passes 'host') is taken