- Glasgow-haskell-users

What isn't possible with Finite Maps, and should be.
by George Russell 09 Nov '01

09 Nov '01

Once again I find myself wanting something like the following function with finite maps: fmToListByRange :: Ord key => FiniteMap key elt -> (key,key) -> [(key,elt)] fmToListByRange map (k1,k2) is supposed to return all elements in the map with keys from k1 to k2 (inclusive). Although this isn't as common as looking up an element by a key, it nevertheless is sometimes useful, and shouldn't be too hard to implement, given that FiniteMaps are going to be implemented (given the Ord constraint) as some sort of tree-like query structure, so it's just a question of scanning down the tree splitting the interval as you go. Of course this can be generalised. A general range would have type (Maybe key,Maybe key,Bool) where Nothing instead of a key would mean starting at one of the ends, and the Bool would indicate whether you gave the elements in increasing or decreasing order of key. In any case it looks fairly simple to write. If only I were set up to be able to compile GHC I could write the necessary code myself . . .

2 1

RE: Sockets on Solaris
by Julian Seward (Intl Vendor) 07 Nov '01

07 Nov '01

We just tried the following prog on our Solaris build of 5.02.1: import System import Socket import IO main = do d <- connectTo "localhost" (PortNumber 7) hPutStr d "fiofofofof\n" hFlush d c <- hGetContents d putStr c and it works fine for us. The bug you report has exactly the symptoms of a bug we fixed in 5.02. You are definitely using 5.02.1, yes? J | -----Original Message----- | From: Luis Diego Fallas [mailto:luisdiegofallas@yahoo.com] | Sent: Wednesday, November 07, 2001 12:57 AM | To: glasgow-haskell-users(a)haskell.org | Subject: Sockets on Solaris | | | Hi everyone, | | I'm having trouble using the Socket module on | Solaris. | | The following program: | | import System | import Socket | import IO | | main = | do | d <- connectTo "localhost" (PortNumber 80) | hPutStr d "GET / HTTP/1.0\n\n" | hFlush d | c <- (hGetContents d) | putStr c | | | fails with: | | Fail: invalid argument | Action: getSocketOption | Reason: Invalid argument | | I'm using ghc-5.02.1 . | | Thanks. | | | | __________________________________________________ | Do You Yahoo!? | Find a job, post your resume. | http://careers.yahoo.com | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgo| w-haskell-users |

2 1

RE: Sockets: when and how to close them?
by Simon Marlow 07 Nov '01

07 Nov '01

> When using Sockets, exactly when and where do I have to close them? > > The documentation (of module Socket) implies that this is not > necessary? > However there is sClose in SocketPrim. My application is one Server > who runs `listenOn' and many (short lived) clients that `connectTo'. > After I run this for a while, netstat typically says > > autotool@isun11:~/autotool/serial$ netstat|grep local > localhost.9121 localhost.56749 32768 0 32768 > 0 CLOSE_WAIT > localhost.56749 localhost.9121 32768 0 32768 > 0 FIN_WAIT_2 > localhost.9121 localhost.56753 32768 0 32768 > 0 CLOSE_WAIT > localhost.56753 localhost.9121 32768 0 32768 > 0 FIN_WAIT_2 If your sockets are in the form of Handles, i.e. if you used Socket.connectTo rather than the raw version in SocketPrim, then they will be closed automatically by the standard Handle finalizer mechanism. It is good practice, however, to close them as soon as you know you no longer need them (using hClose) as this will free up the resources immediately. Sockets returned from Socket.listenOn or from the low level routines in SocketPrim must be closed by hand using SocketPrim.sClose. It is probably a bug that Socket doesn't export sClose. Cheers, Simon

1 0

Sockets: when and how to close them?
by Johannes Waldmann 07 Nov '01

07 Nov '01

