Re: [Haskell-cafe] [Haskell] Linker flags for foreign export.

2011-03-08 Thread Max Bolingbroke
Hi Jason, On 8 March 2011 05:28, Jason Dusek jason.du...@gmail.com wrote:    gcc -g -Wall -O2 -fPIC -Wall -o import \      -I/usr/lib/ghc-6.12.1/include/ \      import.c exports.so In my experience, the easiest way to do this is to use gcc to build object files from C source files, and then

Re: [Haskell-cafe] Questions on list administration

2011-03-08 Thread Ketil Malde
Karthick Gururaj karthick.guru...@gmail.com writes: You are not allowed to post to this mailing list, and your message has been automatically rejected. If you think that your messages are being rejected in error, contact the mailing list owner at haskell-cafe-ow...@haskell.org. As it says

Re: [Haskell-cafe] Haskell IDE

2011-03-08 Thread Alberto G. Corona
The lazy path: You can also just download and install the binaries for your platform at http://leksah.org/download.html. From experience, I guess that most if not all of the capabilities will work with your version of GHC (except some features more tightly integrated with the compiler, such is

Re: [Haskell-cafe] have anyone tried GHC 7.0.2

2011-03-08 Thread Christian Maeder
What does ghc-pkg list and ghc-pkg check say? Cabal-1.10.1.0, directory-1.1.0.0 and process-1.0.1.5 should be there after installation of GHC 7.0.2. (I've actually installed cabal-install-0.10.0 using an older cabal, but that does not work on macs and may not be the recommended way.) I think

Re: [Haskell-cafe] ANNOUNCE: cinvoke 0.1 released

2011-03-08 Thread Remi Turk
On Tue, Mar 08, 2011 at 01:15:26AM +, Felipe Almeida Lessa wrote: On Mon, Mar 7, 2011 at 6:32 PM, Remi Turk rt...@science.uva.nl wrote: - If you need to pass C structs (by value), you'll have to use  libffi: cinvoke doesn't support them at all. What about CInvStructure[1]? I was just

[Haskell-cafe] makeTokenParser + LanguageDef

2011-03-08 Thread Hauschild, Klaus (EXT)
Hi Haskellers, is there a fine tutorial for building a parser with parsecs (3.*) makeTokenParser and LanguageDef stuff? Klaus ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-08 Thread Hauschild, Klaus (EXT)
Hi Christian, my version of parseList works currently strange. The input {2\n2} will be parsed fine, but something like { } or so fails with 'expecting space or }'. The redefinition of space is not necessary, it was copied from another tutorial code. How I write a version of parseGml that get

Re: [Haskell-cafe] I think I've found a regression in Haskell Platform, but what do I do next?

2011-03-08 Thread Nick Frolov
On Tue, 2011-02-22 at 07:12 -0800, Johan Tibell wrote: On Tue, Feb 22, 2011 at 7:08 AM, Nick Frolov n...@mkmks.org wrote: Something has definitely changed between these two ghc versions. Since I've spent considerable amount of time on finding a workaround for the problem, I'd like to file a

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-08 Thread Christian Maeder
Am 08.03.2011 12:30, schrieb Hauschild, Klaus (EXT): Hi Christian, my version of parseList works currently strange. The input {2\n2} will be parsed fine, but something like { } or so fails with 'expecting space or }'. You must skip (possible) spaces after {, too. (Actually after every

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-08 Thread Christian Maeder
In http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs I see identifier - many (noneOf ). You should at least consume one character by using many1! This also allows to call many parseGml'' later. C. Am 08.03.2011 12:30, schrieb Hauschild, Klaus (EXT): Hi

Re: [Haskell-cafe] ANNOUNCE: cinvoke 0.1 released

2011-03-08 Thread Gábor Lehel
On Sun, Mar 6, 2011 at 2:38 PM, Remi Turk rt...@science.uva.nl wrote: I am happy to finally announce cinvoke 0.1, a binding to the C library cinvoke[1], allowing functions to be loaded and called whose names and types are not known before run-time. Why? Sometimes you can't use the Haskell

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-08 Thread Christian Maeder
Am 08.03.2011 12:30, schrieb Hauschild, Klaus (EXT): Hi Christian, my version of parseList works currently strange. The input {2\n2} will be parsed fine, but something like { } or so fails with 'expecting space or }'. Also } (and ], etc.) should be excluded as identifier letters. } is the

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-08 Thread Hauschild, Klaus (EXT)
Hi Christian, Thank you for your help. Now the current version of Parse.hs (http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs) works well for the test file fact.gml. Now the last thing is parsing the different numbers (integer and float). If have a rule for

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-08 Thread Christian Maeder
Am 08.03.2011 13:35, schrieb Hauschild, Klaus (EXT): Hi Christian, Thank you for your help. Now the current version of Parse.hs (http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs) works well for the test file fact.gml.

