Jason Dagit writes:
>> Running GHC in parallel with --make would be nice, but I find on
>> Windows that the link time is the bottleneck for most projects.
> Yes, when GHC calls GNU ld, it can be very costly. In my experience,
I'll add mine: On my Ubuntu systems, linking is nearly instantaneo
On Thu, 12 Nov 2009 22:44:22 -0500
>> "Braden" == Braden Shepherdson
>> wrote:
Braden> This worked for me, though that was quite a while ago.
Braden> Presumably it still works. I don't remember doing any magic,
Braden> just using the Maemo cross-compiler to build the output of jhc.
Thank
On 13/11/09 05:31, Vasiliy G. Stavenko wrote:
> Hello everyone.
>
> What about passing complex c-types (structures) to c-functions.
>
> More detailed: I have an application in production which was written in
> Delphi. IT has ability to create pluggable modules to it. Interface
> realized by sendi
On 13/11/09 01:52, Evan Laforge wrote:
>>> Running GHC in parallel with --make would be nice, but I find on
>>> Windows that the link time is the bottleneck for most projects.
>>
>> Yes, when GHC calls GNU ld, it can be very costly. In my experience, on a
>
> This is also my experience. GNU ld i
> "Christoph" == Christoph Bauer writes:
Christoph> Hello, sure, your program could use a database with
Christoph> HDBC. But I'll guess (since you love static typing so
Christoph> much) you dislike formulating queries in strings and to
Christoph> check the positions of your ?-
Hello everyone.
What about passing complex c-types (structures) to c-functions.
More detailed: I have an application in production which was written in
Delphi. IT has ability to create pluggable modules to it. Interface
realized by sending Win32Api messages to application.
function in haskell W
This worked for me, though that was quite a while ago. Presumably it
still works. I don't remember doing any magic, just using the Maemo
cross-compiler to build the output of jhc.
The only annoying part was having to build with jhc outside the
scratchbox environment and then build the C output
Casey,
> Why in a pattern match like
>
> score (1 3) = 7
You probably mean
> score 1 3 = 7
which applies the function 'score' to two arguments. With the parentheses,
it looks like an application of '1' to the argument '3'. But to answer your
actual question...
> can I not have
>
> sizeMax =
On Nov 12, 2009, at 21:15 , Casey Hawthorne wrote:
Why in a pattern match like
score (1 3) = 7
can I not have
sizeMax = 3
score (1 sizeMax) = 7
Because it's a pattern, and when you introduce a symbol you are
inviting the pattern match to bind what it matched to that name for
use within
Why in a pattern match like
score (1 3) = 7
can I not have
sizeMax = 3
score (1 sizeMax) = 7
--
Regards,
Casey
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
>> Running GHC in parallel with --make would be nice, but I find on
>> Windows that the link time is the bottleneck for most projects.
>
> Yes, when GHC calls GNU ld, it can be very costly. In my experience, on a
This is also my experience. GNU ld is old and slow. I believe its
generality also
On Thu, Nov 12, 2009 at 2:57 AM, Neil Mitchell wrote:
> Hi,
>
> I'd really love a faster GHC! I spend hours every day waiting for GHC,
> so any improvements would be most welcome.
>
Has anyone built a profiling enabled GHC to get data on where GHC spends
time during compilation?
>
> I remember
On Nov 12, 2009, at 2:02 PM, Evan Laforge wrote:
Recently the "go" language was announced at golang.org.
It looks a lot like Limbo; does it have Limbo's dynamic loading?
According to Rob Pike, the main reason for 6g's speed
It's clear that 6g doesn't do as much optimisation as gccgo.
It p
Anakreon Mendis csd.auth.gr> writes:
>
> I've installed the flow2dot utility. It fails to produce a dot
> file from the sample provided by it's author. The output of the program
> is:
[skip]
Are you sure you are using version 0.7, since this is when "order" directive
came into existence?
> I just meant it's not immediately clear how
>
> foo :: forall x. (x -> x -> y)
>
> is different from
>
> foo :: (forall x. x -> x) -> y
>
> It takes a bit of getting used to.
Those are different functions all together, so perhaps you meant these.
foo :: forall x y. (x -> x) -> y
bar :: fo
Andrew Coppin wrote:
>
> I just meant it's not immediately clear how
>
> foo :: forall x. (x -> x -> y)
>
> is different from
>
> foo :: (forall x. x -> x) -> y
Uhm, I guess you meant
foo :: forall x. ((x -> x) -> y)
VS.
foo :: (forall x. x -> x) -> y
, didn't you?
__
Hello,
sure, your program could use a database with HDBC. But I'll guess
(since you love static typing so much) you dislike formulating queries
in strings and to check the positions of your ?-placeholders and to
convert your values with fromSql/toSql. Maybe you would prefer
for your select query a
David Virebayre wrote:
On Thu, Nov 12, 2009 at 8:52 PM, Andrew Coppin
wrote:
I just meant it's not immediately clear how
foo :: forall x. (x -> x -> y)
is different from
foo :: (forall x. x -> x) -> y
It takes a bit of getting used to.
Tha
On Thu, Nov 12, 2009 at 8:52 PM, Andrew Coppin
wrote:
> I just meant it's not immediately clear how
> foo :: forall x. (x -> x -> y)
> is different from
> foo :: (forall x. x -> x) -> y
> It takes a bit of getting used to.
That still confuses me.
Shazam!
Thank you!
On Thu, 12 Nov 2009 15:13:47 -0500, you wrote:
>Did you try ghc --make?
>
>On Thu, Nov 12, 2009 at 3:12 PM, Casey Hawthorne wrote:
>> Why can I run (runghc) some Haskell scripts but I cannot seem to
>> compile them?
>>
>> e.g. http://www.haskell.org/all_about_monads/examples
Hi, all,
Hackage shows a log failure for 'bindings-gsl':
Configuring bindings-gsl-0.1.1...
cabal-setup: At least the following dependencies are missing:
bindings-DSL ==1.0.*
But here is, at version 1.0.1, no building problems:
http://hackage.haskell.org/package/bindings-DSL
T
On Wed, 11 Nov 2009 00:37:59 -0800
>> "John" == John Meacham wrote:
Hi John,
John> Yup. This was a major goal. compiling for iPhones and embedded
John> arches is just as easy assuming you have a gcc toolchain set up.
John> (at least with the hacked iPhone SDK.. I have never tried it with
Joh
Did you try ghc --make?
On Thu, Nov 12, 2009 at 3:12 PM, Casey Hawthorne wrote:
> Why can I run (runghc) some Haskell scripts but I cannot seem to
> compile them?
>
> e.g. http://www.haskell.org/all_about_monads/examples/example25.hs
>
> I've changed the import listing to the following:
>
> impor
Why can I run (runghc) some Haskell scripts but I cannot seem to
compile them?
e.g. http://www.haskell.org/all_about_monads/examples/example25.hs
I've changed the import listing to the following:
import IO
import System
import Monad
import Data.Maybe
import Data.List
import Data.Char (toLower)
i
Why can I run (runghc) some Haskell scripts but I cannot seem to
compile them?
e.g. http://www.haskell.org/all_about_monads/examples/example25.hs
I've changed the import listing to the following:
import IO
import System
import Monad
import Data.Maybe
import Data.List
import Data.Char (toLower)
i
Does anyone know here how GHC links in object files from other
languages? I am getting a strange issue where it seems to be getting
the calling convention on Fortran calls wrong.
Specifically, on one computer (Gentoo Linux) I have with gcc and
gfortran v4.4 and ghc compiled using gcc v4.3,
2009/11/12 Ryan Ingram :
> On Thu, Nov 12, 2009 at 2:50 AM, Eugene Kirpichov
> wrote:
>> But that's not an issue of semantics of forall, just of which part of
>> the rather broad and universal semantics is captured by which language
>> extensions.
>
> The forall for existential type quantificatio
Eugene Kirpichov wrote:
2009/11/12 Andrew Coppin :
Joe Fredette wrote:
Forall means the same thing as it means in math
...which not everybody already knows about. ;-)
Even I am still not 100% sure how placing forall in different positions does
different things. But usually it's
On Thu, Nov 12, 2009 at 2:50 AM, Eugene Kirpichov wrote:
> But that's not an issue of semantics of forall, just of which part of
> the rather broad and universal semantics is captured by which language
> extensions.
The forall for existential type quantification is wierd.
> data Top = forall a.
To: Casey Hawthorne
Subject: Re: [Haskell-cafe] looking for a good algorithm
From: Casey Hawthorne
Date: Thu, 12 Nov 2009 11:14:02 -0800
On third thought, convert the table to a 2D array of bits (or a 1D
array of bits mapped to a 2D coordinate system).
The bit is true for either an Int or Double
I've had some luck with two techniques for this:
1. Create "stub" files, associated with a custom preprocessor which
knows how to parse them and generate a Haskell module. For example,
you might have "Foo.wx-stub" contain:
[headers]
wx/foo.h
wx/otherheader.h
and then parse it into pa
On Thu, 2009-11-12 at 17:37 +, Sam Martin wrote:
> Although it might be a pain in the arse to some degree, is there any
> reason why 'base' is considered special?
>
> As an example, I've come across a fair number of libraries/apps that
> (presumably) compile against a previous version of Open
On Thu, 2009-11-12 at 17:54 +, Jeremy O'Donoghue wrote:
> Hi all,
>
> Another, probably simple, question regarding cabalization.
>
> Part of wxcore, the low level abstraction in wxHaskell, consists of
> haskell modules which are generated automatically by parsing C headers
> using another too
Hi Joe,
> Serious question now, There's a fair amount of definitely irrelevant code
> (like the definition of the `Email` type, etc), should I post that in the
> report too (assuming it doesn't work in 6.12 or I can't get 6.12 working to
> try it)?
http://hackage.haskell.org/trac/ghc/wiki/ReportA
Actually, I just solved the problem... I think...
In my original code, I had the newtype:
newtype FilterState t => Filter t a = Filter (ContextMatch t a)
deriving (Functor, Monad, MonadReader Email, MonadState Bool,
MonadIO)
I was trying to confirm that it actually was the `deriving
Okay, so -- I feel totally awesome -- I never found a GHC bug
before... and a Haskell Celebrity responded to my post! *swoons* :)
Serious question now, There's a fair amount of definitely irrelevant
code (like the definition of the `Email` type, etc), should I post
that in the report too (a
Hi all,
Another, probably simple, question regarding cabalization.
Part of wxcore, the low level abstraction in wxHaskell, consists of
haskell modules which are generated automatically by parsing C headers
using another tool, wxdirect.
When trying to create an sdist package, we run into the prob
Although it might be a pain in the arse to some degree, is there any
reason why 'base' is considered special?
As an example, I've come across a fair number of libraries/apps that
(presumably) compile against a previous version of OpenGL, but not the
current latest. Given it's impossible to test a
On Thu, 2009-11-12 at 10:46 +0100, Daniel Kahlenberg wrote:
> to answer this question myself how the use of another gcc is specified
> with effect, I used the following options with the 'cabal install' call:
>
> --ghc-options="-pgmc e:/programme/ghc/mingw-gcc4/bin/gcc.exe -pgml
> e:/programme/ghc
Jeremy O'Donoghue wrote:
Hi all,
I'm in the process of trying update the revisions of wx (part of
wxHaskell) on hackage.
I'm getting an error I find slightly surprising:
...
Library
if flag(splitBase)
build-depends: base >= 3, wxcore >= 0.12.1.1, stm
Change this last line to base
Hi all,
I'm in the process of trying update the revisions of wx (part of
wxHaskell) on hackage.
I'm getting an error I find slightly surprising:
"400 Error in upload
The dependency 'build-depends: base' does not specify an upper bound
on the version number. Each major release of the 'base' packa
Now my program does not produce the error. A thread that was involved in the
process failed with the effect of blocking the main thread that processed
the socket input and produced the output. That ended up in this strange
error after waiting half a second (more or less). instead of being catched
b
I've installed the flow2dot utility. It fails to produce a dot
file from the sample provided by it's author. The output of the program
is:
.cabal/bin/flow2dot sample.flow
flow2dot: Input:
order a b c d
a -> b: let's play "catch a ball"!
b -> c: i'll pass it along
c: what to do next?
c -> a: lets
Also, a *service* should have a persistence periodical action which should
evaluate (most part of) the state thunks in their values to be serialized.
This work for the structure similarity of NFData and Show/Binary classes.
When there is a not directly serializable part of the state , things can ge
Magicloud Magiclouds writes:
> Just joking. But still, since gtk2hs still using the configure/make
> way, it is complex to add another option to the system. I tried to add
> array to build-depends of Cairo.cabal, no luck.
Yes, it's not handy that gtk2hs can't use Cabal.
But i think this is not ea
On Thu, Nov 12, 2009 at 12:39 PM, Bulat Ziganshin wrote:
> Hello Peter,
>
> Thursday, November 12, 2009, 3:26:21 PM, you wrote:
>
> incremental is just a word. what exactly we mean?
Incremental linking means the general idea of reusing previous linking
results, only patching it up with respect
Hello Peter,
Thursday, November 12, 2009, 3:26:21 PM, you wrote:
incremental is just a word. what exactly we mean? ghc, like any other
.obj-generating compiler, doesn't recompile unchanged source files (if
their dependencies aren't changed too). otoh, (my old ghc 6.6)
recompiles Main.hs if import
Hello Rafal,
Thursday, November 12, 2009, 3:10:54 PM, you wrote:
>> it's impossible to interpret haskell - how can you do type inference?
>> hugs, like ghci, is bytecode interpreter. the difference is their
>> implementation languages - haskell vs C
> We use Standard ML for the Isabelle/HOL theo
Regarding speeding up linking or compilation, IMO the real speedup you
would get from incremental compilation & linking. It's okay if the
initial compilation & linking take a long time, but the duration of
next c&l iterations should only depend on the number of changes one
does, not on the total pr
Bulat Ziganshin wrote:
it's impossible to interpret haskell - how can you do type inference?
hugs, like ghci, is bytecode interpreter. the difference is their
implementation languages - haskell vs C
We use Standard ML for the Isabelle/HOL theorem prover, and it's
interpreted, even has an inter
How about:
instance (Monad m) => MonadState s (SStateT s m) where
get = S get
put s = S (put $ using s $ strategy m)
where our state monad has a strategy field?
Matthew
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.o
Just joking. But still, since gtk2hs still using the configure/make
way, it is complex to add another option to the system. I tried to add
array to build-depends of Cairo.cabal, no luck.
On Thu, Nov 12, 2009 at 5:28 PM, Magnus Therning wrote:
> On Thu, Nov 12, 2009 at 9:11 AM, Magicloud Magicloud
Hello Konstantin,
Thursday, November 12, 2009, 1:12:35 PM, you wrote:
> I'm writing an wxHaskell application. Everything is ok, but now I need
> a separate folder for icons, bitmaps, and so on, from where they are
> loaded at runtime. How can I compile resources, and link them into my
> executabl
Hello Neil,
Thursday, November 12, 2009, 1:57:06 PM, you wrote:
> I'd really love a faster GHC!
there are few obvious ideas:
1) use Binary package for .hi files
2) allow to save/load bytecode
3) allow to run program directly from .hi files w/o linking
4) save mix of all .hi files as "program da
Hi,
I'd really love a faster GHC! I spend hours every day waiting for GHC,
so any improvements would be most welcome.
I remember when developing Yhc on a really low powered computer, it
had around 200 modules and loaded from scratch (with all the Prelude
etc) in about 3 seconds on Hugs. ghc --mak
On Thu, Nov 12, 2009 at 11:12 AM, Konstantin Vladimirov
wrote:
> Hello.
> I'm writing an wxHaskell application. Everything is ok, but now I need
> a separate folder for icons, bitmaps, and so on, from where they are
> loaded at runtime. How can I compile resources, and link them into my
> executa
2009/11/12 Neil Brown :
> Eugene Kirpichov wrote:
>>
>> 2009/11/12 Andrew Coppin :
>>
>>>
>>> Even I am still not 100% sure how placing forall in different positions
>>> does
>>> different things. But usually it's not something I need to worry about.
>>> :-)
>>>
>>
>> To me it does not look like it
Eugene Kirpichov wrote:
2009/11/12 Andrew Coppin :
Even I am still not 100% sure how placing forall in different positions does
different things. But usually it's not something I need to worry about. :-)
To me it does not look like it does different things: everywhere it
denotes univer
On Thu, Nov 12, 2009 at 8:01 AM, Matthew Pocock
wrote:
> Yes. This bit me the first time I came across it. I think we need a
> Control.Monad.State.StrictOnState with strict behaviour on the state value.
> I notice this same underlying issue is coming up in more than one thread on
> these lists.
T
2009/11/12 Andrew Coppin :
> Joe Fredette wrote:
>>
>> Forall means the same thing as it means in math
>
> ...which not everybody already knows about. ;-)
>
> Even I am still not 100% sure how placing forall in different positions does
> different things. But usually it's not something I need to wo
Joe Fredette wrote:
Forall means the same thing as it means in math
...which not everybody already knows about. ;-)
Even I am still not 100% sure how placing forall in different positions
does different things. But usually it's not something I need to worry
about. :-)
_
Dan Piponi wrote:
To use these types with ghc you need to use the compilation flag
-XExistentialQuantification.
Or, more portably, add {-# LANGUAGE ExistentialQuantification #-} at the
top of the source file. It should now compile in any computer that
supports this feature without any spec
Hello.
I'm writing an wxHaskell application. Everything is ok, but now I need
a separate folder for icons, bitmaps, and so on, from where they are
loaded at runtime. How can I compile resources, and link them into my
executable to provide for users single .exe file with resource section
inside it?
jean-christophe mincke wrote:
> I do not master all the subtilities of lazy evaluation yet and perhaps tail
> recursivity does not have the same importance (or does not offer the same
> guarantees) in a lazy language as it does in a strict language.
Yep, that's the case. With lazy evaluation, tai
2009/11/12 Heinrich Apfelmus
> Interestingly, this is different from Control.Monad.State.Strict . The
> latter never forces the state itself, just the pair constructor of the
> (result,state) pair.
>
>
Yes. This bit me the first time I came across it. I think we need a
Control.Monad.State.Strict
On Wed, Nov 04, 2009 at 07:01:50PM +0100, Sjoerd Visscher wrote:
> To: Haskell Cafe
> From: Sjoerd Visscher
> Date: Wed, 4 Nov 2009 19:01:50 +0100
> Subject: Re: [Haskell-cafe] Fair diagonals (code golf)
>
> The code by Twan can be reduced to this:
>
> diagN = concat . foldr f [[[]]]
>
> f :: [
2009/11/12 Heinrich Apfelmus
> Interestingly, this is different from Control.Monad.State.Strict . The
> latter never forces the state itself, just the pair constructor of the
> (result,state) pair.
>
>
Yes. This bit me the first time I came across it. I think we need a
Control.
David Menendez wrote:
> I think replacing "put s" with "put $! s" should guarantee that the
> state is evaluated.
>
> If you're using get and put in many place in the code, you could try
> something along these lines:
>
> newtype SStateT s m a = S { unS :: StateT s m a } deriving (Monad, etc.)
>
to answer this question myself how the use of another gcc is specified
with effect, I used the following options with the 'cabal install' call:
--ghc-options="-pgmc e:/programme/ghc/mingw-gcc4/bin/gcc.exe -pgml
e:/programme/ghc/mingw-gcc4/bin/gcc.exe"
See
http://www.haskell.org/ghc/docs/latest/h
Excerpts from Евгений Пермяков's message of Thu Nov 12 00:33:07 -0700 2009:
> When I try cabal-install lambdabot (gentoo linux/amd64, ghc installed with
> portage), it runs fine until compiler tries to link readline package (some
> template haskell?). The problem caused by dirty trick, used in gen
On Thu, Nov 12, 2009 at 9:11 AM, Magicloud Magiclouds
wrote:
> No, it is not. I used configure/make way.
> Well I just noticed that there is a "hide-all-package" options to ghc.
> I do not know why. Maybe the author went crazy.
Chances are the auther DIDN'T go crazy :-)
It's a common practice to
Excerpts from wren ng thornton's message of Thu Nov 12 08:17:41 +0100 2009:
> Nicolas Pouillard wrote:
> > Excerpts from jean-christophe mincke's message of Tue Nov 10 21:18:34 +0100
> > 2009:
> >> do acc <- get
> >>put (acc+1)
> >>...
> >
> > Since this pattern occurs often 'modify' is a
On Thu, Nov 12, 2009 at 8:57 AM, David Virebayre
wrote:
> On Wed, Nov 11, 2009 at 5:44 PM, Svein Ove Aas wrote:
>
>> My recommendation would be to take glibc off the list of statically
>> linked libraries.
>
> How do you do that ?
>
By specifying the entire list manually, and not naming glibc.
-
No, it is not. I used configure/make way.
Well I just noticed that there is a "hide-all-package" options to ghc.
I do not know why. Maybe the author went crazy.
On Thu, Nov 12, 2009 at 5:09 PM, Magnus Therning wrote:
> On Thu, Nov 12, 2009 at 7:32 AM, Magicloud Magiclouds
> wrote:
>> Hi,
>> Tod
On Thu, Nov 12, 2009 at 7:32 AM, Magicloud Magiclouds
wrote:
> Hi,
> Today, when I compiled gtk2hs, I got this:
> cairo/Graphics/Rendering/Cairo.hs.pp:264:0:
> Failed to load interface for `Data.Array.Base':
> it is a member of the hidden package `array-0.2.0.0'
> Use -v to see a lis
| [1 of 3] Compiling Network.HackMail.Email.ParseEmail ( Network/
| HackMail/Email/ParseEmail.hs, interpreted )
| [2 of 3] Compiling Network.HackMail.Email.Email ( Network/HackMail/
| Email/Email.hs, interpreted )
| [3 of 3] Compiling Network.HackMail.Filter.Filter ( Network/HackMail/
| Filter/Filt
Hiya Haskellers,
So there I was, punching away at the keys, working on the Haskell
Weekly News tools when the solution to one of my problems fell on me
like a ton of lambdas. The solution and problem it solved are
immaterial, but suffice to say it involved the combination of
associated t
Hello David,
Thursday, November 12, 2009, 10:22:41 AM, you wrote:
>> are you seen hugs, for example? i think that ghc is slow because it's
>> written in haskell and compiled by itself
> If I understood, Evan is interested in ideas to speed up compilation.
> As far as I know, hugs is an interpret
On Wed, Nov 11, 2009 at 11:22 PM, David Virebayre
wrote:
> On Thu, Nov 12, 2009 at 7:18 AM, Bulat Ziganshin
> wrote:
>>
>> Hello Evan,
>>
>> Thursday, November 12, 2009, 4:02:17 AM, you wrote:
>>
>> > Recently the "go" language was announced at golang.org. There's not a
>> > lot in there to make
Hello,
Thank everybody for the answers.
I must admit that I did not really emphasize the goal behind my initial
question. Which is better expressed this way:
'walk' is written is CPS and is tail recursive. Unless I am wrong , if the
continuation monad is used, the recursive calls to 'walk' are
80 matches
Mail list logo