#4279: Proposal: Performance improvements for Data.IntMap
-+--
Reporter: dons | Owner:
Type: proposal | Status: new
Priority:
#4280: Proposal: Performance improvements for Data.Set
-+--
Reporter: tibbe | Owner:
Type: proposal | Status: new
Priority:
Kathleen
I talked to Simon. We are puzzled. Maybe a file has moved, so that make
maintainer-clean isn't cleaning it. (That's something the build system is bad
about.)
Can you try in a completely fresh tree? And, if that fails, send (a url to)
the entire build log?
Incidentally
On 28/08/2010 07:45, Edward Z. Yang wrote:
Excerpts from Simon Marlow's message of Fri Aug 27 04:05:46 -0400 2010:
You should walk cap-suspended_ccalls instead, no lock is required for that.
For stress testing, you want to construct an example that has lots of
threads making foreign cals and
I can’t reproduce this. With the enclosed module and HEAD, I get the warning;
but when I add –fspec-constr-count=5, the warning goes away and I get the
specialised rules.
Could Cabal not be passing on the flag or something?
Simon
module Foo where
data T = A | B | C | D | E
f :: T - [Bool]
On Tue, Aug 31, 2010 at 11:06 AM, Simon Peyton-Jones
simo...@microsoft.comwrote:
I can’t reproduce this. With the enclosed module and HEAD, I get the
warning; but when I add –fspec-constr-count=5, the warning goes away and I
get the specialised rules.
Is this the right fix in general? I
Excerpts from Simon Marlow's message of Tue Aug 31 05:02:13 -0400 2010:
I think the idea of annotating interruptible calls should be good
enough. Simple blocking system calls like read can all be annotated
as interruptible without any problems. Also, pthread_cancel() provides
ways to
On Tue, Aug 31, 2010 at 2:06 AM, Simon Peyton-Jones
simo...@microsoft.comwrote:
I can’t reproduce this. With the enclosed module and HEAD, I get the
warning; but when I add –fspec-constr-count=5, the warning goes away and I
get the specialised rules.
Could Cabal not be passing on the
Hi all,
The Industrial Haskell Group is now in the process of beginning the
second round of the collaborative development scheme. If your company
is interested in becoming a member of the IHG, please get in contact
with us during the next month at i...@industry.haskell.org
To get an idea of
Iteratee-compress provides compressing and decompressing enumerators.
Currently only gzip is provided but at least bzip is planned.
Additionally more fine-control over stream (i.e. flushing) is planned.
Library currently depends on zlib haskell library only for sharing
parameters data.
On Tue, Aug 31, 2010 at 6:51 AM, Maciej Piechotka uzytkown...@gmail.com wrote:
Iteratee-compress provides compressing and decompressing enumerators.
Currently only gzip is provided but at least bzip is planned.
Additionally more fine-control over stream (i.e. flushing) is planned.
On Tue, 2010-08-31 at 12:42 -0700, Jason Dagit wrote:
On Tue, Aug 31, 2010 at 6:51 AM, Maciej Piechotka uzytkown...@gmail.com
wrote:
Iteratee-compress provides compressing and decompressing enumerators.
Currently only gzip is provided but at least bzip is planned.
Additionally more
Hello. I'm using Haskell to write a specification for some software. The
software uses certificates (standard X.509 certificates) and stores user
name information in the Subject's CommonName field.
The X.509 standard doesn't actually require the presence of a CommonName
field so the contents of
On 31 aug 2010, at 08:24, strejon wrote:
Hello. I'm using Haskell to write a specification for some software. The
software uses certificates (standard X.509 certificates) and stores user
name information in the Subject's CommonName field.
The X.509 standard doesn't actually require the
On Tue, Aug 31, 2010 at 08:24, strejon strej...@yahoo.com wrote:
Hello. I'm using Haskell to write a specification for some software. The
software uses certificates (standard X.509 certificates) and stores user
name information in the Subject's CommonName field.
The X.509 standard doesn't
On Mon, Aug 30, 2010 at 1:23 PM, wren ng thornton w...@freegeek.org wrote:
On 8/29/10 1:33 PM, Gábor Lehel wrote:
Another thing I'm wondering about is that there's a fairly intuitive
correspondence between functions at the value level vs. functions at
the type level, and datatypes to classify
Erik Hesselink wrote:
If you want to use types instead of modules and hiding as Chris
suggested, you can use a type index like this:
{-# LANGUAGE EmptyDataDecls, GADTs, KindSignatures #-}
data Nothing
data Just a
data Subject :: * - * where
NoName :: Subject Nothing
Name ::
I have a description of the design pattern you need, appropriately
named: http://lukepalmer.wordpress.com/2009/03/24/certificate-design-pattern/
On Tue, Aug 31, 2010 at 12:24 AM, strejon strej...@yahoo.com wrote:
Hello. I'm using Haskell to write a specification for some software. The
software
ghc-pkg check doesn't list any broken dependencies.
On Tue, Aug 31, 2010 at 9:27 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 31 August 2010 03:18, Lyndon Maydwell maydw...@gmail.com wrote:
Thanks!
This makes perfect sense, but as I just discovered using ghci -v there
is an
On Sat, 28 Aug 2010 00:45:23 +0200, sylvain sylvain.na...@googlemail.com
wrote:
Apart the programming language, I have encountered this term only as a
family name. I would find interesting to know if there is a language in
which this word exists and has yet another meaning.
It is amongst
On 31 August 2010 20:38, Lyndon Maydwell maydw...@gmail.com wrote:
ghc-pkg check doesn't list any broken dependencies.
You sure this is with the same user? ghci is unlikely to complain
about broken libraries if ghc-pkg check doesn't...
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
Iteratee-compress provides compressing and decompressing enumerators.
Currently only gzip is provided but at least bzip is planned.
Additionally more fine-control over stream (i.e. flushing) is planned.
Library currently depends on zlib haskell library only for sharing
parameters data.
Yep. Definitely the same user.
On Tue, Aug 31, 2010 at 7:35 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 31 August 2010 20:38, Lyndon Maydwell maydw...@gmail.com wrote:
ghc-pkg check doesn't list any broken dependencies.
You sure this is with the same user? ghci is unlikely
I am trying to debug a problem in GHCI. I invoke my method with trace
but when it breaks on exception i can't get this history. Output is
below. Thanks.
relude Symbols :set -fbreak-on-exception
Prelude Symbols :trace myMethod
Loading package HUnit-1.2.2.1 ... linking ... done.
Loading package
On Tue, 31 Aug 2010 13:57:42 +0200, Alberto G. Corona
agocor...@gmail.com wrote:
Entering haskell language instead of haskell the ambiguity
dissapears. Then, Jamaica no longer appears in the crude reality . The
weigth of USA is hides all other country here.
I think that a more
On Sat, 28 Aug 2010 00:45:23 +0200, sylvain sylvain.na...@googlemail.com
wrote:
Apart the programming language, I have encountered this term only as a
family name. I would find interesting to know if there is a language in
which this word exists and has yet another meaning.
It is amongst
Do you have ~/.cabal/bin/ in your PATH?
- Sebastian
Am 31.08.2010 um 15:57 schrieb Lyndon Maydwell:
Yep. Definitely the same user.
On Tue, Aug 31, 2010 at 7:35 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 31 August 2010 20:38, Lyndon Maydwell maydw...@gmail.com wrote:
Learn You a Haskell ... says that (-) is a type just like Either. Where can
I find its type definition?
Michael
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
2010/8/31 michael rice nowg...@yahoo.com
Learn You a Haskell ... says that (-) is a type just like Either. Where
can I find its type definition?
You can't define it *in* Haskell as user code. It is a built-in infix
type constructor (Either or Maybe are type constructors too, not just
types).
So it's a type constructor, not a type? Could you please provide a simple
example of its usage?
Michael
--- On Tue, 8/31/10, Vo Minh Thu not...@gmail.com wrote:
From: Vo Minh Thu not...@gmail.com
Subject: Re: [Haskell-cafe] On to applicative
To: michael rice nowg...@yahoo.com
Cc:
Yep :)
Is there a batch of information that might be useful? I can send any
relevant files, aliases, versions, etc at once to help if you like.
On Wed, Sep 1, 2010 at 12:35 AM, Sebastian Höhn
sebastian.ho...@iig.uni-freiburg.de wrote:
Do you have ~/.cabal/bin/ in your PATH?
- Sebastian
Am
Hello michael,
Tuesday, August 31, 2010, 9:27:17 PM, you wrote:
f :: Int - Int
i.e. it's used when you define function types
So it's a type constructor, not a type? Could you please provide a simple
example of its usage?
Michael
--- On Tue, 8/31/10, Vo Minh Thu not...@gmail.com wrote:
2010/8/31 michael rice nowg...@yahoo.com
So it's a type constructor, not a type? Could you please provide a simple
example of its usage?
Sure, although I'm sure you've come by some already.
-- the identity function
id :: a - a
-- often, we write it like this:
-- id x = x
-- but here we see
Ooops
Just after sending this I relized that it is possible to narrow the search
using categories.
Using the category programming:
http://www.google.com/insights/search/?hl=en-US#cat=31q=haskellcmpt=q
http://www.google.com/insights/search/?hl=en-US#cat=31q=haskellcmpt=qit
is even possible to
Hi Steve
The debugger only traces calls in interpreted code. Perhaps the call
to myMethod is being made from object code?
Admittedly, the ghci debugger can take some effort to learn to use
properly. Make sure that you give a look to the ghc user guide if you
haven't done so yet.
Best,
pepe
On
A Control.Arrow in base package introduces an arrow type, and ghc have
good support for arrow notation. Many things, avaible in monads, are
avaible in arrows as well. There is an arrows package, that introduces
some arrow classes : state, reader, writer and so on. However, it does
not introduce
Hello Permjacov,
Tuesday, August 31, 2010, 10:07:38 PM, you wrote:
what operations should be in arrow transformer class?
oh, these Russians :)
--
Best regards,
Bulatmailto:bulat.zigans...@gmail.com
___
Haskell-Cafe
Luke Palmer wrote:
I have a description of the design pattern you need, appropriately
named: http://lukepalmer.wordpress.com/2009/03/24/certificate-design-pattern/
Mmm, I like that.
There are two small problems:
* In my web browser, some of the code snippets get the right-hand edge
I'm not sure if my terminology is correct or even if my question makes sense,
but I can create instances of Maybe, List, IO, and Either.
Prelude Data.Either let m = Just 7
Prelude Data.Either :t m
m :: Maybe Integer
Prelude Data.Either let l = 2:[]
Prelude Data.Either :t l
l :: [Integer]
2010/8/31 Andrew Coppin andrewcop...@btinternet.com:
Luke Palmer wrote:
I have a description of the design pattern you need, appropriately
named:
http://lukepalmer.wordpress.com/2009/03/24/certificate-design-pattern/
Mmm, I like that.
There are two small problems:
* In my web browser,
Prelude FmapFunc let s = show :: ((-) Int) String
Prelude FmapFunc :t s
s :: Int - String
Prelude FmapFunc let v = fmap (hello ++) s
Prelude FmapFunc :t v
v :: Int - String
Prelude FmapFunc v 1
hello 1
-- ryan
On Tue, Aug 31, 2010 at 11:28 AM, michael rice nowg...@yahoo.com wrote:
I'm not
On Tue, Aug 31, 2010 at 2:07 PM, Permjacov Evgeniy permea...@gmail.com wrote:
A Control.Arrow in base package introduces an arrow type, and ghc have
good support for arrow notation. Many things, avaible in monads, are
avaible in arrows as well. There is an arrows package, that introduces
some
2010/8/31 michael rice nowg...@yahoo.com
I'm not sure if my terminology is correct or even if my question makes sense,
but I can create instances of Maybe, List, IO, and Either.
Prelude Data.Either let m = Just 7
Prelude Data.Either :t m
m :: Maybe Integer
We say that m has type Maybe
Hi, Ryan and all,
Bingo! I guess my question was all right after all.
I tried creating an instance earlier but
*Main :t (-) Int Char
interactive:1:1: parse error on input `-'
What got loaded with FmapFunc? I Hoogled it and got back nothing.
Michael
--- On Tue, 8/31/10, Ryan Ingram
2010/8/31 michael rice nowg...@yahoo.com
Hi, Ryan and all,
Bingo! I guess my question was all right after all.
I tried creating an instance earlier but
*Main :t (-) Int Char
interactive:1:1: parse error on input `-'
:t Int
does not make sense but
:t undefined :: Int
is ok, just like
Hi Vo,
Pardon, I grabbed the wrong lines.
*Main :t (-) 3 abc
interactive:1:1: parse error on input `-'
Michael
--- On Tue, 8/31/10, Vo Minh Thu not...@gmail.com wrote:
From: Vo Minh Thu not...@gmail.com
Subject: Re: [Haskell-cafe] On to applicative
To: michael rice nowg...@yahoo.com
Cc: Ryan
2010/8/31 michael rice nowg...@yahoo.com
Hi Vo,
Pardon, I grabbed the wrong lines.
*Main :t (-) 3 abc
interactive:1:1: parse error on input `-'
Try
*Main :t undefined :: (-) 3 abc
You can't write
:t some type
You have to write
:t some value
Michael
--- On Tue, 8/31/10, Vo Minh
On Aug 31, 2010, at 12:03 PM, michael rice wrote:
I tried creating an instance earlier but
*Main :t (-) Int Char
interactive:1:1: parse error on input `-'
Try:
Prelude :info (-)
data (-) a b-- Defined in GHC.Prim
If you want type-information about values, use :t. If you want
On Tue, Aug 31, 2010 at 6:51 AM, Maciej Piechotka uzytkown...@gmail.com wrote:
Iteratee-compress provides compressing and decompressing enumerators.
Currently only gzip is provided but at least bzip is planned.
Additionally more fine-control over stream (i.e. flushing) is planned.
(apologies if you receive multiple copies)
Dear all,
We would like to announce that the fourth meeting of the Ghent Functional
Programming Group will be held on Thursday, October 7th at 19h. The location
will again be the Technicum building of Ghent University
(Sint-Pietersnieuwstraat 41,
You most certainly meant
Prelude Data.Either :t undefined :: (-) Int String
undefined :: (-) Int String :: Int - String
though it is confusing. Constructors usually take values, but here the values
(-) takes are types.
Michael
--- On Tue, 8/31/10, Vo Minh Thu not...@gmail.com wrote:
From:
2010/8/31 michael rice nowg...@yahoo.com
You most certainly meant
Prelude Data.Either :t undefined :: (-) Int String
undefined :: (-) Int String :: Int - String
though it is confusing. Constructors usually take values, but here the values
(-) takes are types.
Either and (-) are *type*
FmapFunc is just a test module I created with
instance Functor ((-) r) where ...
-- ryan
On Tue, Aug 31, 2010 at 12:03 PM, michael rice nowg...@yahoo.com wrote:
Hi, Ryan and all,
Bingo! I guess my question was all right after all.
I tried creating an instance earlier but
*Main :t (-)
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/31/10 13:27 , michael rice wrote:
So it's a type constructor, not a type? Could you please provide a simple
example of its usage?
Assuming you don't mean the trivial use in defining functions, see
Control.Monad.Instances:
instance Functor
Hi all,
This fall I'll be teaching a half-credit introduction to Haskell to
some undergrads. As a final project I am thinking of giving them the
option of (instead of developing some program/project of their own)
contributing to an existing open-source Haskell project. Of course,
this requires
On Tue, Aug 31, 2010 at 1:52 PM, Brent Yorgey byor...@seas.upenn.edu wrote:
Hi all,
This fall I'll be teaching a half-credit introduction to Haskell to
some undergrads. As a final project I am thinking of giving them the
option of (instead of developing some program/project of their own)
On Aug 31, 2010, at 1:52 PM, Brent Yorgey wrote:
This fall I'll be teaching a half-credit introduction to Haskell to
some undergrads. As a final project I am thinking of giving them the
option of (instead of developing some program/project of their own)
contributing to an existing open-source
Thanks, Brandon, but Ryan gave me what I was looking for.
Michael
--- On Tue, 8/31/10, Brandon S Allbery KF8NH allb...@ece.cmu.edu wrote:
From: Brandon S Allbery KF8NH allb...@ece.cmu.edu
Subject: Re: [Haskell-cafe] On to applicative
To: haskell-cafe@haskell.org
Date: Tuesday, August 31, 2010,
How do I tell? Does this mean that if the exception is occurring in a
haskell library I can't get to it? I am trying to run down a
Prelude.read: No Parse error and I need to see the value that it is
failing to parse on.
Thanks.
Steve
On Tue, Aug 31, 2010 at 11:05 AM, Pepe Iborra
Do you have ~/.cabal/bin or $HOME/.cabal/bin ? The latter is
preferable as some issues arise with the former...
On 1 September 2010 03:29, Lyndon Maydwell maydw...@gmail.com wrote:
Yep :)
Is there a batch of information that might be useful? I can send any
relevant files, aliases, versions,
Hello --
Three related questions, going from most specific to most general :
1 ) Consider the stream processing arrow which computes a running sum,
with two implementations : first using generic ArrowCircuits (rSum);
second using Automaton (rSum2) :
module Foo where
import Control.Arrow
import
New in this release:
- Substantial performance improvements.
- Bug fixes, and better quality assurance via automated QuickCheck and
HPC tests and coverage.
- An even nicer API than before.
The text library provides an efficient packed, immutable Unicode text type
(both strict and
Hello,
I installed (succesfully) HAskell Platform 2010.2 on windows and have a
small but annoying issue: Some links in HTML documentation lead to broken
links. I did not investigate all the links, but I have seen that all doc
under Control.Monad.XXX is missing. What am I doing wrong ?
Arnaud
On 1 September 2010 14:25, Arnaud Bailly arnaud.oq...@gmail.com wrote:
Hello,
I installed (succesfully) HAskell Platform 2010.2 on windows and have a
small but annoying issue: Some links in HTML documentation lead to broken
links. I did not investigate all the links, but I have seen that all
$HOME/.cabal/bin
On Wed, Sep 1, 2010 at 10:55 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Do you have ~/.cabal/bin or $HOME/.cabal/bin ? The latter is
preferable as some issues arise with the former...
On 1 September 2010 03:29, Lyndon Maydwell maydw...@gmail.com wrote:
Yep
Is there a summary of the API changes available? I see a new module,
but Precis is choking on Data.Text and Data.Text.Lazy, so I'm not sure
what existing signatures have been modified.
Don't forget, you can always improve the text library yourself. I love to
receive
patches, requests for
66 matches
Mail list logo