Re: [Haskell-cafe] Haskell Platform 2011.2

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 p

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

On Wed, Mar 2, 2011 at 12:00 AM, Stephen Tetley 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 state to produce th

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

On Thu, Mar 3, 2011 at 12:33 AM, Mark Lentczner 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 > > With it, I think you

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

> 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, pro

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

2011/3/8 Roel van Dijk : > 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 is that your interpre

Re: [Haskell-cafe] some problem with Cabal

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) chan

Re: [Haskell-cafe] some problem with Cabal

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 hinotify-0

Re: [Haskell-cafe] some problem with Cabal

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 wrot

Re: [Haskell-cafe] some problem with Cabal

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 wrote: > Hi, > > When I tried the haskell platform 2011.2 source, from here

Re: [Haskell-cafe] some problem with Cabal

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 > successf

Re: [Haskell-cafe] some problem with Cabal

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 xm

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

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 dir

Re: [Haskell-cafe] Error recovery in Happy

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 wrote: > Hi Tom > > Here's how I'd do comment annotation in the Parser: > > > > type Comment = String > > type Identifier = String > > I suspect data

Re: [Haskell-cafe] some problem with Cabal

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 probl

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

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

[Haskell-cafe] some problem with Cabal

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 ** Scanni

Re: [Haskell-cafe] Haskell Platform 2011.2

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 o

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

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 pac

Re: [Haskell-cafe] Haskell Platform 2011.2

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 wrote: > On 06/03/2011 11:46 AM, Andrew C

Re: [Haskell-cafe] Haskell IDE

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,

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

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] have anyone tried GHC 7.0.2

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

Re: [Haskell-cafe] Haskell Platform 2011.2

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 the

Re: [Haskell-cafe] Haskell IDE

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] Error recovery in Happy

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] Error recovery in Happy

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] ANN: theoremquest-0.0.0

On Mar 8, 8:20 pm, Tom Hawkins 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 TheoremQuest. Dunno.

Re: [Haskell-cafe] Error recovery in Happy

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 the

Re: [Haskell-cafe] Error recovery in Happy

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] ANN: theoremquest-0.0.0

> 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 ___ Ha

Re: [Haskell-cafe] makeTokenParser + LanguageDef

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

[Haskell-cafe] Error recovery in Happy

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 need

Re: [Haskell-cafe] makeTokenParser + LanguageDef

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 http://www.haskell.org/mailman/listinfo/

Re: [Haskell-cafe] Overlaping Parsec rules

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] Overlaping Parsec rules

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 pa

Re: [Haskell-cafe] Overlaping Parsec rules

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 lett

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

On Sun, Mar 6, 2011 at 2:38 PM, Remi Turk 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 foreign functio

Re: [Haskell-cafe] Overlaping Parsec rules

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): > H

Re: [Haskell-cafe] Overlaping Parsec rules

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 afte

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

On Tue, 2011-02-22 at 07:12 -0800, Johan Tibell wrote: > On Tue, Feb 22, 2011 at 7:08 AM, Nick Frolov 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 real bu

Re: [Haskell-cafe] Overlaping Parsec rules

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

[Haskell-cafe] makeTokenParser + LanguageDef

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] ANNOUNCE: cinvoke 0.1 released

On Tue, Mar 08, 2011 at 01:15:26AM +, Felipe Almeida Lessa wrote: > On Mon, Mar 7, 2011 at 6:32 PM, Remi Turk 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 glancing at th

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

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] Haskell IDE

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] Questions on list administration

Karthick Gururaj 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 on the Google "about" pa

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

Hi Jason, On 8 March 2011 05:28, Jason Dusek 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 specify those object