- Glasgow-haskell-users

Re: GHC version 5.00.2 is available
by Juan Carlos Arevalo Baeza 18 Jun '01

18 Jun '01

At 07:46 AM 6/18/2001 -0700, Julian Seward (Intl Vendor) wrote: >The (Interactive) Glasgow Haskell Compiler -- version 5.00.2 > >[...] > >Pre-built >packages for Linux, FreeBSD, and Solaris(sparc) are also available. > >[...] > > What's new in 5.00.1 >====================== > >[...] > >At the moment there is no Win32 build of 5.00 or 5.00.1 available. We >decided to push Win32 support to the 5.02 release, so as not to delay >5.00.1 any further. So, what's up? I've been completely unable to build it (the previous version) on my own... It says it requires Happy, and no matter what I do (Happy build just fine), it doesn't see it. No hurry, but still, I'd like to play with this new version. Salutaciones, JCAB --------------------------------------------------------------------- Juan Carlos "JCAB" Arevalo Baeza | http://www.roningames.com Senior Technology Engineer | mailto:jcab@roningames.com Ronin Entertainment | ICQ: 10913692 (my opinions are only mine) JCAB's Rumblings is so off-line O:-(

1 0

extra_ghc_opts
by S.D.Mechveliani 18 Jun '01

18 Jun '01

To my >> The lack of extra_command_line_opts is not important, >> but I wonder, why make things worse? >> [..] >> I thought the idea of -package was to collect in one place all >> the project-specific settings. For example, for my project docon, >> I need >> doconOpts = -fglasgow-exts -fallow-this-and-this ... Simon Marlow <simonmar(a)microsoft.com> writes > I'm in two minds about this. At the moment, using a -package option > does two well defined things: > > - it brings a set of modules into scope > - it links in the object code for those modules > > According to the Principle of Least Astonishment, we should force the > user to add any extra options himself, because if '-package wibble' > automatically adds a number of language-feature options then it's just > too magical and non-obvious. > > On the other hand, I presume you *need* these options in order to be > able to use Docon, so adding them automatically would seem reasonable. > > Opinions, anyone? To add or not to add automatically the language-feature options, or many other options, this is up to the designer of the package. The designer is always free to set [] in the package. And you were going to desable this choice (concerning package). ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

RE: Installation
by Simon Peyton-Jones 18 Jun '01

18 Jun '01

We have been labouring over the last few weeks to get a GHC that runs on Windows and does not require you to install anything else does not intefere with anything else you already have installed (notably cygwin) It was a big surprise to me how hard it is to achieve these two objectives simultaneously on a Windows machine. We are now (very) nearly there, after many exciting learning experiences. We're going to put out a thrill-seekers Win2k release of GHC 5 with the above properties. "Thrill-seekers" because it'll be the head of the tree and hence incorporate various things that 5.00.2 doesn't have but which are slightly less stable. So I think the simplest thing is to wait a week or two. If you are in a hurry, install GHC4.08.2, and cygwin, check out the HEAD, and say 'make'. (Works for me...) Simon | -----Original Message----- | From: Amit Garg [mailto:amitji@cs.utexas.edu] | Sent: 17 June 2001 22:39 | To: glasgow-haskell-users(a)haskell.org | Subject: Installation | | | Hello. | | Is there a simple way to get running with ghc over win2k? I | used the ghc4.08 installer ... but it doesnt like my cygwin. | I couldnt use it to compile hdirect or upgrade to ghc5. The | mkdepend script quits with a 'signal 127' message. Any help | would be most appreciated. | | -Amit Garg. | | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users |

1 0

Ray Tracing
by Heron 17 Jun '01

17 Jun '01

Hello Haskell & GHC people, I need the source code of a Ray Tracing written in Haskell. This code was used for parallelization using Caliban and Eden. Can you help me on how or where I can obtain it ? Heron de Carvalho, Msc.

2 1

5.00.1 performance test
by S.D.Mechveliani 15 Jun '01

15 Jun '01

Dear ghc-5.00.1 (binary, linux, i386-unknown), Here are some information on performance that may occur useful. Choose n, run test n in various modes and compare the timings. It consists mainly of merge sorting of a list of Int-s combined with reversing. The particular points I find are * ghc -interactive runs the compiled with -O code 1.4 times slower than it is for the batch mode and needs considerably larger minimal heap to obtain the result. * the performace difference between -O and -Onot looks small. ----------------- Serge Mechveliani mechvel(a)botik.ru -- statistics for test 55000 ------------------------- ghc-5.00.1 -interpreted time (under large heap) = 13.3 sec, minimal-needed(Heap -M...) = 12Mb compiled with -O -fvia-C -O2-for-C, loaded and run from -interactive time = 3.1, min(Heap) = 9Mb linked and run in batch mode 2.2 5Mb -Onot, run from -interactive 3.8 10Mb ghc-4.04 -Onot time for -M9m -H8m = 3.5 sec. -------------------------------------------------------- module CompPlatf (test) where -- main = putStr $ shows (test 55000) "\n" test :: Int -> Int test n = max' $ sort' $ zipWith (-) (reverse xs) xs where xs = [1..n] max' :: Ord a => [a] -> a max' [x] = x max' (x:y:xs) = case compare x y of LT -> max' (y:xs) _ -> max' (x:xs) sort' :: Ord a => [a] -> [a] sort' xs = s $ mergePairs [[x] | x <- xs] where s [] = [] s [xs] = xs s xss = s $ mergePairs xss mergePairs (xs:ys:zss) = (merge xs ys):(mergePairs zss) mergePairs xss = xss merge :: Ord a => [a] -> [a] -> [a] merge [] ys = ys merge xs [] = xs merge (x:xs) (y:ys) = case compare x y of GT -> y:(merge (x:xs) ys) _ -> x:(merge xs (y:ys))

1 0

RE: resumeThread cannot find the thread! (GHC/HDirect)
by Reuben Thomas 13 Jun '01

13 Jun '01

You need to use H/Direct 0.17, which unfortunately you have to compile from source. 0.16 (which I presume you're using) doesn't work with GHC 4.08.2. I checked your example against the CVS HEAD version of H/Direct, and it worked fine, except that I had to make the following changes (to correct unintentional errors, I presume): [incr.c] + #include <windows.h> - BOOL WINAPI DllMain(args...) { return TRUE; } + BOOL WINAPI DllMain(args) { return TRUE; } int __declspec(dllexport) incr(int x) { return x + 1; } [incr.idl] module Incr { [pure]int incr([in]int); } [Main.hs] module Main(main) where + import Incr main = print (incr 2)

2 1

RE: Empty Datatypes in GHC 5?
by Simon Peyton-Jones 11 Jun '01

11 Jun '01

Done, in the HEAD at least. Simon | -----Original Message----- | From: Ashley Yakeley [mailto:ashley@semantic.org] | Sent: 08 June 2001 01:14 | To: GHC List | Subject: Empty Datatypes in GHC 5? | | | I just joined this list after finally obtaining an i386 | machine primarily | for the purpose of running GHC (I ssh/ftp to it from my Mac). | | A quick question: is there an option to allow empty datatypes in GHC | 5.00? I couldn't see one in the manual. They are useful for type | parameterisation, for instance: | | data Zero; | data Succ n; | | Unfortunately this is contrary to the Haskell Report. | Nevertheless, Hugs | allows it. But GHC, apparently, does not. | | -- | Ashley Yakeley, Seattle WA | | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users |

1 0

Fundeps and -fallow-overlapping-instances
by Ashley Yakeley 10 Jun '01

10 Jun '01

My exploration into the more unusual and powerful uses of class fundeps has discovered some curiosities. For instance, consider this: -- class X a instance X Bool instance (Num a) => X a -- For as long as "instance Num Bool" is not declared, the two instances do not de facto overlap. But that's not immediately obvious to GHC, so it will complain, at least by default. But I can stop it complaining by passing -fallow-overlapping-instances, which I interpret as asking GHC to trust me that instances don't overlap. But consider this, with an added dependent argument: -- class X a b | a -> b instance X Bool Bool instance (Num a) => X a Char -- Now GHC will complain even with -fallow-overlapping-instances. This seems inappropriate. So why have the fundep? Well, GHC can still make use of it, and it can still calculate the dependent type: -- class X a b | a -> b where { foo :: a -> b; }; instance X Bool Bool where { foo a = a; }; instance (Num a) => X a Char where { foo a = 'N'; } test = foo True; -- Without the fundep, GHC cannot calculate 'foo True', since 'instance X Bool Bool' is not general enough. This is correct. But with the fundep, GHC will complain that it can't prove that the two instances don't conflict for the fundep, even with -fallow-overlapping-instances. -- Ashley Yakeley, Seattle WA

1 0

resumeThread cannot find the thread! (GHC/HDirect)
by KAKIHARA Norihiro 08 Jun '01

08 Jun '01

I have tried to use FFI on Windows with GHC/HDirect, but the compiled program won't have run: incr.exe: fatal error: resumeThread: thread not found This is my sources and traces. I don't know why such an error has occured (thread, why?). How I force this program to find the thread? (I have made sure `Hello' program can have been compiled normally...) -- SOURCES ------------------------------------- [incr.c] BOOL WINAPI DllMain(args...) { return TRUE; } int __declspec(dllexport) incr(int x) { return x + 1; } [incr.idl] module Incr { [pure]int incr([in]int); } [Main.hs] module Main(main) where main = print (incr 2) -- TRACES --------------------------------------- gcc -mno-cygwin -shared -o incr.dll incr.c -Wl,--out-implib,incr.a ihc incr.idl ghc -fglasgow-exts -package lang -c incr.hs # manually replace `incr@4' into `incr@\NUL\NUL'... # (probably it should be done with .def file :o) ghc -fglasgow-exts -c main.hs ghc -fglasgow-exts -i. -o incr.exe incr.o main.o incr.a -- ENVIRONMENT ----------------------------------- OS : Windows 98 GHC Version : 4.08.2 (Windows InstallShield) with sh.exe in ash-200010425 HDirect Version : 0.60 (Windows InstallShield)

1 0

RE: Ambiguos Types
by Simon Peyton-Jones 08 Jun '01

08 Jun '01

1 0