Re: [Haskell-cafe] getLine and ^C on Windows

2008-11-13 Thread J. Garrett Morris
I've had the same experience with runghc in GHC 6.10.1 on Vista. /g 2008/11/12 Lyle Kopnicky [EMAIL PROTECTED]: Hi folks, I'm using System.IO.getLine to read input in my program. I've compiled it on Windows Vista with ghc-6.10.1. I've noticed that if I press Ctrl+C while the program is

RE: [Haskell-cafe] getLine and ^C on Windows

2008-11-13 Thread Mitchell, Neil
Hi I have the same experience with Windows XP and getContents, so I think it's the entire IO layer on Windows, rather than just getLine on Vista. This is being tracked here http://hackage.haskell.org/trac/ghc/ticket/2758 Thanks Neil I've had the same experience with runghc in GHC 6.10.1 on

[Haskell-cafe] Re: TimeDiff to Int?

2008-11-13 Thread Jon Fairbairn
Lyle Kopnicky [EMAIL PROTECTED] writes: I had some code using the oldtime package, and want to convert it to use the time package. One of the things I need to do is calculate the number of seconds since midnight. The easy part is getting a TimeDiff result: You mean DiffTime? utc -

Re: [Haskell-cafe] Turning all the Nothings into Just defaultValue using Data.Generics

2008-11-13 Thread Alexey Rodriguez
Hi David! 2008/11/12 David Fox [EMAIL PROTECTED]: I want to use Data.Generics to write a function to turn all the Nothings in a data structure into Just defaultValue, as shown below. I get the following error because the compiler doesn't know enough about Maybe a for mkT to create the

Re: [Haskell-cafe] HOpenGL shading problem

2008-11-13 Thread Malcolm Wallace
Trin [EMAIL PROTECTED] wrote: But I have a problem with shading. Whatever I have been trying, I still don't understand how the shading can be activated. I have light, I have color, but not even Flat shading. I think if you want shading, you need to compute the normals to each surface.

Re: [Haskell-cafe] Proof that Haskell is RT

2008-11-13 Thread Dan Doel
On Wednesday 12 November 2008 7:05:02 pm Jonathan Cast wrote: I think the point is that randomIO is non-deterministic (technically, pseudo-random) but causal --- the result is completely determined by events that precede its completion. unsafeInterleaveIO, by contrast, is arguably (sometimes)

Re: [Haskell-cafe] Getting rid of functional dependencies with type proxies