Re: [Haskell-cafe] makeTokenParser + LanguageDef

2011-03-08 Thread Peter Simons
Hi Klaus, for what it's worth, you might want to consider using this package instead of Parsec: http://hackage.haskell.org/package/BNFC Take care, Peter ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Tom
Hey guys, I was wondering if there were possiblities to ignore certain errors during parsing. I tried using the error token, but that didn't seem to work. I looked at the following topic http://haskell.1045720.n5.nabble.com/Error-detection-in-GLR-Happy-grammar-td3083740.html For my parser I

Re: [Haskell-cafe] makeTokenParser + LanguageDef

2011-03-08 Thread Job Vranish
The tutorial here: http://legacy.cs.uu.nl/daan/download/parsec/parsec.html#Lexical analysis http://legacy.cs.uu.nl/daan/download/parsec/parsec.html#Lexical analysisis for parsec 2, but it's still quite relevant. - Job On Tue, Mar 8, 2011 at 6:22 AM, Hauschild, Klaus (EXT)

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-03-08 Thread Tom Hawkins
I am curious -- how easy is it to use theoremquest for playing with equational theories? Let me turn the question around: How easy is it to play with equational theories in HOL Light? Because this is the planed basis for TheoremQuest. -Tom ___

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Stephen Tetley
I'd join comments in with tokens so each token has a comment - possibly the empty string, then the parser can decide what to do with the comment part of token - e.g retaining it for functions, ignoring it for everything else. You may have to write a two-pass lexer to do this.

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Stephen Tetley
By the way - my last answer was for the second part of the question. For error handling - Doaitse Swierstra's UU-Parsing is a combinator parsing library with some flexibility for error recovery. For an LR parser like Happy adding extra error handling cases to the productions in your grammar is

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-03-08 Thread rusi
On Mar 8, 8:20 pm, Tom Hawkins tomahawk...@gmail.com wrote: I am curious -- how easy is it to use theoremquest for playing with equational theories? Let me turn the question around:  How easy is it to play with equational theories in HOL Light?  Because this is the planed basis for

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Tom
That two-pass lexer sounds like a good idea. I actually want to keep the happy parser if possible, can you elaborate on adding extra error handling cases for production rules? Do you mean I have to add a line for comments on possible places where they can occur? Thanks

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Stephen Tetley
Hi Tom Here's how I'd do comment annotation in the Parser: type Comment = String type Identifier = String I suspect data carrying tokens need to pair the data and the comment so Happy can treat them as a positional reference e.g. $1 data Token = TK_identifier (Identifier,Comment) |

Re: [Haskell-cafe] Haskell IDE

2011-03-08 Thread Andrew Coppin
On 07/03/2011 04:39 PM, Daniel Fischer wrote: That sounds nice, so I thought I'd try out leksah again. Unfortunately, the dependencies rule out GHC-7 Maybe someone could try relaxing the bounds and build it with GHC-7, and - if it works - upload a new version? (I could try if I get a go-ahead

Re: [Haskell-cafe] Haskell Platform 2011.2

2011-03-08 Thread Andrew Coppin
On 06/03/2011 11:46 AM, Andrew Coppin wrote: On 06/03/2011 01:22 AM, Don Stewart wrote: P.S. you can help by testing the installers, and reporting issues on the HP trac and mailing list. The candidate installers are here: http://code.galois.com/darcs/haskell-platform/download-website/ Is

