- Haskell-Cafe - Haskell.org

FFI and LD_PRELOAD -> segfault
by Stephan Walter 24 Sep '06

24 Sep '06

Hi, I'm trying to use a shared lib written in Haskell to overload C functions via LD_PRELOAD. You might think this is a bit silly, but hey, why not? I want to overload connect() from sys/socket.h. I'll document what I've written so far; unfortunately there doesn't seem to be a lot of documentation about this topic. This is my haskell code (in testffi.hs): > module Socks where > > import Foreign.C.Types > import Foreign.Ptr > > newtype S_sockaddr = S_sockaddr () > > foreign export ccall "connect" connect :: > CInt -> Ptr (S_sockaddr) -> CUInt -> IO CInt > > connect :: CInt -> Ptr (S_sockaddr) -> CUInt -> IO CInt > connect _ _ _ = return (-1::CInt) Here's how I compile it: ghc -Wall -c -fffi testffi.hs ghc -Wall -optl "-shared" -optl "-Wl,-soname,libtestffi.so" \ -o libtestffi.so testffi.o testffi_stub.o I'm not at all sure about these compiler and linker options, but this is the best I could come up with (i.e., no errors or warnings) Then I run a test program which calls connect(). I won't include the C source of that program, but it basically connects to the IP address given as the first argument (at port given by third argument) and sends a string. Basic error checking is done, i.e. the program does test the return value of connect(): LD_PRELOAD=./libtestffi.so ./conntest 127.0.0.1 "HELO" 1234 This aborts with a segfault in scheduleWaitThread() from ./libtestffi.so The test program doesn't use threads, so I'm wondering what I did wrong? Any help is appreciated. Greetings, Stephan Walter

2 4

haskell.org down
by Pasqualino 'Titto' Assini 24 Sep '06

24 Sep '06

Haskell.org has been down for over 7 hours (see attached log). The Web master might use host-tracker.com (or a similar free tracking service) to keep an eye on it. Regards, titto _____ From: HostTracker Notifier [mailto:noreply@host-tracker.com] Sent: 24 September 2006 10:41 To: tittoassini(a)gmail.com Subject: Operation Restored Alert Hello, http://haskell.org is now back to normal. Operation restored at 2006-09-24 10:36:55. Url was down as a resultat of: Http error:Http_client.No_reply Error was detected at 2006-09-24 03:36:16 Downtime total 7 hour(s) 39 sec(s). Check failures total: 14. Your login:titto -- Best regards, http://host-tracker.com/ support team uid:957058 tid:188350 eid:188350-61-0-0-669df3829d00102989dd000c7651f68b ffeid:188350-47-0-0-a2bced5e9cc5102989dd000c7651f68b

1 0

[newbie] How to test this function?
by Bruno Martínez 23 Sep '06

23 Sep '06

I've written a function that looks similar to this one getList = find 5 where find 0 = return [] find n = do ch <- getChar if ch `elem` ['a'..'e'] then do tl <- find (n-1) return (ch : tl) else find n First, how do I fix the identation of the if then else? Second, I want to test this function, without hitting the filesystem. In C++ I would use a istringstream. I couldn't find a function that returns a Handle from a String. The closer thing that may work that I could find was making a pipe and convertind the file descriptor. Can I simplify that function to take it out of the IO monad? How? I thought about getContents, but that eats all input. Thanks in advance, Bruno

9 17

Haskell Program
by Tim Newsham 23 Sep '06

23 Sep '06

The company I work for was gracious enough to allow me to release a haskell program I wrote for them: http://www.isecpartners.com/file_fuzzers.html There's a python version and a rewrite in haskell. I used some looping constructs discussed earlier on this list to keep the haskell code similar to its original python code. Don Stewart was kind enough to help me optimize some of the code using ByteString and a faster PRNG (the System.Random class seems to be a bit on the slow side!). Prior to using ByteString and optimizing the code it was a bit slower than the python version, but with optimizations it is quite a bit faster. (In practice, the external program being invoked is usually the performance bottleneck). Tim Newsham http://www.thenewsh.com/~newsham/

