- Haskell-Cafe - Haskell.org

Strange GLFW linker problem on Linux
by Peter Verswyvelen 14 Jan '08

14 Jan '08

Because apparently GHC works much better on Linux than Windows, I switched to that platform. I'm currently trying Fedora 8. So now I'm completely alone in the dark: no experience with Haskell, no experience with Linux; I left decades of experience with Microsoft products behind me ;-) I tried compiling GFLW (used by SOE) and a Haskell test app on my laptop, and that worked fine. Then I installed Fedora on my desktop, installed all development tools, and GLFW (both the C library and Haskell wrapper) also compiled and linked fine, but when trying to link the test app to GLFW, I got linker errors (see below). It seems these symbols are defined in libXrandr, but I have both the binary as the devel package installed: [root@localhost dev]# yum list installed | grep Xrandr libXrandr.i386 1.2.2-1.fc8 installed libXrandr-devel.i386 1.2.2-1.fc8 installed So I have no idea what to do. The main difference between the laptop and desktop is that I installed the NVidia drivers on the desktop manually (first installed the kernel-devel package, and then downloaded and installed the linux driver from the nvidia website) Any hints? Thanks, Peter Linker errors reported by ghc --make Main.hs: /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_window.o): In function `_glfwPlatformRefreshWindowParams': x11_window.c:(.text+0x803): undefined reference to `XRRGetScreenInfo' x11_window.c:(.text+0x80d): undefined reference to `XRRConfigCurrentRate' x11_window.c:(.text+0x81b): undefined reference to `XRRFreeScreenConfigInfo' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_window.o): In function `_glfwPlatformCloseWindow': x11_window.c:(.text+0xb7a): undefined reference to `XRRGetScreenInfo' x11_window.c:(.text+0xb9d): undefined reference to `XRRSetScreenConfig' x11_window.c:(.text+0xba6): undefined reference to `XRRFreeScreenConfigInfo' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_window.o): In function `_glfwPlatformPollEvents': x11_window.c:(.text+0x115b): undefined reference to `XRRUpdateConfiguration' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_window.o): In function `_glfwPlatformOpenWindow': x11_window.c:(.text+0x1fa5): undefined reference to `XRRSelectInput' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_fullscreen.o): In function `_glfwPlatformGetVideoModes': x11_fullscreen.c:(.text+0x1ca): undefined reference to `XRRGetScreenInfo' x11_fullscreen.c:(.text+0x1db): undefined reference to `XRRConfigSizes' x11_fullscreen.c:(.text+0x219): undefined reference to `XRRFreeScreenConfigInfo' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_fullscreen.o): In function `_glfwSetVideoModeMODE': x11_fullscreen.c:(.text+0x329): undefined reference to `XRRGetScreenInfo' x11_fullscreen.c:(.text+0x344): undefined reference to `XRRConfigCurrentConfiguration' x11_fullscreen.c:(.text+0x394): undefined reference to `XRRSetScreenConfigAndRate' x11_fullscreen.c:(.text+0x3ac): undefined reference to `XRRSetScreenConfig' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_fullscreen.o): In function `_glfwGetClosestVideoMode': x11_fullscreen.c:(.text+0x3fa): undefined reference to `XRRGetScreenInfo' x11_fullscreen.c:(.text+0x408): undefined reference to `XRRConfigSizes' x11_fullscreen.c:(.text+0x48f): undefined reference to `XRRConfigRates' x11_fullscreen.c:(.text+0x4dc): undefined reference to `XRRFreeScreenConfigInfo' x11_fullscreen.c:(.text+0x512): undefined reference to `XRRFreeScreenConfigInfo' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_fullscreen.o): In function `_glfwSetVideoModeMODE': x11_fullscreen.c:(.text+0x3be): undefined reference to `XRRFreeScreenConfigInfo' /usr/local/lib/GLFW-0.1/ghc-6.8.2/libHSGLFW-0.1.a(x11_init.o): In function `_glfwPlatformInit': x11_init.c:(.text+0xea): undefined reference to `XRRQueryExtension' collect2: ld returned 1 exit status

2 1

First Israel Haskell Event
by B K 14 Jan '08

14 Jan '08

Hello all, A Haskell gathering will take place for the first time in Israel: Friday, January 18 2008 at 11:00 AM Village Green, 33 Jaffa Rd, (corner of Rivlin St), Jerusalem This will be an informal event where everyone can introduce themselves and talk about their thoughts on Haskell. Everyone and anyone are invited. If you are in the area then please stop by, and email me with any questions. Looking forward to an enlightening time, Benny

1 0