When using Sockets, exactly when and where do I have to close them? The documentation (of module Socket) implies that this is not necessary? However there is sClose in SocketPrim. My application is one Server who runs `listenOn' and many (short lived) clients that `connectTo'. After I run this for a while, netstat typically says autotool@isun11:~/autotool/serial$ netstat|grep local localhost.9121 localhost.56749 32768 0 32768 0 CLOSE_WAIT localhost.56749 localhost.9121 32768 0 32768 0 FIN_WAIT_2 localhost.9121 localhost.56753 32768 0 32768 0 CLOSE_WAIT localhost.56753 localhost.9121 32768 0 32768 0 FIN_WAIT_2 although some seem to vanish after a while (some minutes). 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: Guide to Core/STG syntax?
by Simon Peyton-Jones 07 Nov '01

07 Nov '01

| I'm trying to come to grips with GHC, and one thing that I | think would help would be a nice guide to the Core and STG | syntaxes. There is an old guide to Core syntax in the user | guide (section 4.17.3) but that section remains unchanged | from at least version 0.29 of the compiler, and is looking | rather out of date. Indeed that would be nice. The best there is is Andrew Tolmach's external-core representation, which is described rather thoroughly in http://www.haskell.org/ghc/docs/papers/core.ps.gz The various -ddump outputs are not well documented, and change reguarly anyway. It's easier to agree that documentation would be useful than to generate such documentation. Let me make a constructive suggestion, though. Often people learn stuff about GHC. There's an easy way for them to record what they learned, by putting it in Manuel's GHC commentary: http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/ Notes in the commentary don't need to be complete or consistent -- but if you simply jot down (in HTML) the things you wish you had known to start with, your jottings can easily be incorporated and help the next person. So send us your jottings! (For those with access to the CVS repository, it's in fptools/ghc/docs/comm/ Simon

1 0

Concurrent question
by Johannes Waldmann 07 Nov '01

07 Nov '01

Suppose I have a program with two (ghc-)threads, one that does execute some `system' commands, and another one that accepts socket connections. While the system thread waits (for the system call to finish), will the other thread be awake (and accept new connections)? Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe(a)informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --

2 1

RE: Sockets on Solaris
by Simon Marlow 07 Nov '01

07 Nov '01

> BTW is there a searchable index for this mailling list archive? This one is searchable: http://www.mail-archive.com/glasgow-haskell-users@haskell.org/ But mail-archive is fairly overloaded and it tends to lag a bit. Also I've found the searching to be a little unreliable. Cheers, Simon

1 0

RE: Concurrent question
by Simon Marlow 07 Nov '01

07 Nov '01

> Suppose I have a program with two (ghc-)threads, > one that does execute some `system' commands, > and another one that accepts socket connections. > > While the system thread waits (for the system call to finish), > will the other thread be awake (and accept new connections)? No, unfortunately not. GHC's runtime system doesn't currently support threads waiting on process completion, so these operations will block the whole system at the moment. Cheers, Simon

1 0

Sockets on Solaris
by Luis Diego Fallas 07 Nov '01

07 Nov '01

Hi everyone, I'm having trouble using the Socket module on Solaris. The following program: import System import Socket import IO main = do d <- connectTo "localhost" (PortNumber 80) hPutStr d "GET / HTTP/1.0\n\n" hFlush d c <- (hGetContents d) putStr c fails with: Fail: invalid argument Action: getSocketOption Reason: Invalid argument I'm using ghc-5.02.1 . Thanks. __________________________________________________ Do You Yahoo!? Find a job, post your resume. http://careers.yahoo.com

3 2

Guide to Core/STG syntax?
by Nicholas Nethercote 06 Nov '01

06 Nov '01

Hi, I'm trying to come to grips with GHC, and one thing that I think would help would be a nice guide to the Core and STG syntaxes. There is an old guide to Core syntax in the user guide (section 4.17.3) but that section remains unchanged from at least version 0.29 of the compiler, and is looking rather out of date. "Implementing lazy functional languages on stock hardware: the spineless tagless G-machine" has a good overview of the STG language, but it too is out of date and/or simplified. The document fptools/ghc/docs/rts/rts.tex has a section for STG syntax, but it's empty and marked with "ToDo". The syntax spat out by GHC at various stages when -v4 is enabled seems to vary somewhat, and it's also slightly different to that emitted to .hcr files when the -fext-core option is on, all of which makes things a bit confusing. Does anyone know where I can find up-to-date information about these intermediate representations? Thanks. -- Nick Nethercote njn25(a)cam.ac.uk

1 0