- Haskell-Cafe - Haskell.org

Exclusive mode in openFile
by Gracjan Polak 29 Jun '11

29 Jun '11

Hi all, It seems I'm not allowed to open same file both for writing and for reading: Prelude System.IO> f_out <- openFile "mylog.log" AppendMode Prelude System.IO> f_in <- openFile "mylog.log" ReadMode *** Exception: mylog.log: openFile: resource busy (file is locked) Usage scenario: I use hslogger to write to logs, but I'd like to read parts of these logs *from inside same Haskell application*. How do I get around exclusive mode in openFile? -- Gracjan

4 7

How to flush with IterIO in echo server
by John Ky 29 Jun '11

29 Jun '11

Hi Haskell Cafe, I've written an echo server using just sockets: import Control.Concurrent import Control.Exception import Control.Monad import Network import Offsync.Data import System.IO import System.IO.Error (isEOFError) main = withSocketsDo $ do sListen <- listenOn (PortNumber 8000) putStrLn "Listening on Port 8000" forkIO $ forever $ do (sSession, hostname, port) <- accept sListen putStrLn ("Connected to " ++ hostname ++ ":" ++ show port) forkIO $ echoLines sSession putStrLn "Press <CTRL-D> to quit." exitOnCtrlD echoLines h = try (hGetLine h) >>= either (\e -> do { hClose h; if isEOFError e then print e else ioError e}) (\l -> do { hPutStrLn h l; hFlush h; echoLines h}) exitOnCtrlD = try getLine >>= either (\e -> unless (isEOFError e) $ ioError e) (const exitOnCtrlD) When I send text to it, it will echo it back immediately after my newline. I then modified it to user IterIO: import Control.Concurrent import Control.Exception import Control.Monad import Control.Monad.Trans import Data.IterIO import Data.IterIO.Inum import Network import System.IO import System.IO.Error (isEOFError) import qualified Data.ByteString.Lazy as L iterHandle' :: (MonadIO m) => Handle -> IO (Iter L.ByteString m (), Onum L.ByteString m a) iterHandle' = iterHandle main = withSocketsDo $ do sListen <- listenOn (PortNumber 8000) putStrLn "Listening on Port 8000" forkIO $ forever $ do (sSession, hostname, port) <- accept sListen putStrLn ("Connected to " ++ hostname ++ ":" ++ show port) forkIO $ do (iter, enum) <- iterHandle' sSession enum |$ iter return () putStrLn "Press <CTRL-D> to quit." exitOnCtrlD exitOnCtrlD = try getLine >>= either (\e -> unless (isEOFError e) $ ioError e) (const exitOnCtrlD) It works, however it doesn't send anything back to me until end of file. I fixed that problem with my sockets version by flushing after each line, but I don't know if IterIO will let me flush on every newline. Any ideas? Cheers, -John

2 1

hmatrix-static with ghc 7.0.2
by Anand Patil 29 Jun '11

29 Jun '11

Hi all, Has anyone managed to get hmatrix-static to compile with ghc 7.0.2, and if so would you be willing to share a patch? With best wishes, Anand

1 0

attoparsec and vectors
by Eric Rasmussen 29 Jun '11

29 Jun '11

Hi everyone, I have a task that involves parsing a flat-file into a vector from the Data.Vector package. In the interest of keeping things simple, I first used Attoparsec.Text's version of "many" and then converted the resulting list to a vector: import qualified Data.Vector as V import Data.Attoparsec.Text as A import Control.Applicative getData = do results <- A.many someParser return (V.fromList results) It runs quickly, but I naively thought I could outperform it by reworking "many" to build a vector directly, instead of having to build a list first and then convert it to a vector: manyVec :: Alternative f => f a -> f (V.Vector a) manyVec v = many_v where many_v = some_v <|> pure V.empty some_v = V.cons <$> v <*> many_v Unfortunately, manyVec either quickly leads to a stack space overflow, or it takes an enormous amount of time to run. Does anyone know of a better way to build up a vector from parsing results? Thanks for any tips or insight, Eric

3 3

Possible bug in GHC 7.0.3
by Alberto G. Corona 29 Jun '11

29 Jun '11

