[Haskell-cafe] How to fix this problem in FreeBSD ?

2010-05-29 Thread zaxis
/usr/ports/devel/hs-ghc-pathssudo make install clean === hs-ghc-paths-0.1.0.5_1 depends on executable: ghc - found === Configuring for hs-ghc-paths-0.1.0.5_1 [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Setup.hs:18:22: Not in scope: `preMakefile' *** Error code 1 Stop in

Re: [Haskell-cafe] How to fix this problem in FreeBSD ?

2010-05-29 Thread Ivan Lazar Miljenovic
Which version of GHC, which version of Cabal, and what is the Makefile? zaxis z_a...@163.com writes: /usr/ports/devel/hs-ghc-pathssudo make install clean === hs-ghc-paths-0.1.0.5_1 depends on executable: ghc - found === Configuring for hs-ghc-paths-0.1.0.5_1 [1 of 1] Compiling Main

Re: [Haskell-cafe] How to fix this problem in FreeBSD ?

2010-05-29 Thread zaxis
ghc --version The Glorious Glasgow Haskell Compilation System, version 6.10.4 cabal --version cabal-install version 0.8.2 using version 1.8.0.2 of the Cabal library cat Makefile # New ports collection makefile for: hs-ghc-paths # Date created:July 09 2009 # Whom:

Re: [Haskell-cafe] Wire GUI

2010-05-29 Thread Andrew Coppin
Malcolm Wallace wrote: I'm looking at a project which involves a GUI where you can insert components and wire up connections between them. Obviously the details of what the components are and what code gets executed for them is domain-specific, however the general idea of graphically wiring

Re: [Haskell-cafe] Wire GUI

2010-05-29 Thread Christopher Done
Conal Elliot's talk on Tangible Functional Programming might be of interest. http://www.youtube.com/watch?v=faJ8N0giqzw On 29 May 2010 09:43, Andrew Coppin andrewcop...@btinternet.com wrote: Malcolm Wallace wrote: I'm looking at a project which involves a GUI where you can insert components

[Haskell-cafe] Re: Math questions

2010-05-29 Thread Pete Chown
Mujtaba Boori wrote: sure I did enjoy the discussion here Yitzchak Gale. I have already submitted several questions ,and you guys were very helpful. However , I am not sure how I will use Haskell other than my Haskell course that has just finished. I would very much recommend the Real World

[Haskell-cafe] Re: [Haskell] Re: Work on Video Games in Haskell

2010-05-29 Thread Benjamin L. Russell
Edward Kmett ekm...@gmail.com writes: On Wed, May 26, 2010 at 5:22 PM, Pierre-Etienne Meunier span dir=ltrmailto:pierreetienne.meun...@gmail.com/span wrote: Well in this case I#39;d be really interested in seeing how the can tell the difference, be it only from a simple complexity theoretic

[Haskell-cafe] Reproducible Bug in Emacs' haskell-mode

2010-05-29 Thread aditya siram
Hi all, I have a reproducible bug in Emacs' Haskell mode where Emacs gets stuck in an endless loop. I am using GNU Emacs 23.0.93.1. To reproduce: 1. Use a bad Language pragma eg. {-# LANGUAGE FlexibleTypes #-} 2. Load a GHCI instance with C-c C-l. GHCI outputs the following error: unsupported

[Haskell-cafe] Re: [web-devel] Google Summer of Code: BlazeHTML RFC

2010-05-29 Thread Matt Parker
Q3: Which HTML version would you preferably use? HTML 5. google summer of code should be about pushing the new and exciting. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: [web-devel] Google Summer of Code: BlazeHTML RFC

2010-05-29 Thread Gregory Collins
Matt Parker moonmaster9...@gmail.com writes: Q3: Which HTML version would you preferably use? HTML 5. google summer of code should be about pushing the new and exciting.  Yes, definitely, this should be the default IMO. G -- Gregory Collins g...@gregorycollins.net

Re: [Haskell-cafe] Reproducible Bug in Emacs' haskell-mode

2010-05-29 Thread Ivan Lazar Miljenovic
Try the following: 1) M-x toggle-debug-on-quit (so that it's enabled) 2) Follow your instructions below 3) When it's stuck, do C-g to stop it trying to load the file. Just so you know, there's also a dedicated mailing list for the Haskell mode in Emacs; see here for more information:

Re: [Haskell-cafe] Why Either = Left | Right instead of something like Result = Success | Failure

2010-05-29 Thread Yitzchak Gale
Vo Minh Thu wrote: Control.Monad.Error provides an instance for Either. Donn Cave wrote: ... in the mtl transformer library, in case anyone else besides myself didn't know that. And I see it has to be there because it depends on the Error typeclass. Daniel Fischer daniel.is.fisc...@web.de

Re: [Haskell-cafe] Re: Proposal to solve Haskell's MPTC dilemma

2010-05-29 Thread Carlos Camarao
On Fri, May 28, 2010 at 2:36 AM, Isaac Dupree m...@isaac.cedarswampstudios.org wrote: On 05/27/10 17:42, Carlos Camarao wrote: On Thu, May 27, 2010 at 5:43 PM, David Menendezd...@zednenem.com wrote: On Thu, May 27, 2010 at 10:39 AM, Carlos Camarao carlos.cama...@gmail.com wrote:

Re: [Haskell-cafe] Re: Proposal to solve Haskell's MPTC dilemma

2010-05-29 Thread Isaac Dupree
On 05/29/10 21:24, Carlos Camarao wrote: The situation is as if we a FD: Well, that is indeed equivalent here in the second argument of class F, but I constructed the example to show an issue in the class's *first* argument. Notice you needed to add type-signatures, on the functions you

[Haskell-cafe] A question on existential types and Church encoding

2010-05-29 Thread Cory Knapp
Hello, A professor of mine was recently playing around during a lecture with Church booleans (I.e., true = \x y - x; false = \x y - y) in Scala and OCaml. I missed what he did, so I reworked it in Haskell and got this: type CB a = a - a - a ct :: CB aC ct x y = x cf :: CB a cf x y = y cand ::