June 2005 - Glasgow-haskell-users

RE: 5.02
by Simon Marlow 10 Jun '05

10 Jun '05

On 10 June 2005 08:58, Serge D. Mechveliani wrote: > Now, I indeed, intend to compare 6.4 to 5.02 on several examples, > downloaded > ghc-5.02.3 and tried to make it with ghc-6.4 Yes, that's unlikely to work. Cheers, Simon

2 2

runghc <- ghc
by Serge D. Mechveliani 10 Jun '05

10 Jun '05

I wrote recently about replacing "runghc configure" with "ghc -configure" and such. But I observe now `runhaskell' instead of `runghc' in docs on Cabal. I always wrote a typo runghc (probably, had copied it from somewhere), and it works! `runhaskell' may make difference to my suggestion, because some functionality may tend to have Haskell-wide command names ... I see. ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

runghc <- ghc
by Serge D. Mechveliani 10 Jun '05

10 Jun '05

Dear GHC developers, Why do you introduce the runghc command for Cabal, while everyting is done by the `ghc' driver ? We have ghc -c ghc --make ... Cabal is a part of GHC. So, it is natural to continue: ghc -configure ghc -build ghc -install And the user would not need to deal with a new notion of `runghc'. With kind regards, ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

5.02
by Serge D. Mechveliani 10 Jun '05

10 Jun '05

On Jun 09, 2005 Simon Marlow wrote: > On 09 June 2005 11:47, Serge D. Mechveliani wrote: > > >> A difference of 2.5Mb is really very small. If you could show that > >> the space usage is linear in one case and flat in another, then we > >> have a problem. > > > > But a ratio 2600 K / 200 K for n = 55000 is not so small. > > > > I never tested this, but what if in this mergeSort-like example the > > space sizes are > > space.6.4(n) = 13*space.5.02(n) > > > > (which has the above ratio for n = 55000) > > ? > > If you can demonstrate that GHC 6.4 uses 13 times more space than 5.02 > on your example, then that's a performance bug - but all you showed so > far is that 6.4 uses 2.5Mb more space. i.e. you need to do a few more > measurements for different values of n. I hope, this will be impossible to demonstrate. This measurement report for 55000 was stored several years ago. Now, I indeed, intend to compare 6.4 to 5.02 on several examples, downloaded ghc-5.02.3 and tried to make it with ghc-6.4 on recent Debian Linux. But it falied. It looks difficult to port 5.02.x to recent Debian Linux. ---------------------------------------------------- ---------------------------------------------------- ... ... > primop-primop-info.hs-incl ../../glafp-utils/mkdependC/mkdependC -f ... /usr/bin/ghc -M -optdep-f -optdep.depend ... -recomp -Rghc-timing -H16M -O utils/Bag.lhs utils/BitSet.lhs ... /StixPrim.lhs main/Config.hs rename/ParseIface.hs parser/Parser.hs main/ParsePkgConf.hs utils/FastTypes.lhs:41: warning: extra tokens at end of #else directive utils/FastTypes.lhs:62: warning: extra tokens at end of #endif directive ... nativeGen/MachMisc.lhs:72: unterminated argument list invoking macro "IF_ARCH_alpha" <<ghc: 147259508 bytes, 65 GCs, 2329439/5098104 avg/max bytes residency (4 samples), 20M in use, 0.06 INIT (0.00 elapsed), 1.60 MUT (6.64 elapsed), 0.33 GC (0.36 elapsed) :ghc>> make[2]: *** [depend] Error 1 make[1]: *** [boot] Error 1 make[1]: Leaving directory `/home/mechvel/ghc/5.02.3/ghc-5.02.3/ghc' make: *** [all] Error 1 ------------------------------------------------ ------------------------------------------------ ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

RE: [Haskell] Template Haskell Question: Spliced expr. of type TypeQ
by Simon Peyton-Jones 09 Jun '05

09 Jun '05

[Redirecting to GHC users] I'm afraid I never got around to implementing splices in types, I'm afraid. Interestingly, you are the first person who's asked for them. I forget the details... it's not a massive job to implement them, but not trivial either. If this is important for other people too, feel free to let me know. Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Eike M. | Scholz(a)gmx.de | Sent: 06 June 2005 23:10 | To: haskell(a)haskell.org | Subject: [Haskell] Template Haskell Question: Spliced expr. of type TypeQ | | Hi, | | maybe someone can help me with this: | | I was wandering if I could do something similar to Depended Types | using Template-Haskell. The documentation of GHC (6.2.2 and | 6.4) says that a splice may occur in place of a type, but I | get a parse error when I try that. | | So here is what I did: | | made a Module Templates: | | module Templates where | | expr = [| 1337*7331 |] | decl = [d| hello = putStr "Hello\n"|] | ty = [t| Int |] | | | and made test file: | | import Templates | | $(decl) -- works well (tested with ghci) | | e = $(expr) -- works also well | | i :: ($tyr) -- gives a parse error | i = 1 | | | I would be really happy if someone knows how to make the last example | must be written, or if that works at all. (If not, maybe the | Documentation should get updated) | | and thanks you for reading this posting, anyway. | | -- Eike | | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