Re: [Haskell-cafe] Yi editor tutorial
by gwern0＠gmail.com 14 Jan '08

14 Jan '08

On 2008.01.14 13:34:42 +0000, Andrew Birkett <andy(a)nobugs.org> scribbled 0.8K characters: > gwern0(a)gmail.com wrote: >> I'm going through them now, and I like them a lot. (Maybe I'll finally >> begin doing stuff with Yi!) >> Is there any particular reason you didn't put your tutorials on the >> Haskell wiki? I'd think they'd be good there. > > Cool, thanks. :-) > > I agree it'll be a good idea to move it to the wiki, and I'll do that soon. > On my own site, I can make lots of little changes locally and then > atomically (well, quickly at least!) rsync the new version up onto the > server. It makes life easier when I'm likely to change around the top > level structure. The wiki makes a lot of sense though, because it's > central and other people can extend the tutorial and fix bugs. I'd say editing a wiki is even easier. :) But if you want to wait until you've gotten it to a state where you're happy with it, that's good too. > It's also nice to be able to check the server logs and gauge interest too > (about 5000 hits since yesterday). > > Andrew True, but the interest won't last forever; so maybe after the Reddit links go quiescent? -- gwern rico Glock telex million propellants Warfare Ortega CNN 8182 Vauxhall

1 0

cabal and hpc?
by Greg Fitzgerald 14 Jan '08

14 Jan '08

Has the Haskell Program Coverage tool been integrated into Cabal? That is, is there anything like "runhaskell Setup.hs coverage" to generate a coverage report? Thanks, Greg

2 1

All equations must have the same arity - why?
by Neil Mitchell 14 Jan '08

14 Jan '08

Hi, It's nice to write functions in point free style: f = sort . nub But sometimes I have to add an extra case, on a certain value: f [] = [1] f = sort . nub But now these equations have different arities, and its rejected by Haskell. Why does this not simply desugar to: f [] = [1] f x = (sort . nub) x i.e. lift the arities to the longest argument list. Is there a reason this isn't done? Thanks Neil

9 19

Code folding in Emacs
by Johan Tibell 14 Jan '08

14 Jan '08