Re: [Haskell-cafe] have anyone tried GHC 7.0.2

2011-03-08 Thread Qi Qi
ghc-pkg list returns these: /usr/local/lib/ghc-7.0.2/package.conf.d: Cabal-1.10.1.0 array-0.3.0.2 base-4.3.1.0 bin-package-db-0.0.0.0 bytestring-0.9.1.10 containers-0.4.0.0 directory-1.1.0.0 extensible-exceptions-0.1.1.2 ffi-1.0 filepath-1.2.0.0

[Haskell-cafe] Tagless interpreter, expression problem and zipper

2011-03-08 Thread Roel van Dijk
Hello everyone, I am stuck rewriting some code in the tagless style. My problem can be thought of as an interpreter for a very simple language: data Exp = Lit Integer | Add Exp Exp | Mul Exp Exp deriving (Show) But some complexity is added by the fact that my

Re: [Haskell-cafe] Haskell IDE

2011-03-08 Thread Daniel Fischer
On Tuesday 08 March 2011 21:16:33, Andrew Coppin wrote: On 07/03/2011 04:39 PM, Daniel Fischer wrote: That sounds nice, so I thought I'd try out leksah again. Unfortunately, the dependencies rule out GHC-7 Maybe someone could try relaxing the bounds and build it with GHC-7, and - if

Re: [Haskell-cafe] Haskell Platform 2011.2

2011-03-08 Thread Don Stewart
We have plenty of testers on the haskell-platform@ list. If you're interested, you can join there to discuss results. By definition the test installers are not yet ready for haskell-cafe@ consumption. -- Don On Tue, Mar 8, 2011 at 12:17 PM, Andrew Coppin andrewcop...@btinternet.com wrote: On

Re: [Haskell-cafe] have anyone tried GHC 7.0.2

2011-03-08 Thread Daniel Fischer
On Wednesday 09 March 2011 11:42:48, Qi Qi wrote: ghc-pkg check returns this: There are problems in package network-2.2.1.10: dependency parsec-3.1.1-583092e3fd1a17b79365b197467a185d doesn't exist Seems parsec-3.1.1 was rebuilt after network-2.2.1.10 was installed. Any idea what package

Re: [Haskell-cafe] Haskell Platform 2011.2

2011-03-08 Thread Andrew Coppin
On 08/03/2011 08:57 PM, Don Stewart wrote: We have plenty of testers on the haskell-platform@ list. If you're interested, you can join there to discuss results. By definition the test installers are not yet ready for haskell-cafe@ consumption. Oh, right. There's a mailing list? I wasn't aware

[Haskell-cafe] some problem with Cabal

2011-03-08 Thread Qi Qi
Hi, When I tried the haskell platform 2011.2 source, from here http://code.galois.com/darcs/haskell-platform/download-website/linux.html . Configuration passed successfully. But when making, it gives the following error: scripts/build.sh **

Re: [Haskell-cafe] have anyone tried GHC 7.0.2

2011-03-08 Thread qiqi
Thank you! I fixed the broken package, network-2.2.1.10 by manually removing it locally and recache the ghc's package cache by running ghc-pkg recache. Thanks though for the unregister option. Now ghc-pkg check doesn't return any broken packages. But Cabal seems still got problem. I got the same

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread Daniel Fischer
On Wednesday 09 March 2011 12:16:30, Qi Qi wrote: I think this is the same problem as I got during installing some other packages via cabal such as hmatrix, ghc-mod, happy and etc. Does anyone have any idea about how to solve it? I think it may be a problem with your GHC. I have no problems

Re: [Haskell-cafe] Error recovery in Happy

2011-03-08 Thread Tom
Alright thanks for your comprehensive answer! I think I got something to work with :) Cheers, Tom On Tue, Mar 8, 2011 at 8:09 PM, Stephen Tetley stephen.tet...@gmail.comwrote: Hi Tom Here's how I'd do comment annotation in the Parser: type Comment = String type Identifier = String

Re: [Haskell-cafe] have anyone tried GHC 7.0.2

