July 2003 - Glasgow-haskell-users

Nightly development snapshots?
by Kirsten Chevalier 08 Jul '03

08 Jul '03

The most recent snapshot listed on <http://www.haskell.org/ghc/dist/current/dist/> is dated May 26 -- will development snapshots be made available again sometime? Thanks, Kirsten -- Kirsten Chevalier * krc(a)uclink.berkeley.edu * Often in error, never in doubt

1 0

RE: ghc on alpha-linux?
by Simon Peyton-Jones 07 Jul '03

07 Jul '03

Ken Shan was making good progress on an Alpha port of GHC. Ken, could you update us on the status? Simon | -----Original Message----- | From: glasgow-haskell-users-admin(a)haskell.org [mailto:glasgow-haskell-users-admin@haskell.org] | On Behalf Of Peter Strand | Sent: 04 July 2003 11:22 | To: glasgow-haskell-users(a)haskell.org | Subject: ghc on alpha-linux? | | | Hi, | | | I've made a number of rather unsuccessful attempts at | compiling ghc on an alpha machine (running linux).. | | The best i got was a segfaulting compiler by compiling (and | hacking) the unregisterised hc-files for 4.08.2 found on | haskell.org. (I probably did something stupid when I tried | to get it to compile) | | Which version is the best starting point? | Generating unregisterised files from 6.0 or trying | to get 4.08.2 to work? Or something else? | | | Or does anyone have working binaries? | That would be wonderful ;) | | | /Peter | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

3 2

Question regarding arrows...
by MR K P SCHUPKE 07 Jul '03

07 Jul '03

I am trying to define the left operator for a CPS arrow of type: newtype CPSFunctor ans a b c = CPS ((a c ans) -> (a b ans)) This is the definition given by John Hughes for first: first (CPS f) = CPS $ \k -> arr (\(b,d) -> (f (arr (\c -> (c,d)) >>> k),b)) >>> app So I try and apply this to left and get: left (CPS f) = CPS $ \k -> arr (\z -> case z of Left x -> (f (arr Left >>> k),x) Right x -> (arr Right >>> k,x)) >>> app But when I compile (with ghc-6.0) I get: Inferred type is less polymorphic than expected Quantified type variable `d' is unified with another quantified type variable `b' When trying to generalise the type inferred for `left' Signature type: forall ans a. (ArrowApply a, ArrowChoice a) => forall b1 c1 d1. CPSFunctor ans a b1 c1 -> CPSFunctor ans a (Either b1 d1) (Either c1 d1) Type to generalise: forall b1 c1 d1. CPSFunctor ans a b1 c1 -> CPSFunctor ans a (Either b1 d1) (Either c1 d1) In the instance declaration for `ArrowChoice (CPSFunctor ans a)' Hughes says in his paper that "CPS arrows ... can of course support dynamic choice" - so where am I going wrong with my definition? Any help greatly appreciated... Regards, Keean Schupke.

2 1

Sending wide characters over the network socket
by Dimitry Golubovsky 06 Jul '03

06 Jul '03

Hi, I have tried to send a string of Unicode characters over a socket (or to write it into a file handle). The result is strange: it looks like characters are truncated down to their least significant bytes. Here is my program (I am new in Haskell, so the code may look not so good, but it illustrates what I am trying to achieve) =========================================== module Main where import IO import Char import Control.Concurrent import Network.Socket -- A string of wide characters wide = [chr 0x1234, chr 0x5678, chr 0x4321, chr 0x8765, chr 0x102345] -- Function to "narrow" characters to their least significant byte narrow s = map (\c -> chr $ (ord c) `mod` 256) s -- Decode string printing all of its characters' order numbers strtodec str = foldr1 (++) ( map (\c -> " "++show(ord c)++" ") str) -- Server: receive a string and print it decoded, -- narrow it and print it again. -- It does not actually loop, though it could server=do sock <- socket AF_INET Stream 6 ia <- inet_addr "127.0.0.1" bindSocket sock $ SockAddrInet 2323 ia listen sock 15 srvloop sock where srvloop sock = do (acsock,from) <- accept sock instr <- recv acsock 128 putStrLn $ "Received: " ++(strtodec instr) putStrLn $ "Lower Bytes: " ++(strtodec $ narrow instr) sClose acsock sClose sock -- Client: send a string of wide characters client=do threadDelay 100 sock <- socket AF_INET Stream 6 ia <- inet_addr "127.0.0.1" connect sock $ SockAddrInet 2323 ia cnt <- send sock wide putStrLn $ "Sent "++(show cnt)++" bytes" putStrLn $ "Source was: "++(strtodec wide) sClose sock threadDelay 100 main=do forkIO (server) client =========================================== And here is its output =========================================== Sent 5 bytes Source was: 4660 22136 17185 34661 1057605 Received: 52 120 33 101 69 Lower Bytes: 52 120 33 101 69 =========================================== Honestly, I expected that 20 bytes were sent (or something smaller if they were sent in UTF), and "Received" be identical to "Source was". The last string of output is just to check whether those are indeed lower bytes shown, not some garbage. I am using a binary distribution of GHC 6.0 on Linux - are there any special conditions I have to enable for the source distribution to be able to send/receive Unicode characters? To be more general: how would I send arbitrary binary data (stream of octets) over a socket or a file handle? Should I always assume that only lower bytes would be sent, and this will be forever in ghc? Or is it a bug? The problem is, Handle/Socket functions require a String to be the type of data to exchange; not a, say [Int8]. Therefore, I need to be able to coerce my binary data buffer to a String. PS Of course, I could write my own socket functions, but I am looking for a more or less "pure" Haskell solution. PPS I tried this only with GHC. -- Dmitry M. Golubovsky South Lyon, MI

3 3

ghc on alpha-linux?
by Peter Strand 04 Jul '03

04 Jul '03

Hi, I've made a number of rather unsuccessful attempts at compiling ghc on an alpha machine (running linux).. The best i got was a segfaulting compiler by compiling (and hacking) the unregisterised hc-files for 4.08.2 found on haskell.org. (I probably did something stupid when I tried to get it to compile) Which version is the best starting point? Generating unregisterised files from 6.0 or trying to get 4.08.2 to work? Or something else? Or does anyone have working binaries? That would be wonderful ;) /Peter

1 0

ucuz arama
by NETTEALO 04 Jul '03

04 Jul '03

1 0

Compiling ghc 6
by Andre Rauber Du Bois 03 Jul '03

03 Jul '03

Hello! I am trying to compile GHC 6 on an Atlhon 1700+ running Red Hat 9 and using GHC 6, installed from the .rpm that is available in the GHC web page... After compiling for a long time I get this message: xargs: /usr/bin/ar: terminated by signal 9 make[2]: *** [libHSbase.a] Error 125 make[2]: *** Deleting file `libHSbase.a' make[1]: *** [all] Error 1 make[1]: Leaving directory `/home/dubois/BUILDS/ghc6/libraries' make: *** [build] Error 1 Do you know what is wrong here? Thanks for any help.. Cheers, Andre.

3 2

import Control.Exception (assert)
by Christian Maeder 01 Jul '03

01 Jul '03

When using assert from Control.Exception I get a wrong warning: Warning: Module `Control.Exception' is imported, but nothing from it is used (except perhaps instances visible in `Control.Exception') When I omit this import it is (of course) an error: Variable not in scope: `assert' Christian

1 0