3 2

Polymorphism/monomorphism (and the restriction)
by Aaron McDaid 22 Sep '06

22 Sep '06

Hi, I think the following might help a little in understanding the monomorphic restriction (which I don't fully understand myself). I'm a bit of a newbie so apologies in advance if I've made a mistake or if my description isn't as useful to others as it seems to me. I've been following a thread on haskell(a)haskell.org and I think the below might help. I used GHCi, version 6.2.2 (it fails in hugs but that seems to be because of hugs non-compliance with the standard in this case). First off, I'm guessing that I'm getting Haskell98 behaviour here and not some GHCi extension. Please tell me if this is not the case. Run the code listing at the bottom of this email and you should get the output which I've also listed below. This code experiments with "Int", "Float" and "(Num a) => a", and I tried to print x*2 and x/2 for each. (4::Int)/2 isn't allowed because / isn't defined for Ints. You can see that kN :: (Num a) => a took two different types depending on what method ( / or * ) was applied to it. kN / 2 = 2.0 kN * 2 = 8 kN/2 is a Float (it can't use Int as / isn't defined for Int, so it uses Float, for which / is defined). kN*2 is an Int. The above outputs demonstrates polymorphism, doesn't it? i.e. Not only has the compiler got a variety of types to choose from, but a variety of types can be used at runtime? The output for kI and kF is obvious. The interesting thing is that k behaves as a Float in both cases. This is monomorphism isn't it? i.e. the compiler may have a variety of types to choose from, but it picks one and sticks to it for every usage. In summary, k didn't give the same outputs as kN. And the monomorphism restriction is a rule which means that sometimes things are forced to a monomorphic type (like k as Float here) when it could have given it a polymorphic type like "kN :: (Num a) => a" I'm fairly new to these lists, so apologies if I'm covering old ground again. My first aim is to understand exactly what polymorphism and monomorphism is and demonstrate corresponding results, before thinking about the restriction. Thanks, Aaron -- The code kI :: Int kI = 4 kF :: Float kF = 4 kN :: (Num a) => a kN = 4 k = 4 main = do p "kI * 2" $ kI * 2 p "kF / 2" $ kF / 2 p "kF * 2" $ kF * 2 p "kN / 2" $ kN / 2 p "kN * 2" $ kN * 2 p "k / 2" $ k / 2 p "k * 2" $ k * 2 p :: (Show a) => String -> a -> IO () p s = putStrLn.(s++).(" = "++).show -- the output - remember kI / 2 is not possible. kI * 2 = 8 kF / 2 = 2.0 kF * 2 = 8.0 kN / 2 = 2.0 kN * 2 = 8 k / 2 = 2.0 k * 2 = 8.0 -- PS: If you delete the k / 2 line from the program, then k * 2 becomes simply 8 (not 8.0). It uses Int if possible, and Float if that's not available.

2 1

Why am I not allowed to use CStringLen in foreign export?
by Andreas Marth 22 Sep '06

22 Sep '06

Hi! I try to export a Haskell function to VBA. (At the moment without COM.) Because VBA seems to expect a String with length information I tried to return a CStringLen as defined in Foreign.C.String. But if I try to compile it I get an "unacceptable argument type in foreign declaration: CStringLen". My reduced test program now is a strange "Hallo world!" program: >module Test where >import Foreign.C.String > >foreign export stdcall hello :: IO CStringLen >hello :: IO CStringLen >hello = do newCStringLen ("Hallo world!") Do I do some thing wrong here? (If I use CString instead of CStringLen and accordingly newCString instead of newCStringLen everything compiles fine but VBA crashes.) Any help is appreciated, Andreas

3 6

Trying to write a TCP proxy
by John Ky 22 Sep '06

22 Sep '06

Hello, I'm trying to use haskell to put together a TCP proxy I can put between my browser and my webserver. This is as far as I got. The webserver isn't returning my request: > listen = withSocketsDo $ do > putStrLn "Listening..." > socket <- listenOn $ PortNumber 8082 > (handleToClient, hostName, portNumber) <- accept socket > putStrLn "Connected to client" > contents <- hGetContents handleToClient > putStrLn "Received from client:" > putStrLn contents > handleToServer <- connectTo "127.0.0.1" (PortNumber 8080) > putStrLn "Connected to server" > hPutStrLn handleToServer contents > putStrLn "Waiting for server to respond" > hPutStrLn handleToServer "\r\n\r\n" > putStrLn "Waiting for server to respond" > result <- hGetContents handleToServer > putStrLn result > hClose handleToServer > hClose handleToClient > sClose socket Am I doing something wrong? Thanks, -John

6 9

Re: Haskel DLL crashes Excel
by Cyril Schmidt 22 Sep '06

22 Sep '06

Andreas Marth wrote: > As you might now already know I try to let VBA call Haskell via a DLL. I had to do this a while ago; the best I could come up with was: 1. Make a Haskell DLL that exports plain C-style interface. 2. With Visual Studio, make a COM DLL that exports the interfaces to be used by VBA and passes the calls to the Haskell DLL. This COM DLL, among other things, handles the conversion between C-style strings and BSTR (there are examples on msdn.microsoft.com of doing this). Hope this helps. Cheers, Cyril

1 0

Haskore
by David Curran 22 Sep '06

22 Sep '06

Hi I have been trying to learn haskell (tip over the vending machine) for a while and eventually decided the Haskore music library might be a good way to start understating the language. I am using windows and hugs98. The IOExtensions.hs file will not work under windows. Any ideas on how to make it work or is this library *nix only? Regards David ----------------------------------------------------------------------------- -- -- Replacement for IOExtensions.hs of hugs for ghc -- -- Implements only the functions necessary for Haskore! -- -- Does not work under Windows (where there is a difference between -- binary and text files) -- -- Suitable for use with Hugs 98 ----------------------------------------------------------------------------- module IOExtensions( writeBinaryFile, openBinaryFile, readBinaryFile ) where import System( getArgs ) import IO( Handle, IOMode(WriteMode), openFile, hPutStr, hClose ) import IOExts openBinaryFile :: FilePath -> IOMode -> IO Handle openBinaryFile path mode = openFileEx path (BinaryMode mode) writeBinaryFile :: FilePath -> String -> IO () writeBinaryFile = writeFile -- this does not work on Windows!!! readBinaryFile :: FilePath -> IO String readBinaryFile = readFile -- this does not work on Windows!!! -- It chews up lies and spits out the gristle of truth http://liveatthewitchtrials.blogeasy.com/

5 4

Trouble with simple embedding of shell in haskell
by George Brewster 22 Sep '06

22 Sep '06

I'm just tried writing a function to allow convenient embedding of shell commands, but I'm running into behavior I don't really understand somewhere at the intersection of lazy evaluation, IO, and threading. The function in question is: sh :: String -> String -> IO String sh cmd = \input -> do (stdin, stdout, _, pid) <- runInteractiveCommand cmd forkIO $ hPutStr stdin input >> hClose stdin -- get exit status to prevent zombie accumulation forkIO $ waitForProcess pid >> return () hGetContents stdout Simple uses like this work (prints "hi" and returns): return "hi" >>= sh "cat" >>= putStrLen However, this blocks: return "hi" >>= sh "cat" >>= sh "cat" >>= putStrLen this prints "hi\nblar" and returns return "hi" >>= sh "cat" >>= (\s -> putStrLn "blar" >> sh "cat" s) >>= putStrLn and this always returns but sometimes prints nothing and sometimes prints "hi\n" sh "echo hi" "there" >>= sh "cat" >>= putStrLn All these were tried with ghc 6.4.1 compiled with -threaded Just wondering if anybody has a good explanation of this range of behavior and/or a working rewrite of this function. -George

3 4