#1544: Derived Read instances for recursive datatypes with infix constructors
are
too inefficient
-+--
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
#1696: Confusing type signature
+---
Reporter: guest|Owner:
Type: bug | Status: new
Priority: low |Milestone:
#1704: Exception when using the :list command in the GHCI debugger
---+
Reporter: Olivier Boudry |Owner:
Type: bug | Status: new
Priority: high|
#1706: type checking does not terminate for ghc-6.8.0.20070916
---+
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal
#1706: type checking does not terminate for ghc-6.8.0.20070916
-+--
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal
#1706: type checking does not terminate for ghc-6.8.0.20070916
-+--
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal
#1688: Attached file causes stack overflow
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal |Milestone:
#1688: Attached file causes stack overflow
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal |Milestone:
#1703: extra-gcc-opts not installed
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal |Milestone:
#1703: extra-gcc-opts not installed
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: high|Milestone:
#1707: simplifier causes stack overflow in ghc-6.8.0.20070916
---+
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal
#1709: simplifier causes stack overflow in ghc-6.8.0.20070916
---+
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal
#1707: simplifier causes stack overflow in ghc-6.8.0.20070916
-+--
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: closed
Priority: normal
#1708: simplifier causes stack overflow in ghc-6.8.0.20070916
---+
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal
#1708: simplifier causes stack overflow in ghc-6.8.0.20070916
-+--
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: closed
Priority: normal
#1710: System.Win32.DebugApi unaccessible
---+
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler |
#1704: Exception when using the :list command in the GHCI debugger
---+
Reporter: Olivier Boudry |Owner:
Type: bug | Status: new
Priority: high|
#1704: Exception when using the :list command in the GHCI debugger
---+
Reporter: Olivier Boudry |Owner:
Type: bug | Status: new
Priority: high|
#1704: Exception when using the :list command in the GHCI debugger
---+
Reporter: Olivier Boudry |Owner:
Type: bug | Status: new
Priority: high|
#1703: extra-gcc-opts not installed
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: high|Milestone:
#1704: Exception when using the :list command in the GHCI debugger
---+
Reporter: Olivier Boudry |Owner:
Type: bug | Status: new
Priority: high|
#1714: GHC crashes when encountering arrow syntax
-+--
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: high|
#1713: type synonym families are treated as being able to be instance of a class
-+--
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority:
#1712: unknown symbol “glutGet”
-+--
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.8.1
#1662: mistranslation of arrow notation
+---
Reporter: ross |Owner: ross
Type: bug | Status: assigned
Priority: normal |
#1714: GHC crashes when encountering arrow syntax
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: closed
Priority: high
#1716: panic when running program from GHCi
-+--
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal |
#1717: ghc-6.8 configure does not recognise 32bit userland on ppc64
---+
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: high
#1703: extra-gcc-opts not installed
---+
Reporter: [EMAIL PROTECTED] |Owner: igloo
Type: bug | Status: new
Priority: high|Milestone:
#1715: seldom panic
-+--
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component:
#1716: panic when running program from GHCi
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal |
#1715: seldom panic
---+
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal |Milestone:
#1662: mistranslation of arrow notation
+---
Reporter: ross |Owner: ross
Type: bug | Status: assigned
Priority: normal |
#1662: mistranslation of arrow notation
+---
Reporter: ross |Owner: ross
Type: bug | Status: assigned
Priority: normal |
#1706: type checking does not terminate for ghc-6.8.0.20070916
-+--
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: new
Priority: normal
#1689: openTempFile puts digits in file extension, i.e. after dot instead of
before
---+
Reporter: greenrd |Owner:
Type: bug | Status: closed
Priority:
#1697: GHC 6.6.1 fails to build on Arch Linux, 64-bit
-+--
Reporter: guest |Owner:
Type: bug | Status: new
#1702: type operator precedences don't work in contexts
--+-
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug| Status: new
Priority: normal |
#1690: setting libdir doesn't work with Unix binary dist
-+--
Reporter: simonmar |Owner: igloo
Type: bug | Status: closed
Priority: high |Milestone: 6.8
#1706: type checking does not terminate for ghc-6.8.0.20070916
-+--
Reporter: [EMAIL PROTECTED] |Owner: simonpj
Type: bug | Status: new
Priority: normal
#1692: GLUT timedCallback fires twice
---+
Reporter: [EMAIL PROTECTED] |Owner: [EMAIL PROTECTED]
Type: bug | Status: new
Priority: normal
Hello
Having read the papers on Nested Data Parallelism in the Haskell I
wanted to play around with the de-sugared implementation in the GHC
library NDP. I have built GHC from source, on RHE5, and then installed
the NDP library from the tar ball. Following the build instructions in
the README
In order to make my records system practically useable, I need a type
family
type family NameCmp n m
which totally orders datatypes. More precisely, it should return one
of the
following types:
data NameLT = NameLT
data NameEQ = NameEQ
data NameGT = NameGT
for each pair
You're asking for something tricky here.
|type family NameCmp n m
|
| which totally orders datatypes. More precisely, it should return one
| of the following types:
|
|data NameLT = NameLT
|data NameEQ = NameEQ
|data NameGT = NameGT
Now, whenever you declare a new
Hi Simon, thanks for the response.
In fact I really only need NameCmp to be defined for datatypes of the
form
data T = T
but it's still a lot, so I was expecting to need an extension.
Lexical comparison of fully qualified names is what I had in mind,
but I wanted some confirmation
mechvel:
People,
please, how to download from CVS the ghc-6.8 branch ?
(I need the last version of 6.8.1, the nightly built)
I do the following.
set $CVSROOT to :pserver:[EMAIL PROTECTED]:/cvs
cd $HOME/ghc/cvs
cvs login
Logging in to :pserver:[EMAIL PROTECTED]:2401/cvs
Hi all,
I just tried the new GHCi debugger. A great new feature of GHCi 6.8.1.
When debugging a function, as for example the qsort function given as an
example in the 3.5 The GHCi Debugger documentation page, the debugger will
only break on first function evaluation.
As haskell is pure and lazy
Olivier,
On 18/09/2007, at 20:26, Olivier Boudry wrote:
Hi all,
I just tried the new GHCi debugger. A great new feature of GHCi 6.8.1.
When debugging a function, as for example the qsort function given
as an example in the 3.5 The GHCi Debugger documentation page,
the debugger will only
On 9/18/07, Pepe Iborra [EMAIL PROTECTED] wrote:
Could you paste a ghci session demonstrating the problem?
Here is a very short and simple debug session showing the problem:
===
*Main :l debug68.hs
[1 of 1] Compiling Main ( debug68.hs,
On Tue, Sep 18, 2007 at 04:41:33PM +0100, Barney Hilken wrote:
Hi Simon, thanks for the response.
In fact I really only need NameCmp to be defined for datatypes of the form
data T = T
but it's still a lot, so I was expecting to need an extension. Lexical
comparison of fully qualified
On Tue, Sep 18, 2007 at 02:26:38PM -0400, Olivier Boudry wrote:
Hi all,
I just tried the new GHCi debugger. A great new feature of GHCi 6.8.1.
When debugging a function, as for example the qsort function given as an
example in the 3.5 The GHCi Debugger documentation page, the debugger will
Hi Stefan,
That's great! Where can I get hold of your TTypable? It's not in
Hackage and Google didn't find it. I don't know where else to look...
Barney.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
Ah! your link lead me to the HList paper, where all questions are
answered...
Thanks,
Barney.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
This thread is certainly interesting, but it would be better on [EMAIL
PROTECTED] The Haskell@haskell.org list is intended as a low-bandwidth list
for announcements and the like. Thanks!
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
| On Behalf Of Bas
Well, the corridors are better known for the men in power:-)
Why don't leave this entry as Reception for the uninitiated and move on to
Announcements and ... Curiosity?
Regards,
-A.J.
___
Haskell mailing list
Haskell@haskell.org
(Apologies for cross-posting)
Call for Papers and Demos
=
PLAN-X 2008 --- Programming Language Techniques for XML
ACM SIGPLAN Workshop colocated with POPL 2008
San Francisco, California, USA - 9 January 2008
http://gemo.futurs.inria.fr/events/PLANX2008/
***
*** New:
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and coffee brake should work for them, but on numerous occasions
threads here spawn beginner
On Tue, Sep 18, 2007 at 03:48:06PM +0100, Andrzej Jaworski wrote:
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list
I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and coffee brake
Dear Haskellers,
You might be interested in SparseCheck, a library for typed,
depth-bounded logic programming in Haskell allowing convenient
expression of test-data generators for properties with sparse domains.
http://www.cs.york.ac.uk/~mfn/sparsecheck/
SparseCheck is a based on a library
Hello,
we updated the video given at HaL2 (http://iba-cg.de/haskell.html):
Second Talk: Wolfgang Jeltsch (TU Cottbus) talks about Grapefruit, a
Haskell-library for the declarative description of graphic user
interfaces.
because the last one was accidentally truncated.
Greetings, Klaus
Hi all,
The machine called monk, which serves as
darcs.haskell.org
hackage.haskell.org
cvs.haskell.org
haskell.galois.com
will be down from 3pm UTC on Monday 24th for an OS and RAM upgrade.
If you know of any important services run on the machine other than
darcs, CVS, trac,
On Mon, 2007-09-17 at 14:37 -0500, John Goerzen wrote:
* It would be really nice if QuickCheck supported I/O and some version
of HUnit's TestLabel to generate hierarchical names when failures
occur.
I've done this for testing IO (reading and writing files):
prop_serialize (E s) =
On Tue, 2007-09-18 at 01:11 +0100, Neil Mitchell wrote:
DBM's can differentiate themselves on external database support,
Surely this is an opportunity to focus development on a single library
with broader support? Currently, we have HSQL and HDBC supplying
incompatible low-level interfaces,
This discussion has sparked a question in my mind:
What is the process for the inclusion of modules / packages in ghc, hugs and
other compilers interpreters?
I thought the master plan was that less would come with the compiler /
interpreter and the user would install packages using cabal.
I
Ketil Malde wrote:
Neil Mitchell wrote:
DBM's can differentiate themselves on external database support,
Surely this is an opportunity to focus development on a single library
with broader support? Currently, we have HSQL and HDBC supplying
incompatible low-level interfaces, supporting a
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Sam
| Hughes
| Sent: 16 September 2007 04:53
| To: Ryan Ingram
| Cc: haskell-cafe
| Subject: Re: [Haskell-cafe] How can I stop GHCi from calling show for IO
actions?
|
| Ryan Ingram wrote:
| Prelude
On 2007-09-16, B K [EMAIL PROTECTED] wrote:
Hello,
Are there any Haskell Hackers on this mailing list who live in Israel?
I am interested in starting an Israel Haskell User Group.
Hi,
I'll be glad to join.
Besides, I'll be glad to here from an Israel Haskell hacker
who maybe interested in a
Bas van Dijk wrote:
Roberto Zunino wrote:
data Z
data S n
data List a len where
Nil :: List a Z
Cons:: a - List a len - List a (S len)
The other day I was playing with exactly this GADT. See: http://hpaste.org/2707
My aim was to define a function like 'concat' in terms of 'foldr'
Dominic Steinitz [EMAIL PROTECTED] wrote:
I thought the master plan was that less would come with the compiler /
interpreter and the user would install packages using cabal.
Ideally, yes. I think a useful model would be GNU/Linux, where there is
the Linux kernel, developed by core hackers,
John Goerzen [EMAIL PROTECTED] wrote:
* Hugs programs that use cpphs can't use ByteString
This bug in cpphs was fixed already, several days ago.
* It would be really nice if QuickCheck supported I/O
QuickCheckM gives you monadic test properties, as described in a Haskell
Workshop 2002 paper.
Hi
What is the process for the inclusion of modules / packages in ghc, hugs and
other compilers interpreters?
Propose to have the packaged added. There is a very low chance of this
being accepted. The only packages to have recently been added were
FilePath and ByteString, both of which were
In order to make my records system practically useable, I need a type
family
type family NameCmp n m
which totally orders datatypes. More precisely, it should return one
of the
following types:
data NameLT = NameLT
data NameEQ = NameEQ
data NameGT = NameGT
for each pair
Neil Mitchell wrote:
Hi
What is the process for the inclusion of modules / packages in ghc, hugs and
other compilers interpreters?
Propose to have the packaged added. There is a very low chance of this
being accepted. The only packages to have recently been added were
FilePath and
Adrian Hey wrote:
Neil Mitchell wrote:
Hi
They are less stable and have less quality control.
Surely you jest? I see no evidence of this, rather the contrary in fact.
No, dead serious. The libraries have a library submission process.
It does not follow that libraries that have not been
On Tue, 2007-09-18 at 11:14 +0100, Malcolm Wallace wrote:
I would like to see the same separation forming between the ghc compiler
itself (which would minimally include only the small number of libraries
needed to build the compiler), and larger distributions which would be
maintained by
Hi
I think there is a niche for a subset of the hackage libraries providing
an officially sanctioned standard library collection. Currently,
hackage includes, well, everything. As such, it is a useful resource,
but it would be useful to have a partitioning into two levels, where the
SLC
| It seems that GHCi outputs the contents of the variable you've created
| when there's only one of them.
Indeed, that is documented behaviour (first bullet here:
http://www.haskell.org/ghc/docs/latest/html/users_guide/ch03s04.html#ghci-stmts
)
Perhaps it's confusing behaviour? If so do suggest
I thought the master plan was that less would come with the compiler /
interpreter and the user would install packages using cabal.
Ideally, yes. I think a useful model would be GNU/Linux, where there is
the Linux kernel, developed by core hackers, and then there are
distributions, which
Hi Barney,
This may be of interest, since all types already have an Int
associated with them:
http://haskell.org/ghc/docs/latest/html/libraries/base/Data-Typeable.html#v%3AtypeRepKey
Thanks
Neil
On 9/18/07, Barney Hilken [EMAIL PROTECTED] wrote:
In order to make my records system
On 18-sep-2007, at 14:10, Simon Marlow wrote:
Adrian Hey wrote:
Neil Mitchell wrote:
Hi
They are less stable and have less quality control.
Surely you jest? I see no evidence of this, rather the contrary
in fact.
No, dead serious. The libraries have a library submission process.
It
Hi Neil, thanks for the response.
The problem is this:
It is in the IO monad because the actual value of the key may vary
from run to run of the program
(taken from the web page). Since I'm relying on the order, not just
equality, this will seriously
screw things up, because my records are
Simon Marlow wrote:
Ashley Yakeley wrote:
If I have a thread that's blocked on an STM retry or TChan read, and
none of its TVars are referenced elsewhere, will it get stopped and
garbage-collected?
I have in mind a pump thread that eternally reads off a TChan and
pushes the result to some
Jules Bean wrote:
Simon Marlow wrote:
Ashley Yakeley wrote:
If I have a thread that's blocked on an STM retry or TChan read, and
none of its TVars are referenced elsewhere, will it get stopped and
garbage-collected?
I have in mind a pump thread that eternally reads off a TChan and
pushes
Ian Lynagh wrote:
On Tue, Sep 18, 2007 at 03:48:06PM +0100, Andrzej Jaworski wrote:
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to parallelize
code in a purely functional language (am I right saying that ?).
My knowledge of parallelization is also very weak, but I've been thinking
about this and I
On 9/18/07, apfelmus [EMAIL PROTECTED] wrote:
...in reality, foldr is (almost) the induction principle for natural numbers!
Oh yes, nice observation!
Afpelmus, thanks for your thorough answers!
regards,
Bas
___
Haskell-Cafe mailing list
On Mon, Sep 17, 2007 at 05:26:05PM +0100, Neil Mitchell wrote:
Compare me changing my tagsoup library, to me changing my filepath
library which comes bundled with GHC. I can do anything I want to the
tagsoup library, but I need to wait at least 2 weeks and get general
consensus before changing
Hi
okay, but this fails in some cases. i wrote a package to obtain
financial quotes. yahoo changed the webservice url on me. i rolled out
a change within a day. in your model, people suffer a broken service
for two weeks.
I don't think Yahoo will change the syntax or semantics of filepaths
Salute Simon, hi everybody here!
Ian is scientific in his observations and has a valid point. I share his
objection to the Haskell list as unnecessarily misleading newcomers which, I
would add, sets precedents for others to be verbose. Then, creating a Beginner
list is less fortunate than
On Tue, Sep 18, 2007 at 09:20:44AM +0800, clisper wrote:
who knows how to compile yi-gtk?
i tried,but it told me mine miss gtk.
probably what you need is gtk2hs:
http://haskell.org/gtk2hs/
andrea
___
Haskell-Cafe mailing list
hughperkins:
Just out of curiosity, how could one do something like a factory, so
that by default a library uses, say, Data.Map, but by making a simple
assignment we can switch the library to use a different
implementation?
Polymorphism, specifically, typeclasses, would be one option here.
Instead, I think
several people should make their own personal list of libraries they
would vouch for
Ideally along with a cabal (or otherwise) install script that would set
everything up in one step.
Neil Mitchell [EMAIL PROTECTED]
Sent by: [EMAIL PROTECTED]
09/18/2007 09:02 AM
To
On Tuesday 18 September 2007 09:44, Dominic Steinitz wrote:
This discussion has sparked a question in my mind:
What is the process for the inclusion of modules / packages in ghc, hugs
and other compilers interpreters?
Personal interest of the people working on GHC et. al. ;-)
I thought the
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote:
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to
parallelize code in a purely functional language (am I right saying
that ?).
My knowledge of parallelization
On Tue, Sep 18, 2007 at 07:24:08PM +0200, Sven Panne wrote:
Although this statement might be a bit heretical on this list, I'll have to
repeat myself again that Cabal, cabal-install, cabal-whatever
will *never* be the right tool for the end user to install Haskell
packages on platforms with
http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
Wow this is cool stuff! It would be nice to have something like this for the
Playstation 3 :-)
Regarding parallelism, I wander how this extension will compare to Sun's
Fortress language, if/when it gets finally released.
Peter
If I recall correctly a rather neat way of exploiting this property of
qsort is exploited with Nested Data Parallelism and covered in this
talk:
http://www.londonhug.net/2007/05/25/video-of-spjs-talk-is-now-online/
Good food for thought :)
Dave,
On 18/09/2007, Thomas Girod [EMAIL PROTECTED]
On Sep 18, 2007, at 4:24 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
Wow this is cool stuff! It would be nice to have something like
this for the Playstation 3 :-)
Regarding parallelism, I wander how this extension will compare
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote:
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to
parallelize code in a purely functional language (am I right saying
that ?).
My knowledge of parallelization
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hstats-0.1
I've just released hstats, a statistical computing module for the Haskell
language. Current functionality includes: mean, median, mode, range,
standard/average deviation, variance, iqr, kurtosis, skew, covariance, and
1 - 100 of 102 matches
Mail list logo