2008-11-13 Thread Reiner Pope
On Thu, Nov 13, 2008 at 9:09 PM, Tobias Bexelius [EMAIL PROTECTED] wrote: Hi, some time ago I asked about a problem I had with functional dependencies conflicting when using overlapping instances in a code like this: {-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances

[Haskell-cafe] Getting rid of functional dependencies with type proxies

2008-11-13 Thread Tobias Bexelius
Hi, some time ago I asked about a problem I had with functional dependencies conflicting when using overlapping instances in a code like this: {-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances -fallow-incoherent-instances #-} data V2 a = V2 a a class Vec v a where dot :: v

Re: [Haskell-cafe] ANNOUNCE: rewriting-0.1

2008-11-13 Thread Thomas van Noort
Hi Greg, We didn't look into nominal rewriting I'm afraid. And I'm not that familiar with scrap-your-nameplate so I'm not sure if you can implement nominal rewriting using that library. Regards, Thomas Greg Meredith wrote: Thomas, Did you explore nominal rewrite at all? Do you know if it

Re: [Haskell-cafe] What *not* to use Haskell for

2008-11-13 Thread Lennart Augustsson
People have been admitting to using Haskell like that for quite a while now. I think it's an excellent use of Haskell as a DSEL host. -- Lennart On Thu, Nov 13, 2008 at 12:40 AM, [EMAIL PROTECTED] wrote: G'day all. Quoting Tom Hawkins [EMAIL PROTECTED]: Actually, Haskell is an excellent

[Haskell-cafe] The Gtk Clutter API

2008-11-13 Thread Darrin Thompson
http://www.clutter-project.org/ What is the degree-of-difficulty for creating Haskell bindings for Clutter? Is it simple to extend gtk2hs to cover it? Or has it been done and I just don't see it? Thanks. -- Darrin ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] What *not* to use Haskell for

2008-11-13 Thread Dan Piponi
Real time audio applications are top of my list of crazy projects I would work on if I had a month spare. I think it might work out nicely. My approach wouldn't be to talk directly to audio hardware from Haskell but instead use a framework like Lava to generate low level code from an embedded DSL.

Re: [Haskell-cafe] What *not* to use Haskell for

2008-11-13 Thread Andrew Coppin
Dan Piponi wrote: Real time audio applications are top of my list of crazy projects I would work on if I had a month spare. I think it might work out nicely. My approach wouldn't be to talk directly to audio hardware from Haskell but instead use a framework like Lava to generate low level code

Re: [Haskell-cafe] What *not* to use Haskell for

2008-11-13 Thread Don Stewart
andrewcoppin: Dan Piponi wrote: Real time audio applications are top of my list of crazy projects I would work on if I had a month spare. I think it might work out nicely. My approach wouldn't be to talk directly to audio hardware from Haskell but instead use a framework like Lava to generate

[Haskell-cafe] Problem with directory-1.0.0.0

2008-11-13 Thread Bartosz Wójcik
Hi Folks, I'm facing problem after I've reinstalled directory-1.0.0.0 (setup configure/build/install). Since then I cannot complie anything that needs this library. It fails with following messages: Preprocessing library haddock-2.4.0... Preprocessing executables for haddock-2.4.0... Building

[Haskell-cafe] openal alut troubles

2008-11-13 Thread Stephen
The link to the OpenAL documentation [ http://haskell.org/ghc/docs/latest/html/libraries/OpenAL/Sound-OpenAL.html ] from here [ http://www.haskell.org/haskellwiki/OpenAL ] seems to be down. Also, I tried to use cabal to install ALUT and got the following checking for unistd.h... yes checking

Re: [Haskell-cafe] What *not* to use Haskell for

2008-11-13 Thread Dan Piponi
On Thu, Nov 13, 2008 at 11:08 AM, Andrew Coppin [EMAIL PROTECTED] wrote: In other words, Haskell is an excellent language for designing special-purpose compilers and interpretters for custom languages. ;-) If I knew a damned thing about IA32 assembly and dynamic linkage, I'd be tempted to try

Re: [Haskell-cafe] Problem with directory-1.0.0.0

2008-11-13 Thread Bartosz Wójcik
OK, I've found package.conf file and updated there libraries manually. Why new one doesn't work I don't know though. If anyone can have an idea, it'd be helpful. best, Bartek On Thursday 13 November 2008 22:08:19 Bartosz Wójcik wrote: I'm facing problem after I've reinstalled directory-1.0.0.0

Re: [Haskell-cafe] What *not* to use Haskell for

2008-11-13 Thread ajb
G'day all. Quoting Lennart Augustsson [EMAIL PROTECTED]: People have been admitting to using Haskell like that for quite a while now. I think it's an excellent use of Haskell as a DSEL host. DSL is a proper superset of DSEL. Just saying. Cheers, Andrew Bromage

Re: [Haskell-cafe] openal alut troubles

2008-11-13 Thread Marc Weber
On Thu, Nov 13, 2008 at 09:01:36PM +, Stephen wrote: The link to the OpenAL documentation [ [1]http://haskell.org/ghc/docs/latest/html/libraries/OpenAL/Sound-OpenAL.html ] from here [ [2]http://www.haskell.org/haskellwiki/OpenAL ] seems to be down. Also, I tried to use

[Haskell-cafe] What is Haskell used for?

2008-11-13 Thread Jason Dagit
I was looking over the Hackage categories today to figure out what Haskell is *really* used for? I just really quickly sorted the categories by number of packages. It's really interesting to see System, Graphics and Network so high on the list. Clearly, next to data types and text processing,

[Haskell-cafe] Monads for Incremental computing

2008-11-13 Thread sanzhiyan
I'm looking for the source code of the library for adaptive computations exposed in Magnus Carlsson's Monads for Incremental Computing[1], but the link in the paper is broken. So, does anyone have the sources or knows how to contact the author? [1]

Re: [Haskell-cafe] Monads for Incremental computing

2008-11-13 Thread Don Stewart
I sit next to the author, CC'd. -- Don sanzhiyan: I'm looking for the source code of the library for adaptive computations exposed in Magnus Carlsson's Monads for Incremental Computing[1], but the link in the paper is broken. So, does anyone have the sources or knows how to

Re: [Haskell-cafe] Monads for Incremental computing

2008-11-13 Thread Donnie Jones
Hello sanzhiyan, I believe this is the same paper, the pdf is available here: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.3014 Cheers. __ Donnie On Thu, Nov 13, 2008 at 9:02 PM, Don Stewart [EMAIL PROTECTED] wrote: I sit next to the author, CC'd. -- Don sanzhiyan: I'm

Re: [Haskell-cafe] Re: TimeDiff to Int?

2008-11-13 Thread Lyle Kopnicky
Thanks, but that doesn't seem to work. I got an answer of -3. I tried it again a minute later and it was still -3. I tried again a minute later and it was -1. It's just after 9am here, so I have no idea what to make of those numbers. I have settled on this code: secondsSinceMidnight :: IO Int

Re: [Haskell-cafe] openal alut troubles

2008-11-13 Thread Stephen
ah, damn I feel stupid. I hadn't it installed. I just tried to, and, after verifying with the internet, it seems that ALUT isn't supported on macs anymore anyway. Which leads me to the following question: does anyone have any example code for saving/loading wav files, say, using openal (minus

[EMAIL PROTECTED]: Re: [Haskell-cafe] Monads for Incremental computing]

2008-11-13 Thread Don Stewart
Magnus writes: Thanks to Peter Jonsson, the source is now on hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Adaptive Cheers, Magnus Donnie Jones wrote: Hello sanzhiyan, I believe this is the same paper, the pdf is available here:

Re: [EMAIL PROTECTED]: Re: [Haskell-cafe] Monads for Incremental computing]

2008-11-13 Thread Conal Elliott
As Magnus pointed out in his (very clever) paper, the Applicative interface allows for more precise/efficient tracking of dependencies, in that it eliminates accidental sequentiality imposed by the Monad interface. (Magnus didn't mention Applicative by name, as his paper preceded

Re: [Haskell-cafe] openal alut troubles

2008-11-13 Thread Marc Weber
On Fri, Nov 14, 2008 at 02:33:05AM +, Stephen wrote: ah, damn I feel stupid. I hadn't it installed. I just tried to, and, after verifying with the internet, it seems that ALUT isn't supported on macs anymore anyway. Which leads me to the following question: does anyone have

[Haskell-cafe] ghci start-up banner

2008-11-13 Thread Cetin Sert
Hi all, after reading this announcement on the Galois blog: http://www.galois.com/blog/2008/11/13/tech-talk-mechanically-verified-lisp-interpreters/ I installed Hol4 to play around with it a little bit. I made 2 obvious observations ^_^: 1) It looks like the Hol4 system is just a ML module