I have an "'impossible' happened" error. The code may look a little bit convoluted but it is part of my real code.: --------- begin of code------ {-# LANGUAGE FlexibleInstances, UndecidableInstances , MultiParamTypeClasses #-} class Serializable a b class IResource a --The rest of the instance definitions does not matter for the error instance Serializable a b => IResource a data DBRef a= DBRef String a instance (IResource a) => Read (DBRef a) data Votation a= Votation{ content :: DBRef a } deriving (Read) ------------------------------- end of code --- gives the following error at compilation time: tests>runghc impossiblelloop.hs ghc: panic! (the 'impossible' happened) (GHC version 7.0.3 for i386-unknown-mingw32): solveDerivEqns: probable loop (impossiblelloop.hs:20:13-16 main:Main.$fReadVotation{v rhI} [a{tv abB} [tv] ] base:GHC.Read.Read{tc 2d} [main:Main.Votation{tc rbo} a{tv abB} [tv]] = [base:GHC.Read.Read{tc 2d} (main:Main.DBRef{tc rbu} a{tv abB} [tv])]) [[main:Main.Serializable{tc rbA} a{tv abB} [tv] b{tv ajE} [tcs]]] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug

5 7

Re: [Haskell-cafe] Possible bug in GHC 7.0.3
by Alberto G. Corona 29 Jun '11

29 Jun '11

Ryan' P robably the read instance can not be infered without the functional dependency but the bug is also triggered with it. I simplified ithe coder as much as possible El 29/06/2011 02:26, "Ryan Ingram" <ryani.spam(a)gmail.com> escribió:

1 0

IterIO type restricted functions
by John Ky 29 Jun '11

29 Jun '11

Hi all, >From the IterIO tutorial: enumFile' is like enumFile above, but type restricted to data in the lazy ByteString format, which is more efficient than plain Strings. (enumFile supports multiple types, but in this example there is not enough information for Haskell to choose one of them, so we must use enum*f*ile' or use :: to specify a type explicitly. Which is fine, but shouldn't there also be iterHandle' and iterStream'? Also I'm guessing the *f* is a typo that should be *F*. Cheers, -John

2 2

Problem building with Cabal + TH + Library with FFI to C++ via C Wrapper
by Ozgun Ataman 28 Jun '11

28 Jun '11

Dear Cafe, I have recently run into a very annoying issue that I was not able to get around. I have a local package that makes use of the snappy compression library, which boasts bindings to C++ through a C wrapper. Everything compiles fine with ghc --make, but cabal install hits a wall when TemplateHaskell kicks in and decides to load the entire dependency chain. Here is the important bit of the error message I get after running "cabal install" Loading package snappy-0.2.0.0 ... linking ... ghc: /home/ubuntu/.cabal/lib/snappy-0.2.0.0/ghc-7.0.3/HSsnappy-0.2.0.0.o: unknown symbol `_ZTV8BSSource' ghc: unable to load package `snappy-0.2.0.0' I'm quite certain all the libs are in PATH. "cabal install snappy" installs fine when typed separately by itself and everything works fine (the program works, including compression via snappy) when I compile my local package with ghc --make. The problem only occurs on a Ubuntu 64-bit server, and I wasn't able to replicate the issue on my local OS X box. On my local, cabal install works just fine. I did find a previous note on Cafe with the exact same problem, but no solution was posted at the time: http://www.haskell.org/pipermail/haskell-cafe/2010-December/087748.html Any help is much appreciated. Cheers, Ozgun

1 0

Installation Failed: Haskell Platform 2011.2.0.1-i386 for OS X
by John Velman 28 Jun '11

28 Jun '11

I'm running OS X 10.6.7, XCode 3.2.5. When I try to install "The Haskell Platform 2011.2.0.1 for Mac OS X 10.6 (Snow Leopard)" it goes all the way through to "running package scripts", then says "installation failed" I did two separate downloads, and tried the first installation two time, the second download one time. Same result all three times. Is this a problem with the package, or ? Any suggestions? Thanks, John Velman

3 3

Enumerators, Enumeratees and Iterators
by Sævar Berg 28 Jun '11

28 Jun '11

Hey Café. I've been playing with Enumerators, Iteratees and Enumeratees today after having spent a few days writing a server application using lazy IO, then reading slides from Oleg's DEFUN8 talk notes, and I quote: "Lazy IO in serious, server-side programming is unprofessional", "I can talk a lot how disturbingly, distressingly wrong lazy IO is theoretically, how it breaks all equational reasoning" after which my OCD self has been eating me up to take a proper look at this, so here I am. I'm already beginning to see how Iteratees, Enumerators and Enumeratees can be nifty, but I have a couple of questions about a couple of ideas and whether, and if so how they can be implemented. The first question is, I think, to be solved with enumeratees but I can't really grok how. Let's say I have an iteratee that consumes all input. Is it possible to implement an enumeratee or something else to stick between the enumerator and the iteratee to basically modify the input to the iteratee to only be a part of the input? Something like this: enumFile "someFile" && printFileLines -- prints file with prepended line numbers enumFile "someFile" ?? onlyGet10Lines && printFileLines -- print only 10 lines The second question could actually have an application in the server I'm writing. I was wondering if it was possible to write iteratees/enumerators that would only generate/consume when a certain something was the next chunk to be processed? It's a bit hard to explain, but let me try to give you an example. Let's say my application takes input from the network which contains commands that the server reacts to. Let's say I have a list of command handlers that I want to run this command through, but the handlers will only execute when they are passed the command that they are responsible for handling. Can this list of command handlers be enumerators/iteratees/enumeratees? E.g. is it possible to 'concat' them, making them each peek at the next chunk to see if it's theirs to handle and put it back if it isn't? I know this is possible to do differently and I have an idea for how I would do this, but I'm wondering if this is possible. If I can get answers to either or both of the questions it would help me a bit on my way to completely realize the roles that enumerators vs. iteratees vs. enumeratees have, as the lines seem a bit blurred -- sometimes, anyway. Thanks in advance. :)

4 4