2 1

RE: impressions on ghc-6.4
by Simon Marlow 09 Jun '05

09 Jun '05

On 09 June 2005 11:47, Serge D. Mechveliani wrote: > On memory expense > ----------------- > >> A difference of 2.5Mb is really very small. If you could show that >> the space usage is linear in one case and flat in another, then we >> have a problem. > > But a ratio 2600 K / 200 K for n = 55000 is not so small. > > I never tested this, but what if in this mergeSort-like example the > space sizes are > space.6.4(n) = 13*space.5.02(n) > > (which has the above ratio for n = 55000) > ? If you can demonstrate that GHC 6.4 uses 13 times more space than 5.02 on your example, then that's a performance bug - but all you showed so far is that 6.4 uses 2.5Mb more space. i.e. you need to do a few more measurements for different values of n. Cheers, Simon

1 0

setup clean in 6.4 Cabal
by Serge D. Mechveliani 09 Jun '05

09 Jun '05

The Cabal documentation for ghc-6.4 writes 3.8. setup clean ... configure or build steps Does this mean the command runghc Setup.hs clean ? I run such, and it cleans dist/*. All right. Now, what is a similar easy command for un-installing (remove .../lib/*) ? Currently, I apply rm -rf $(myPackageInstallDir)/*, but, maybe, there should be something similar to the `clean' command? ----------------- Serge Mechveliani mechvel(a)botik.ru

2 2

-O looks all right
by Serge D. Mechveliani 09 Jun '05

09 Jun '05

Forget, please, of what I wrote recently about -O doubt in ghc-6.4. I re-built the Dumatel package, and now the full test for -O shows 2 times speed up, as expected. Regards, ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

RE: impressions on ghc-6.4
by Simon Marlow 09 Jun '05

09 Jun '05

On 08 June 2005 12:27, Serge D. Mechveliani wrote: > Cabal > ----- > > It looks good. Thanks to developers. > Long ago I asked for the building tool in GHC which would allow to > avoid composing Makefile-s, with their difficult syntax and > odd-looking system commands: `ar', `ld', and such. > Now, Cabal does what I asked for. Glad you like it. See, we do listen sometimes! :-) > Remarks: > * maybe, `version' should not be mandatory in the package > specification? > * " version: 5.02 " (imagine "ghc-5.02") converts to "5.0.2" . > Could it allow digit sequences separated by period? 5.02 is parsed as 5.2 by the Version parser: > readP_to_S parseVersion "5.02" [(Version {versionBranch = [5], versionTags = []},".02"),(Version {versionBranch = [5,2], versionTags = []},"")] so I'm not sure what you're referring to here. Could you give a concrete example? > -O, memory management > --------------------- > > In ghc-6.2.2 the test for dumatel-1.02 > runs 2 times faster when Dumatel is built under -O. > And in ghc-6.4, the time does not differ. > > Then, I tried the benchmark with certain mixture of list operations: > user-written maximum and mergeSort, `reverse' and `zip' of GHC > -- find enclosed the source. > > -O is 1.3 faster than -Onot. > The speed looks like in ghc-5.02 (I think, this is all right). > 5.02 was able to run `main' for n = 55000 in 200 Kb memory. > 6.4 needs 2600 Kb. > Probably, 5.02 is distinguished among other versions in memory > management. A difference of 2.5Mb is really very small. If you could show that the space usage is linear in one case and flat in another, then we have a problem. Cheers, Simon

2 1

RE: How to open device as a IO Handle
by Simon Marlow 09 Jun '05

09 Jun '05

On 09 June 2005 02:47, Lei Pan wrote: > Could anyone tell me how to open a block device (e.g., /dev/hda1) > into a > IO Handle by using GHC (version > 5.0)? I want to open a block/char > device and return a handle. Apparently, openFile function can't do the > job. It will be very appreciated if someone could give me a hint. > > An earlier post pointed out the problem, but got no reply. > http://www.haskell.org/pipermail/glasgow-haskell-users/2001-November/002 624.html > > Something I played in GHCI-6.2.2 > > *Main> openFile "/dev/hdb2" ReadMode >>= \hin -> hGetPosn hin >>= > \pos -> print pos > > *** Exception: /dev/hdb2: openFile: unsupported operation (unknown > file type) > > (I already set /dev/hdb2 globally read/write) I'll look into fixing this. In the meantime, you should be able to use the System.Posix library to open the file directly, and then convert the FD to a Handle using GHC.Handle.openFd (I don't think fdToHandle will work in this case, because it checks the file type). Bear in mind that GHC.Handle.openFd is an internal undocumented interface, so may change in the future. Cheers, Simon

1 0