Carter:
Not yet.
I'll get round to it once I'm done with with an Agda presentation I'm
working on. Until then I can't afford to break my environment.
On Fri, Sep 28, 2012 at 1:56 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
do these problems also happen if your'e using the glut
The GLUT-backend calls system.exit when the window is closed, because
'exitMainLoop' is only defined within freeglut, which is not by default
installed on non-linux platforms.
There is hence no real point in running gloss applications with the
GLUT-backend from GHCi.
I'll try to find a
Michael Snoyman wrote:
Heinrich Apfelmus wrote:
Michael Snoyman wrote:
Note that I wasn't necessarily advocating such a pragma. And a lot of
my XML code actually *does* use two IsString instances at the same
time, e.g.:
Element (img :: Name) (singleton (href :: Name) (foo.png ::
Text))
Sylvia is a lambda calculus visualizer.
Such a thing is certainly nice to have.
I use this one for teaching:
http://joerg.endrullis.de/lambdaCalculator.html
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
How is it possible to run 2 different versions of GHC
if you installed the binary packages in standard locations,
look in /usr/local/bin/ghc* : you have ghc-6.12.3, ghc-7.6.1 etc.
and each one knows how to find their libraries.
you can even say cabal install --with-ghc=ghc-7.6.1 foo
I would expect this to work, maybe with some additional notation (a la
ScopedTypeVariables)
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
class Foo a b | a - b
class Foo a b = Bar a where
foo :: a - b - c
The type family equivalent works
I'd like to announce ticketimer.com -- it's a website
that is not done yet. With ticketimer you can
choose films for your local cinema. People can buy
tickets in advance and promote the films they like.
Do we need to eat this blockbuster stuff all the time?
See how to vote for a change on
I'm new to concurrent programming in Haskell. I'm looking for a
drop-in replacement for 'mapM' to parallelize a set of independent IO
operations. I hoped 'mapConcurrently' might be it, but I need
something that will only spawn as many threads as I have CPUs
available [1].
I also tried
Is there a tool available that will tell me if the cabal file for my
library or application has any unnecessary build-depends?
I have a habit of developing new modules within an application and then
moving them out to separate libraries. For instance, I might move module
Foo out of my application
On 12-09-26 08:07 PM, wren ng thornton wrote:
On 9/25/12 1:57 PM, Sjoerd Visscher wrote:
Maybe we could make a literal [a,b,c] turn into
unpack [a,b,c]#
where
[a,b,c]#
is a statically-allocated vector?
I'm kinda surprised this isn't already being done. Just doing this seems
like it'd
Check out the parallel combinators in parallel-io:
http://hackage.haskell.org/packages/archive/parallel-io/0.3.2/doc/html/Control-Concurrent-ParallelIO-Global.html
On Fri, Sep 28, 2012 at 1:01 PM, Greg Fitzgerald gari...@gmail.com wrote:
I'm new to concurrent programming in Haskell. I'm
On 28/09/12 19:58, Patrick Mylund Nielsen wrote:
Check out the parallel combinators in parallel-io:
http://hackage.haskell.org/packages/archive/parallel-io/0.3.2/doc/html/Control-Concurrent-ParallelIO-Global.html
also
Check out the parallel combinators in parallel-io:
Cool, that's the library I'm looking for! I see it uses
'numCapabilities' to get the command-line value for '-N' and not
'getNumCapabilities' to query the system for how many cores are
available. So using the 'Local' module, this works:
On Fri, Sep 28, 2012 at 11:01 AM, Greg Fitzgerald gari...@gmail.com wrote:
I also tried Control.Parallel.Strategies [2]. While that route works,
I had to use unsafePerformIO. Considering that IO is for sequencing
effects and my IO operation doesn't cause any side-effects (besides
hogging a
CCing the list back.
At Fri, 28 Sep 2012 13:30:52 -0700,
Alexander Solla wrote:
What is the problem, exactly? It looks to me like UndecidableInstances and
ScopedTypeVariables (on foo, or its arguments) would be enough.
I'm not sure what you mean. I don't see the need for
On Fri, Sep 28, 2012 at 5:04 PM, Francesco Mazzoli f...@mazzo.li wrote:
CCing the list back.
At Fri, 28 Sep 2012 13:30:52 -0700,
Alexander Solla wrote:
What is the problem, exactly? It looks to me like UndecidableInstances
and
ScopedTypeVariables (on foo, or its arguments) would be
At Fri, 28 Sep 2012 17:19:36 -0700,
Alexander Solla wrote:
Well, then what exactly is the problem? Are you getting an error?
...well yes. The error I get with the posted class declarations is
Not in scope: type variable `b'
at the line with
class Foo a b = Bar a where
Which I get
On Fri, Sep 28, 2012 at 5:36 PM, Francesco Mazzoli f...@mazzo.li wrote:
At Fri, 28 Sep 2012 17:19:36 -0700,
Alexander Solla wrote:
Well, then what exactly is the problem? Are you getting an error?
...well yes. The error I get with the posted class declarations is
Not in scope: type
18 matches
Mail list logo