2011-03-08 Thread qiqi
The problem is solved! I found out that both global and local package db get directory-1.1.0.0 and process-1.0.1.5. I unregistered them and other caused broken packages in the local package db. Then I successfully installed back hmatrix, ghc-mod, happy and etc. It seems that xmobar will install

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread qiqi
Thank you, Daniel. The problem is solved! I found out that both global and local package db get directory-1.1.0.0 and process-1.0.1.5. I unregistered them and other caused broken packages in the local package db. Then I successfully installed back hmatrix, ghc-mod, happy and etc. It seems that

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread Daniel Fischer
On Wednesday 09 March 2011 00:34:39, qiqi wrote: The problem is solved! I found out that both global and local package db get directory-1.1.0.0 and process-1.0.1.5. I unregistered them and other caused broken packages in the local package db. D'oh, I should've seen that. Then I successfully

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread Don Stewart
This is fixed in the new release of cabal-install ( I think) so we're rolling new installers. Discussion around the installers is taking place on the haskell-platform list. -- Don On Wed, Mar 9, 2011 at 3:16 AM, Qi Qi qiqi...@gmail.com wrote: Hi, When I tried the haskell platform 2011.2

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread qiqi
I used cabal install xmobar --flags=all_extensions . Is it true that every package installed from hackage should not install any package, which already exists in the global with the same version number , in the local db? Daniel Fischer wrote: On Wednesday 09 March 2011 00:34:39, qiqi wrote:

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread Daniel Fischer
On Wednesday 09 March 2011 02:51:35, qiqi wrote: I used cabal install xmobar --flags=all_extensions . Whoa: In order, the following would be installed: containers-0.3.0.0 (new version) filepath-1.1.0.4 (new version) directory-1.1.0.0 (reinstall) changes: filepath-1.2.0.0 - 1.1.0.4

Re: [Haskell-cafe] some problem with Cabal

2011-03-08 Thread qiqi
Daniel Fischer wrote: On Wednesday 09 March 2011 02:51:35, qiqi wrote: I used cabal install xmobar --flags=all_extensions . Whoa: In order, the following would be installed: containers-0.3.0.0 (new version) filepath-1.1.0.4 (new version) directory-1.1.0.0 (reinstall) changes:

Re: [Haskell-cafe] Tagless interpreter, expression problem and zipper

2011-03-08 Thread Felipe Almeida Lessa
2011/3/8 Roel van Dijk vandijk.r...@gmail.com: Hello everyone, Hello! But I lost the power of the context! How do I get it back? The tagless interpreters splits the interpreter code (in your case, the 'eval' function) into multiple functions on one or more type classes. Now, the key insight

[Haskell-cafe] cabal install / upgrade (was: Re: some problem with Cabal)

2011-03-08 Thread Evan Laforge
Generally, it shouldn't (and doesn't), but here some packages have to be reinstalled because they have to be built against different dependencies. I'd prefer cabal install to refuse here (overridable with a --force flag) because reinstalling boot libs (containers, filepath, directory,

Re: [Haskell-cafe] operations on lists with continuations

2011-03-08 Thread Evan Laforge
On Thu, Mar 3, 2011 at 12:33 AM, Mark Lentczner mark.lentcz...@gmail.com wrote: To make up for my total misunderstanding of what you were asking before, I hereby offer you the Plumbing module, available here:  https://bitbucket.org/mtnviewmark/haskell-playground/src/2d022b576c4e/Plumbing.hs

Re: [Haskell-cafe] operations on lists with continuations

2011-03-08 Thread Evan Laforge
On Wed, Mar 2, 2011 at 12:00 AM, Stephen Tetley stephen.tet...@gmail.com wrote: Maybe you've invented the ApoPrelude? If I were doing it I'd probably code them in terms of an apomorphism - unfoldr with flush. Unlike regular unfoldr which discards the final state, an apomorphism uses the final

Re: [Haskell-cafe] Haskell Platform 2011.2

2011-03-08 Thread Joachim Breitner
Hi, Am Samstag, den 05.03.2011, 17:22 -0800 schrieb Don Stewart: We're currently testing the installers, with a view to announcing the release early in the week. I thought http://code.haskell.org/haskell-platform/haskell-platform.cabal was the repository for the current darcs version of the