It would be pretty neat for Haskell hacking if the Emacs Haskell mode could do the following. Imagine you have written some code like so: -- | The parse state. data S = S {-# UNPACK #-} !B.ByteString -- current chunk L.ByteString -- rest of the input {-# UNPACK #-} !Int64 -- bytes read -- | The 'Parser' monad is just a State monad carrying around the -- input ByteString. newtype Parser a = Parser { unParser :: S -> Consumed (Reply a) } -- | Match byte that fulfills predicate. satisfy :: (Word8 -> Bool) -- ^ Predicate that byte must fulfill. -> Parser Word8 -- ^ Matched byte. satisfy p = Parser $ \(S s ss pos) -> if B.null s then (if L.null ss then Empty (Error (ParseError pos)) else case L.splitAt 1 ss of (consuming,rest) -> let now = B.concat . L.toChunks $ consuming b = B.head now in if p b then Consumed $ Ok b (S (B.tail now) rest (pos + 1)) else Empty $ Error $ ParseError pos ) else let b = B.head s in if p b then Consumed $ Ok (B.head s) (S (B.tail s) ss (pos + 1)) else Empty $ Error $ ParseError pos Now you want an overview of your source file. One way would be to replace all the implementation parts with ellipses, like so: -- | The parse state. data S = S {-# UNPACK #-} !B.ByteString -- current chunk L.ByteString -- rest of the input {-# UNPACK #-} !Int64 -- bytes read -- | The 'Parser' monad is just a State monad carrying around the -- input ByteString. newtype Parser a = Parser { unParser :: S -> Consumed (Reply a) } -- | Match byte that fulfills predicate. satisfy :: (Word8 -> Bool) -- ^ Predicate that byte must fulfill. -> Parser Word8 -- ^ Matched byte. satisfy p = ... Binding a haskell-fold-source function to a key chain would enable you to get a quick overview of your module showing only the comments and type signatures. I've used the little function from http://emacs.wordpress.com/2007/01/16/quick-and-dirty-code-folding/ but it doesn't work well together with indented type signatures like in the example above. Anyone with strong Emacs-fu that knows how one could implement such a function? -- Johan

3 3

[IETF Apps meeting] A Theory of Templating Languages
by Stephane Bortzmeyer 14 Jan '08

14 Jan '08

The IETF (http://www.ietf.org/) holds a meeting of its Application Area and is looking for papers. In a position paper, Joe Gregorio asked for information about the theory of templating languages. Giving the interest here in DSLs and conceptualization, he may find on this list the help he wants and the references he searches: >From: "Joe Gregorio" <joe(a)bitworking.org> >Date: December 14, 2007 8:20:17 AM PST >Subject: Re: Position papers due Dec 14 > >Here is my brief position paper: > >Working on the URI Templating specification has made me realize that >there is a pretty substantial hole >in computer science theory: a lack of a theory of templating >languages. For example, the current version of >URI Templates is not Turing-complete, which excludes a whole bunch of >possible attacks. In the specification I state: > > On the balance, the template processing is not Turing complete, >thus avoiding a number of > security issues, ala the billion-laughs attack of XML DTDs. > >I was rightly called out on this on the W3C URI mailing list: > > This reads a little odd, as not being Turing-complete is not >sufficient > to avoid the attack. (And DTDs are not Turing-complete either.) > >The criticism is correct. The problem is that I don't know of any >finer grained levels of classifications >of templating languages than Turing/non-Turing, and not only for >security reasons, but for general capabilities. > >For example, if there were classes of templating languages, I could >say that URI Templates fell into 'class X', and >if that class had a known set of limitations and capabilities then I >could say that URI Templates thus had those >limitations and capabilities. The weakness to the billion laughs >attack comes from two facets of DTD usage, the >first being that templates can be defined in terms of other templates, >and the second is that the depth of template >definition, in terms of other templates, isn't limited. But the >converse isn't true, that is, I don't have a general >theory of templating to lean on that says since URI Template >expansions are never defined in terms of other >expansions then URI Templates are immune to such resource >exhaustion attacks. > >I did find one paper that makes a start at such work, "Enforcing >Strict Model-View Separation in Template Engines", >but the theory is a little weak and it focuses on the nebulous idea of >separation of model and view, as opposed to >a classification of capabilities and limitations. In addition there >seems to not be a lot of work on sub-turing languages, >and most interestingly the contemporary work that is being done is on >Membrane Computing Systems, which >is in turn motivated by studying cell evolutions and chemical >reactions. I am bringing this topic forward in the >hopes of learning of other pointers into the literature, and also >learning if this problem applies to others >in the Apps area, of if I'm all alone with this problem in URI >Templates. ----- End forwarded message -----

2 1

Re: [Haskell-cafe] [newbie question] Memoization automatic in Haskell?
by Hugh Perkins 14 Jan '08

14 Jan '08

On Jan 12, 2008 10:54 PM, Henning Thielemann <lemming(a)henning-thielemann.de> wrote: > > On Sat, 12 Jan 2008, Hugh Perkins wrote: > > > I guess that Haskell's referential transparence means the answers to > > the isPerfectSquare will be cached, ie automatically memoized? (not > > sure if is correct term?) > > http://www.haskell.org/haskellwiki/Memoization > Interesting... but I dont understand... I thought that referential transparence meant that once the answer to a function has been calculated once, it will always be the same, and that the interpreter can, and will, cache this answer? So, if I call f( 20 ) once, for some, arbitrary, f, it will have to go away and calculate f(20), but if I call it multiple times, it will just return the value it already calculated?

11 13

How to add ENV variable in runhaskell shell script
by Steve Lihn 14 Jan '08

14 Jan '08

Hi, In perl scripts (unix), one can do == #!/usr/local/bin/perl BEGIN { $ENV{LD_LIBRARY_PATH} = ...; } do my perl stuff == The setting of ENV variable before the program runs allows me to fix the shell environments. In this case, I need to specify where to look for the shared library. How do I do this in Haskell if I am writing the same script using: == #!/path/to/runhaskell {- how to set LD_LIBRARY_PATH = ... ? -} do my haskell stuff == Thanks, Steve

5 4

Possibility to port vshaskell to VS2008?
by Philipp Riemer 14 Jan '08

14 Jan '08

Because my university is in the MSNDAA-program I could download the new Visual Studio 2008 Professional, what I've done today. Now I tried to install the vshaskell-extension to start learning Haskell but the installer only quits with the message that (of course) VS2005 is not installed. Now is my question if I have to download the "old" VS2005 or if it is somehow possible to get this extension running with VS9.0? I already tried to use the EclipseFP-plugin so I already have (win)hugs, ghc and haddoc installed (if it helps for the problem above). The problem with this plugin was that Ctrl+Space does apparently not work for code hints and because I'm just started to learn the language, I don't know every keyword... So I have to look it up everytime somewhere, I want to implement something new. The fact that Prelude.hs and others are plain text are a great help, but what I have seen in the screenshot at http://www.haskell.org/visualhaskell/screenshots.html would be much better...

3 3