- Glasgow-haskell-users

specifying main on command line
by Hal Daume III 29 Apr '02

29 Apr '02

This was in response to a post I made and I would really really like to see something like this in ghc (I don't particularly care if f is IO a or IO (), though). > Ack! This kind of change would be good, but it doesn't go quite far > enough. In my opinion, you should be able to specify --main=M.f, where > M is any module and f is anything of type IO a for some a.

1 0

RE: powerpc-linux port
by Simon Marlow 29 Apr '02

29 Apr '02

> No, actually I'd like to have GHC, because many libraries I want to > use depend on it. But good that you point this out, maybe it would be > possible to have NHC compile GHC... Although the FAQ says it > would most probably not work. It most *definitely* would not work ;-) To bootstrap the unregisterised version, I suggest starting from version 4.08.2. The reason is that bootstrapping more recent versions from .hc files is significantly more difficult (but hopefully should get easier again soon...). Cheers, Simon

2 1

powerpc-linux port
by Sven M. Hallberg 29 Apr '02

29 Apr '02

Hi, what happened to the PPC Linux port? I would do it myself, but I have no clue about - compilers, - the PowerPC architecture, or - how to bootstrap GHC. However, I'm a curious person, so anyone feeling like sharing some knowledge will be greatly appreciated. I see there is already working support for Darwin. What will have to be adjusted to get from powerpc-apple-darwin to powerpc-unknown-linux? I've tried to manage a bootstrap compile but failed already at generating the hc files (on i386-unknown-linux). How To?? Can anyone produce a definitive guide? Best regards, Sven Moritz

4 4

ghc binaries for sparc-debian-linux?
by Johannes Waldmann 27 Apr '02

27 Apr '02

Dear all, we need ghc on an ultra sparc running debian linux. Before we embark on building from hc-files (the correct way to go?), perhaps are there binary packages of ghc somewhere around? Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe(a)informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --

1 0

RE: module namespaces with "Prelude"
by Simon Marlow 25 Apr '02

25 Apr '02

> On Thursday, April 25, 2002, at 03:00 , Alastair Reid wrote: > > >> Now, since there's nothing that prevents the directory hierarchies > >> starting at these roots from overlapping, we have a potential for > >> ambiguity when we want to map module names to filenames. > > > > This suggests that we might want to modify the search algorithm to > > find all matches and report and error if two or more candidate files > > are found. If this is a big performance hit, we could make > it a :set > > option. > > But wouldn't that just prohibit the use of module names that > also appear in the standard libraries? At least we need to stop > searching the directory of the importing module to make > something useful of this idea. I agree with Alastair - I think it should be an error if there are two modules with the same name on the search path. If it weren't for (a) the performance hit and (b) the difficulty in portably determining whether two pathnames refer to the same file, I'd have made GHCi do this already. Yes, it would prohibit the use of module names that also appear in the standard libraries. But after all we're moving to hierarchical libraries so there's no need to do that any more! Cheers, Simon

2 1

RE: module namespaces with "Prelude"
by Hal Daume III 25 Apr '02

25 Apr '02

It happens in Hugs, too, but somewhat differently. Here's a test case. Go to /foo and do mkdir Bar. In Bar, create IO.hs and make its contents: module Bar.IO where then also in Bar create Foo.hs module Bar.Foo where import IO Then when in directory Bar load ghci (using 5.02.1) and load Bar.Foo and you'll get: IO.hs: file name does not match module name `IO' Quit ghci, load hugs and load Bar.Foo and you'll get: ERROR "Foo.hs" - Module "IO" not previously loaded (worse things can happen in hugs -- if say Bar.IO imported Bar.Foo and plain Bar.Foo imported plain old IO hugs will complain about cyclic modules) if you are in /foo instead of /foo/Bar when you load ghci and set paths correctly it will work. I don't know that this is exactly a bug in the software as much as it's just somewhat underspecified what to do in these situations (I could be wrong though). IMO if you say in an import "import XXX" and it looks in XXX.(l)hs and the module names is "YYY.XXX" it should keep looking instead of just dying. I don't really know what repurcussions this will have, though. -- Hal Daume III "Computer science is no more about computers | hdaume(a)isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume On Mon, 22 Apr 2002, Simon Peyton-Jones wrote: > Hal, > > If your question is GHC-specific, send it to ghc-users not the haskell > list. > > And it would save time if you could be more specific. Say what > compiler > you are using, enclose a test case, etc. Otherwise we're all guessing. > > Simon > > | -----Original Message----- > | From: Hal Daume III [mailto:hdaume@ISI.EDU] > | Sent: 23 April 2002 03:21 > | To: Alastair Reid > | Cc: Haskell Mailing List > | Subject: Re: module namespaces with "Prelude" > | > | > | Ah, so the problem was that even though I had the superdir of > | NLP in my path, I was actually loading the modules in ghci > | from the NLP directory. Still, I find this behavior odd, > | since even if I were in the NLP directory I could not import > | "NLP.Foo" simply as "Foo", I don't see why I should be > | allowed to (try to) import "NLP.Prelude" simply as "Prelude", > | thus messing stuff up... > | > | -- > | Hal Daume III > | > | "Computer science is no more about computers | hdaume(a)isi.edu > | than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume > | > | On 23 Apr 2002, Alastair Reid wrote: > | > | > > | > >>>>> "#Hal" == Hal Daume <hdaume(a)ISI.EDU> writes: > | > > | > > I'm developing my package "NLP" for supporting common NLP > | functions > | > > and have a set of functions/datatypes that are common to > | almost all > | > > of my modules and I wanted to separate them off into an > | > > "NLP.Prelude" file, but this seems not to work. One of > | my modules > | > > imports Prelude (the Haskell one) directly so I can hide a few > | > > definitions, but then it looks at NLP/Prelude.lhs and > | complains that > | > > the name of that module "NLP.Prelude" doesn't match "Prelude". > | > > SHould I simply name my module "NLP.NLPPrelude" or > | something (which > | > > is ugly, imo) or what? > | > > | > The only change that hierarchial module namespaces make is that the > | > dots become a legal part of the name and that compilers have a > | > sensible way of mapping them onto filenames such as > | replacing dots by > | > slashes. So, under the new scheme, these names are different and > | > unrelated > | > > | > Prelude NLP.Prelude User.Hal.Daume.NLP.Prelude > | > > | > in the same way that these names were different and > | unrelated in the > | > old scheme. > | > > | > Prelude NLP_Prelude User_Hal_Daume_NLP_Prelude > | > > | > If you are seeing something other than that, the problem is > | with your > | > compiler or the way you are using command line arguments to your > | > compiler (e.g., Hugs' import chasing mechanism has some interesting > | > interactions with hierarchial namespaces) and you should > | say which one > | > you're using and how you're using it. > | > > | > -- > | > Alastair Reid > | > > | > | _______________________________________________ > | Haskell mailing list > | Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell > | >

4 8

RE: module namespaces with "Prelude"
by Simon Marlow 25 Apr '02

25 Apr '02

> On Thursday, April 25, 2002, at 11:30 , Simon Marlow wrote: > > >> All in all, dropping all implicit directories from the search > >> path gets my vote. > > > > "me too". > > > > I wasn't aware that Hugs did this, and GHCi certainly doesn't. It's > > reasonable to leave "." in the default search path, but adding an > > implicit root for an imported module will certainly lead to > trouble - > > after all, we use hierarchical module names because the > modules at the > > leaves of the tree are expected to overlap. > > But it is this "." in the default path that is the reason GHCi > gives unexpected results, isn't it? [See Hal Daume's original > bug report] Well, that depends what you mean by unexpected - IMHO the behaviour is entirely reasonable and is well documented. Let's recap: the directory structure is something like this (using $$ to represent an arbitrary path): $$/Bar/Foo.hs contains module Bar.Foo $$/Bar/IO.hs contains module Bar.IO now if the current directory is $$, then Bar.Foo and Bar.IO map to the correct filenames/modules. However, if the current directory is $$/Bar, as it was in Hal's example, then module IO maps to both ./IO.hs and the IO module in the standard library. Clearly there's an overlap, and the solutaion is not to sit in $$/Bar, or to explicitly remove "." from the default search path (which you can do in ghc by giving a -i option without any arguments). If one root is a subdirectory of another root, then you have an overlap. Clearly, the "implicit roots" mechanism will always lead to overlap, so it can't be the right thing to do. Unfortunately it isn't easy to detect whether the user-specified roots are overlapped and issue a warning, but I think the rule is fairly straightforward to understand. It would be possible to detect whether a module maps to more than one filename though - perhaps we should do that. Cheers, Simon

2 1

RE: order of computation in 'do' notation
by Rich 25 Apr '02

25 Apr '02

Thanks very much everyone! I added the line "hFlush stdout" to the code and it works fine now - thanks for your help! Rich.

1 0

order of computation in 'do' notation
by Rich 25 Apr '02

25 Apr '02

Hi, I have to hand in my final project for my degree next week. I've been running my program through hugs most of the time, and I wanted to compile it to an executable, so I used ghc. Unfortunately ghc makes the program behave in a different, undesirable way. The code where the problem lies is shown below. Basically, in hugs, the prompt ">> " is displayed and then it waits for a command to be entered (getCommand) - which is what I want, but when I put the same code through ghc, it waits for a command first, and then when the command has been entered it displays the prompt, which is just silly. Surely the 'do' notation was designed to sequence computations, but it obviously isn't behaving quite right here! I'd be very grateful for any suggestions as to how to fix this. thanks, Rich. mainLoop :: IO TRS -> IO () mainLoop t = do putStr "\n>> " (c,a) <- getCommand 0 case c of "help" -> do putStr help mainLoop t "load" -> do trs <- load a putStr "" mainLoop (return trs) "show" -> ...and so on... And then the getCommand function is as follows: -- gets a command from the standard input getCommand :: Int -> IO (String,String) getCommand _ = do com <- getLine return (splitComm com) -- splits a command into the main command and arguments splitComm :: String -> (String,String) splitComm [] = ("","") splitComm (' ':cs) = ("",cs) splitComm (c:cs) = ((c:rest),rem) where (rest,rem) = splitComm cs

2 1

RE: misplaces SPECIALISE
by Simon Peyton-Jones 24 Apr '02

24 Apr '02

The SPECIALIZE instance pragma must be in the instance decl itself: instance (TrieKey key, Binary elem) => Binary (Trie key elem) where put_ h (Trie e arr) = put_ h e >> put_ h (assocs arr) get h = get h >>= \e -> get h >>= \a -> return (Trie e (listArray (0,255) a)) {-# SPECIALIZE instance Binary (Trie Token Double) #-} The documentation is wrong in the current web page, but it's right in the HEAD so it'll percolate to the web in due course. Simon | -----Original Message----- | From: Hal Daume III [mailto:hdaume@ISI.EDU] | Sent: 23 April 2002 15:43 | To: Simon Peyton-Jones | Cc: GHC Users Mailing List | Subject: RE: misplaces SPECIALISE | | | Here is sufficient code, using ghc5.02.1 for solaris: | | module Test where | | import Util.Binary -- this is the GHC binary distribution import | PrelWord import Array | | newtype Token = Token [Word8] | | class TrieKey key where | mkKey :: key -> [Word8] | unKey :: [Word8] -> key | | data Trie key elem = Trie !(Maybe elem) (Array Word8 (Maybe (Trie key | elem))) | | instance (TrieKey key, Binary elem) => Binary (Trie key elem) where | put_ h (Trie e arr) = put_ h e >> put_ h (assocs arr) | get h = get h >>= \e -> get h >>= \a -> return (Trie e (listArray | (0,255) a)) | {-# SPECIALIZE instance Binary (Trie Token Double) #-} | | | wherever I put the specialize pragma, it complains: | | /nfs/isd/hdaume/projects/Test.hs:18: | Misplaced SPECIALISE instance pragma: | {-# SPECIALIZE instance {Binary (Trie Token Double)} #-} | | I also tried something like (I don't have the 100% correct code but | something like): | | putTDT :: BinHandle -> Trie Token Double -> IO () | putTDT h (Trie e arr) = put_ h e' >> put_ h (assocs arr) | where e' = case e of {Nothing->0; Just x->x} | and a corresponding "getTDT" then: | | {-# SPECIALIZE put_ :: BinHandle -> Trie Token Double -> IO | () = putTDT #-} | | and the corresponding for get, but it complained with a parse error on | "=" | | - Hal | | -- | Hal Daume III | | "Computer science is no more about computers | hdaume(a)isi.edu | than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume | | On Mon, 22 Apr 2002, Simon Peyton-Jones wrote: | | > It is really hard to help you if you don't supply the | context. Which | > version of GHC? Send the code for Trie.lhs. etc. | > | > Otherwise we're all guessing. | > | > Simon | > | > | -----Original Message----- | > | From: Hal Daume III [mailto:hdaume@ISI.EDU] | > | Sent: 22 April 2002 23:46 | > | To: GHC Users Mailing List | > | Subject: misplaces SPECIALISE | > | | > | | > | /nfs/isd/hdaume/projects/NLP/Trie.lhs:162: | > | Misplaced SPECIALISE instance pragma: | > | {-# SPECIALIZE instance {Binary (Trie Token Double)} #-} | > | Failed, modules loaded: NLP.NLPPrelude, Util.BinUtil, Util.Binary, | > | NLP.HashMap, Util.ShrinkString, Util.FastMutInt, NLP.Util. | > | | > | | > | what does that mean? | > | | > | -- | > | Hal Daume III | > | | > | "Computer science is no more about computers | hdaume(a)isi.edu | > | than astronomy is about telescopes." -Dijkstra | | > | www.isi.edu/~hdaume | > | | > | _______________________________________________ | > | Glasgow-haskell-users mailing list | > | Glasgow-haskell-users(a)haskell.org | > | http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users | > | | > | |

1 0