On Tue, Jul 14, 2009 at 12:23:51PM +0100, Duncan Coutts wrote:
On Tue, 2009-07-14 at 00:20 +0100, Ian Lynagh wrote:
On Mon, Jul 13, 2009 at 09:56:50PM +0100, Duncan Coutts wrote:
To take one example, since List was immortalised in the H98 report with
104 exports, Data.List has gained
On Tue, Jul 14, 2009 at 11:57:11AM +0400, Bulat Ziganshin wrote:
Tuesday, July 14, 2009, 3:20:42 AM, you wrote:
We've been fortunate recently that, because the hierarchical modules
haven't been in the standard, we've been able to extend and improve them
without breaking compatibility with
On Tue, Jul 14, 2009 at 07:48:36AM +0100, Sittampalam, Ganesh wrote:
I don't have any strong opinion about whether there should be a library
standard or not, but if there is a standard, how about putting the
entire thing (perhaps including the Prelude) under the prefix
Haskell2010. or
On Wed, Jul 15, 2009 at 03:39:55PM +0100, Simon Marlow wrote:
But there's a solution: we could remove the standard modules from
base, and have them only provided by haskell-std (since base will just
be a re-exporting layer on top of base-internals, this will be easy to
do). Most
On Tue, Jul 14, 2009 at 12:23:51PM +0100, Duncan Coutts wrote:
On Tue, 2009-07-14 at 00:20 +0100, Ian Lynagh wrote:
On Mon, Jul 13, 2009 at 09:56:50PM +0100, Duncan Coutts wrote:
Specifically, I suggest:
4. Ixkeep as Data.Ix
5. Array keep
Mon Jul 20 17:31:43 PDT 2009 Ian Lynagh ig...@earth.li
* Fix indentation in an example
Using tabs doesn't give the correct indentation in the HTML output
M ./report/modules.verb -2 +2
View patch online:
http://darcs.haskell.org/haskell-prime-report/_darcs/patches/20090721003143-3fd76
Tue Jul 21 03:38:44 PDT 2009 Ian Lynagh ig...@earth.li
* Remove a command from make clean that breaks in a fresh repo
M ./report/Makefile -1
View patch online:
http://darcs.haskell.org/haskell-prime-report/_darcs/patches/20090721103844-3fd76-0511779ead8500ad74a68e4f83f196b0c664013b.gz
Tue Jul 21 03:39:57 PDT 2009 Ian Lynagh ig...@earth.li
* Everyone has perl, clean Prelude*.tex too
M ./report/Makefile -3 +1
View patch online:
http://darcs.haskell.org/haskell-prime-report/_darcs/patches/20090721103957-3fd76-ccdb28273cabb4495bdf0d4c65495cae6156b03b.gz
Tue Jul 21 03:47:49 PDT 2009 Ian Lynagh ig...@earth.li
* Remove duplicate haskell.dvi dependencies
M ./report/Makefile -2
View patch online:
http://darcs.haskell.org/haskell-prime-report/_darcs/patches/20090721104749-3fd76-56eaacd95457f668692292862b7b07915af7635f.gz
Hi all,
I've made a ticket and proposal page for removing n+k patterns:
http://hackage.haskell.org/trac/haskell-prime/ticket/130
http://hackage.haskell.org/trac/haskell-prime/wiki/NoNPlusKPatterns
Should I have also added it to some index page somewhere?
Please let me know if there's
Hi all,
I've made a ticket and proposal page for making the labelled field
syntax stricter, e.g. making this illegal:
data A = A {x :: Int}
y :: Maybe A
y = Just A {x = 5}
and requiring this instead:
data A = A {x :: Int}
y :: Maybe A
y = Just (A {x = 5})
On Sat, Jul 25, 2009 at 09:45:18PM -0400, Isaac Dupree wrote:
Ian Lynagh wrote:
Hi all,
I've made a ticket and proposal page for making the labelled field
syntax stricter, e.g. making this illegal:
data A = A {x :: Int}
y :: Maybe A
y = Just A {x = 5}
and requiring
On Sun, Jul 26, 2009 at 09:40:40AM +0200, Sean Leather wrote:
I've made a ticket and proposal page for making the labelled field
syntax stricter
I'm definitely in favor of this change. I only have an issue with calling it
stricter. Maybe it's just me, but strictness doesn't provoke the
On Sun, Jul 26, 2009 at 03:46:41PM +0200, Sean Leather wrote:
On Sun, Jul 26, 2009 at 13:41, Ian Lynagh wrote:
Would it be useful to add an example with the appropriate parentheses?
I'm not sure I understand what sort of an example you want. Isn't
Just (A {x = 5})
one?
I think
On Sun, Jul 26, 2009 at 03:24:03PM +0100, Neil Mitchell wrote:
I haven't seen anyone else claim to use the current more liberal
syntax for fields, but I know that I do rather extensively. I would
consider:
Just A {a = 1}
To be confusing, but if you simply omit the space:
Just A{a =
On Sun, Jul 26, 2009 at 10:16:28PM +0300, Iavor Diatchki wrote:
On Sun, Jul 26, 2009 at 10:01 PM, Isaac
Dupreem...@isaac.cedarswampstudios.org wrote:
Iavor Diatchki wrote:
I am strongly against this change. The record notation works just
fine and has been doing so for a long time.
On Tue, Jul 14, 2009 at 01:57:34PM +0100, Ian Lynagh wrote:
On Tue, Jul 14, 2009 at 12:23:51PM +0100, Duncan Coutts wrote:
On Tue, 2009-07-14 at 00:20 +0100, Ian Lynagh wrote:
On Mon, Jul 13, 2009 at 09:56:50PM +0100, Duncan Coutts wrote:
To take one example, since List
On Wed, Aug 12, 2009 at 11:45:04PM -0700, John Meacham wrote:
Also, what about data declarations? Would we need something like below?
It seems odd to apply such a rule sometimes but not others.
data Foo = (Foo { .. }) | ...
You would not need these parentheses; nor would you need
Hi Christian,
On Thu, Nov 26, 2009 at 10:29:10AM +0100, Christian Maeder wrote:
seeing Haskell 2010 and
http://hackage.haskell.org/trac/haskell-prime/wiki/DoAndIfThenElse
saying:
Compiler support ¶
GHC full (no flag)
I wonder why I still get a parse error (possibly incorrect
On Mon, Feb 08, 2010 at 04:59:59PM +, Ross Paterson wrote:
But I agree they should all be legal, i.e. that unary minus should bind
more tightly than any infix operator (as in C).
See also
http://hackage.haskell.org/trac/haskell-prime/wiki/NegativeSyntax
Thanks
Ian
On Sun, Feb 14, 2010 at 03:21:54AM +0100, Lennart Augustsson wrote:
I agree, I don't think this is a bug. If the grammar actually says
that this is legal, then I think the grammar is wrong.
Then what do you think the grammar should say instead?
That sections should be
( fexp qop )
?
I've
On Fri, Apr 30, 2010 at 05:05:17PM +0100, Simon Marlow wrote:
I've completed most of the edits to the Haskell 98 report for Haskell
2010, modulo the changes to the libraries that we still have to resolve.
I cleaned up various other things I discovered along the way, and tidied
up the
On Fri, Apr 30, 2010 at 09:37:39PM +0100, Simon Marlow wrote:
On 30/04/10 13:19, Malcolm Wallace wrote:
4. Provide a haskell2010 package and a base2010 package that
re-exports all of base except the modules that overlap with
haskell2010. You can either use haskell2010,
haskell2010+base2010,
On Sat, May 01, 2010 at 08:05:58PM +0100, Simon Marlow wrote:
On 01/05/10 17:16, Ian Lynagh wrote:
So it seems this is closer to option (2) in my message, because
portablebase and haskell2010 overlap, and are therefore mutually
exclusive, whereas in (4) haskell2010 and base2010 are non
On Fri, Apr 30, 2010 at 05:05:17PM +0100, Simon Marlow wrote:
I'd appreciate a few more eyes over this, in particular look out for
messed up typesetting as there could still be a few bugs lurking.
In the PDF:
p129-137: A program can only contain a modid as part of a
qvarid, ...,
On Fri, Apr 30, 2010 at 05:05:17PM +0100, Simon Marlow wrote:
I'd appreciate a few more eyes over this, in particular look out for
messed up typesetting as there could still be a few bugs lurking.
In the PDF:
p166: Does anything support these?:
DoAndIfThenElse,
On Tue, Jun 29, 2010 at 04:01:54PM +0100, Simon Marlow wrote:
The second draft of the Haskell 2010 report is now available in PDF and
HTML formats (the PDF looks a lot nicer):
http://www.haskell.org/~simonmar/haskell-2010-draft-report-2.pdf
On Tue, Jul 13, 2010 at 01:52:36PM +0100, Simon Marlow wrote:
Yes, Ian Lynagh implemented your algorithm in GHC (with several tweaks
to implement some of the darker corner cases, I believe). There's also
-XAlternativeLayoutRuleTransitional but I'm not sure what that does.
It adds
On Mon, Aug 09, 2010 at 04:25:18PM +0100, Malcolm Wallace wrote:
Can I therefore encourage any people who have made proposals, either
informally on mailing lists, or formally in the Haskell-prime ticket
system, to consider what they need to do to bring those proposals to a
state where
Hi all,
I've completed the ExplicitForAll proposal, started by Niklas Broberg
(but any errors are doubtless mine!):
http://hackage.haskell.org/trac/haskell-prime/wiki/ExplicitForall
http://hackage.haskell.org/trac/haskell-prime/ticket/133
I imagine this is too late for H2011 (if that will
Hi Iavor,
Thanks for your comments.
On Sun, Nov 21, 2010 at 06:25:38PM -0800, Iavor Diatchki wrote:
* Why is forall promoted to a keyword, rather then just being
special in types as is in all implementations? I like the current
status quo where forall can still be used in value
On Mon, Nov 22, 2010 at 02:36:51PM -0500, Isaac Dupree wrote:
P.S. IMHO capitalization, ExplicitForAll vs ExplicitForall, let's stick
to one. The extension is written ExplicitForall.
GHC only knows about ExplicitForAll. I think this was a mistake, but I
don't think it's worth changing now
On Thu, Dec 23, 2010 at 09:46:29AM +, Simon Marlow wrote:
I don't think it's feasible to allow 'case' as a type
variable, but it's certainly feasible to allow 'forall' as a term
variable.
Why is 'case'-only-in-expression harder than 'forall'-only-in-type?
On the other hand, it makes
On Fri, Dec 24, 2010 at 11:31:17PM +0100, Lennart Augustsson wrote:
I think they are equally feasible, but as Simon says, we have avoided
introducing new global keywords.
And I think we should avoid it this time too. Why break programs when we
don't have to.
I've added an alternative delta
Hi all,
I haven't heard anything about Haskell 2011 since
http://www.haskell.org/pipermail/haskell-prime/2010-August/003263.html
Can someone let me know what's happening please? Will there be a Haskell
2011?
Thanks
Ian
___
Haskell-prime
On Fri, Jan 07, 2011 at 06:39:11PM +, Malcolm Wallace wrote:
(b) this delta will be applied to the 2010 Report to form a new
baseline;
Did this happen? If so, where is it?
I only found:
http://darcs.haskell.org/haskell-prime-report/
which hasn't had a patch since Jul 21 2009, and:
On Wed, May 25, 2011 at 08:24:52PM +0200, Daniel Fischer wrote:
If it's considered to be a small enough change so a libraries proposal
would be sufficient, all the better, but if not, I'd like to pursue the
haskell-prime process further.
My understanding is that for changes to libraries
On Fri, Dec 23, 2011 at 05:41:23PM +, Simon Peyton-Jones wrote:
I'm confused too. I'd welcome clarification from the Haskell Prime folk.
We use the library process to agree changes to the libraries, and
Haskell' should then incorporate the changes into the next version of
the standard.
Hi Johan,
On Sat, Mar 24, 2012 at 11:50:10AM -0700, Johan Tibell wrote:
On Sat, Mar 24, 2012 at 12:39 AM, Heinrich Apfelmus
apfel...@quantentunnel.de wrote:
Which brings me to the fundamental question behind this proposal: Why do we
need Text at all? What are its virtues and how do they
Hi all,
I would like to get a full specification of the bang patterns syntax,
partly so it can be proposed for H', and partly so we can resolve
tickets like http://hackage.haskell.org/trac/ghc/ticket/1087 correctly.
I think there are 3 possibilities:
The first is suggested by A bang only
Hi Malcolm,
On Wed, Dec 12, 2012 at 10:40:53AM +, Malcolm Wallace wrote:
Please send nominations to haskell-2011-commit...@haskell.org, summarising
your interest and experience. The existing committee will (I hope) make some
decision on how to proceed, in early January 2013.
Any
On Fri, Feb 01, 2013 at 05:31:53PM +, Malcolm Wallace wrote:
The committee has received no nominations.
At least one was sent. Does haskell-2011-commit...@haskell.org accept
mails from non-members?
Thanks
Ian
___
Haskell-prime mailing list
On Sun, Feb 03, 2013 at 10:34:04PM +, Ben Millwood wrote:
On Fri, Feb 01, 2013 at 05:10:42PM +, Ian Lynagh wrote:
The first is suggested by A bang only really has an effect if it
precedes a variable or wild-card pattern on
http://hackage.haskell.org/trac/haskell-prime/wiki
On Mon, Feb 04, 2013 at 10:37:44PM +, Simon Peyton-Jones wrote:
I don't have a strong opinion about whether
f ! x y ! z = e
should mean the same; ie whether the space is significant. I think it's
probably more confusing if the space is significant (so its presence or
absence
On Mon, Feb 04, 2013 at 07:26:16PM -0500, Edward Kmett wrote:
If space sensitivity or () disambiguation is being used on !, could one of
these also be permitted on ~ to permit it as a valid infix term-level
operator?
I don't think there's any reason ~ couldn't be an operator, defined with
the
report will be updated as proposals are
accepted, but new versions of the standard will only be released once a
year, during January.
The Haskell 2014 committee is comprised of:
* Carlos Camarão
* Iavor Diatchki
* Ian Lynagh (chair)
* John Meacham
* Neil Mitchell
* Ganesh
on an earlier draft.
Thanks
Ian
--
Ian Lynagh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
step, which hasn't seen much support.
Just to clarify: This proposal is to stop importing the module
implicitly, not to actually remove the module.
Thanks
Ian
--
Ian Lynagh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/
___
Haskell
be maintained, with
additional imports not being needed until code migrates to the
split-base packages.
Thanks
Ian
--
Ian Lynagh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http
On Tue, Jun 04, 2013 at 01:06:25PM +0100, Simon Marlow wrote:
Hardly anybody uses haskell98 or haskell2010, so we would still have
a backwards compatibility problem.
I meant 'base' to be included in 'these packages'; I've clarified the
wiki page.
Thanks
Ian
--
Ian Lynagh, Haskell
these?:
import Prelude.XYZ as Foo
import Foo as Prelude.XYZ
Thanks
Ian
--
Ian Lynagh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman
On Tue, Aug 13, 2013 at 09:47:49PM +0100, Simon Marlow wrote:
On 17/05/13 20:01, Ian Lynagh wrote:
I'd be in favour of allowing a trailing or leading comma anywhere that
comma is used as a separator. TupleSections would need to be changed or
removed, though.
The type constructors
On Thu, Aug 16, 2007 at 09:39:54AM -0400, Thomas Hartman wrote:
The programs included with the Ubuntu system are free software;
checking host system type... i686-pc-linux-gnu
checking target system type... i686-pc-linux-gnu
Which we'll further canonicalise into: i386-unknown-linux
checking
On Wed, Aug 22, 2007 at 01:27:00PM -0500, Rich Neswold wrote:
newtype App a = App (ReaderT Connection (CGIT IO) a)
deriving (Monad, MonadIO, MonadReader Connection)
Unfortunately, when another module tries to actually use the monad, I
get warnings about No instance for (MonadCGI App).
On Wed, Aug 22, 2007 at 01:38:39PM -0400, Thomas Hartman wrote:
$ runghc -f /usr/local/bin/ghc-6.6.1 arghandling-nice.hs
does nothing.
Contrary to the usage message, you aren't actually allowed a space after
-f in 6.6.1 (but you are in 6.7). Use
runghc -f/usr/local/bin/ghc-6.6.1
On Sun, Aug 26, 2007 at 01:35:33PM +0100, Andrew Coppin wrote:
Isaac Dupree wrote:
Except that (for no particularly good reason) : is a reserved symbol
Really? That's interesting... AFAIK, according to the Report, it
shouldn't be.
It is; from
On Sun, Aug 26, 2007 at 01:20:52AM -0700, Alex Jacobson wrote:
I'd like to have code not compile if it doesn't pass the tests.
Is there a way to use TH to generate compiler errors if the tests don't
pass?
This should do it, in a different module to that which defines runtests:
$( case
On Sun, Sep 09, 2007 at 05:38:03PM +0200, Sven Panne wrote:
On Sunday 09 September 2007 16:40, Andrew Coppin wrote:
I have the following page bookmarked:
http://haskell.org/ghc/docs/latest/html/libraries/
I'd like to ask 2 things.
1. Would it be possible to make the *huge* list of
On Mon, Sep 17, 2007 at 07:54:02AM -0700, David Roundy wrote:
cabal-install may help, but what I'd really want is packaging in debian.
That's my (biased, because I used debian) standard of a maintained, useful
library. It's obviously a biased standard, but it isn't too hard for a
package to
On Mon, Sep 17, 2007 at 07:32:53PM +0800, L.Guo wrote:
I have toolchain for the targer system. Using which, I can
compile on PC and run the program on the embed system.
This isn't something that anyone's ever done with GHC, to the best of my
knowledge. You'd probably have to get your hands
On Wed, Sep 19, 2007 at 11:05:05AM +0200, Johan Tibell wrote:
Building Debian packages seems a bit hard to do for laymen like me.
Anyone have a script that takes a .cabal file, some additional meta
data and creates a .deb package? It would be really nice if we could
make this procedure easier.
On Wed, Sep 19, 2007 at 09:16:56AM +0100, Bayley, Alistair wrote:
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of Ian Lynagh
The machine called monk ...
will be down from 3pm UTC on Monday 24th for an OS and RAM upgrade.
Do you have any estimate for how long
On Mon, Sep 24, 2007 at 01:00:40PM +0100, Claus Reinke wrote:
in other words, people were meant to subscribe either
to haskell or to haskell+haskell-cafe, and posting to
haskell was meant to be a flag able to raise a topic
briefly over the general din in haskell-cafe.
Do people think that
On Mon, Sep 24, 2007 at 06:28:59PM +0200, apfelmus wrote:
I mean, Haskell does not magically detect that the 32(64)-bit integer
(10 + length [11..]) :: Int is bigger than 10 :: Int .
That's partly because it's not true.
There are arbitrarily large finite lists for which the equivalent is
On Mon, Sep 24, 2007 at 04:10:30PM -0500, Galchin Vasili wrote:
I want to provide support for another OS. How are the POISIX modules
implemented? E.g. in terms of Green Card?
They use hsc2hs, the FFI and a splash of C.
You can get the sources from this darcs repo:
Hi ok,
On Fri, Oct 05, 2007 at 11:04:06AM +1300, ok wrote:
UltraSPARC II, Solaris 2.10, gcc 4.0.4 (gccfss),
Haskell GHC 6.6.1 binary release.
The Sparc/Solaris ports has probably bitrotted. If you do an
unregisterised build instead then it should work:
On Wed, Oct 10, 2007 at 05:05:28PM +0100, Magnus Therning wrote:
I've almost reached a state where I wouldn't be ashamed of sharing the
code so I looked into my options of free hosting.
It seems I only have one option for publishing the code:
- Request a project on code.haskell.org.
Hi Yitzchak,
On Sun, Oct 14, 2007 at 11:33:38AM +0200, Yitzchak Gale wrote:
Here it is critical that ListT be taken from
http://haskell.org/haskellwiki/ListT_done_right
and not the broken implementation that comes with mtl.
(Finally fixed in 6.8? Please?)
mtl is not part of GHC
[would it be possible to pick a single list to discuss this on please,
so there is no danger of some people missing some subthreads if they
aren't on all the lists, or getting messages 3 times if they are?]
On Tue, Oct 16, 2007 at 01:08:49PM +0100, Simon Marlow wrote:
2. Precise dependencies.
On Wed, Oct 17, 2007 at 12:54:12PM +0100, Simon Marlow wrote:
I've written down the proposed policy for versioning here:
http://haskell.org/haskellwiki/Package_versioning_policy
This says:
If [...] instances were added or removed, then the new A.B must be
greater than the previous
On Fri, Oct 19, 2007 at 07:59:37PM +0200, Mads Lindstrøm wrote:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/syb-with-class-0.3
(hereafter know as HappS-SYB3). HappS-SYB3 is based on the SYB3 code
you mention, but the code has been changed quite a bit compared to
using the
Hi Brad,
On Tue, Oct 30, 2007 at 10:10:17PM -0700, brad clawsie wrote:
i have decided to take on the task of packaging-up (for hackage) and
documenting the curl bindings as available here:
http://code.haskell.org/curl/
if the originators of this code are reading this and do not wish me
On Wed, Oct 31, 2007 at 08:35:42AM -0700, brad clawsie wrote:
On Wed, Oct 31, 2007 at 01:36:40PM +, Ian Lynagh wrote:
otherwise i was wondering if people had good examples to point me to
for providing the cross-platform support needed for a FFI-based module
such as this. i have made
Hi Thomas,
On Wed, Oct 31, 2007 at 03:27:20PM -0400, Thomas Hartman wrote:
I have a situation where
... stuff...
$(expose ['setState, 'getState]
f = SetState
compiles but
f = SetState
$(expose ['setState, 'getState]
doesn't compile, with error: Not in scope: data constructor
On Sun, Nov 04, 2007 at 05:52:08AM -0500, Cale Gibbard wrote:
On 04/11/2007, Alex Tarkovsky [EMAIL PROTECTED] wrote:
brad clawsie wrote:
do torrents exist for 6.8.1? my experience is that people will use
torrents if they are offered and they really do lift the pressure from
the origin
Hi Daniil,
On Sun, Nov 04, 2007 at 03:49:54PM +0300, Daniil Elovkov wrote:
A quick look at the 6.8.1 user's guide reveals some broken links:
1)
Obtaining code coverage, pointing to
http://haskell.org/ghc/docs/6.8.1/html/users_guide/hpc.html
redirects to
Hi Cale,
On Sat, Nov 10, 2007 at 07:52:18PM -0500, Cale Gibbard wrote:
Recently I noticed that all of my bookmarks to the hierarchical
libraries documentation broke, and I'm not entirely happy with the
solution of just correcting all the links to point at the new URLs
since the URLs all
Hi Daniil,
On Mon, Nov 12, 2007 at 07:56:23PM +0300, Daniil Elovkov wrote:
Do I understand it right that the idea of the split was letting all
packages (possibly apart from base) emerge more or less independently
from ghc releases?
It's possible to install a newer version of a bootlib, and
Can any of you give us a testcase for this, please?
Thanks
Ian
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Brad,
On Tue, Nov 20, 2007 at 09:50:02PM +1000, Brad Clow wrote:
$ ./test
23
24
I can't reproduce this. Can you please tell us what platform you are on
(e.g. x86_64 Linux) and what gcc --version says?
Also, where did your GHC come from, e.g. bindists from the download
page,
On Wed, Nov 21, 2007 at 05:46:35PM -0600, Galchin Vasili wrote:
I am reading through
http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html in
particular the description of the boot libraries. I don't see how I can
display function signatures from compiled code (i.e. .hi).
On Wed, Nov 21, 2007 at 06:57:55PM -0600, Galchin Vasili wrote:
I am trying to dump out all function signatures exported from
System.Directory. I just tried
inside ghci: :! ghc --show-iface System.Directory.
Aha, use
:browse System.Directory
Thanks
Ian
On Tue, Nov 27, 2007 at 07:11:27PM +, Andrew Coppin wrote:
I was under the impression that it's better to use the LANGUAGE pragma
rather than the catch-all Glasgow-exts option. However, I can't actually
find a language option for GADTs... somebody care to clarify?
In GHC 6.8.1 it's
On Wed, Nov 28, 2007 at 09:27:39AM +0100, Thomas Schilling wrote:
Sorry, but are you talking of *one* homepage? This can all go into own
wiki pages that are aimed at certain audiences, but this really can't
all fit on the front page.
I'm reminded of http://www.shiregames.com/shiregames/
We
On Wed, Nov 28, 2007 at 12:08:30PM +0100, Henning Thielemann wrote:
type List = []
Although not wrong, it is not Haskell 98
It's valid Haskell 98 as far as I know.
Advantages of listing the extensions used are
* Cabal knows whether hugs, for example, can compile the package
* Assuming
On Thu, Nov 29, 2007 at 12:40:00PM +, Simon Marlow wrote:
What I'd *really* like to see is a bunch of links on the front page leading
to pages that describe the main differences between Haskell and some other
language (C, Python, Java, C#, F#, ...). The easiest way to grasp what
On Tue, Dec 04, 2007 at 12:21:40PM -0500, Brent Yorgey wrote:
I'm looking for good examples of using Template Haskell to evaluate CAFs at
compile time, e.g. if I have some expensive-to-calculate lookup table which
I'd rather have evaluated at comile time and included in the executable as a
On Tue, Dec 04, 2007 at 03:07:01PM -0800, Ryan Ingram wrote:
Is there a reason why strictness is defined as
f _|_ = _|_
instead of, for example,
forall x :: Exception. f (throw x) = throw x
There's discussion along these lines in
http://hackage.haskell.org/trac/ghc/ticket/1171
Thanks
Hi Magnus,
On Thu, Dec 13, 2007 at 10:17:26AM +, Magnus Therning wrote:
I received the following response when sending an email to
[EMAIL PROTECTED]
Delivery to the following recipient has been delayed:
Thanks for letting us know. We've been having some trouble with
community, and it
On Thu, Dec 20, 2007 at 10:58:17AM +, Malcolm Wallace wrote:
Nobench does already collect code size, but does not yet display it in
the results table. I specifically want to collect compile time as well.
Not sure what the best way to measure allocation and peak memory use
are?
This:
On Thu, Jan 03, 2008 at 06:12:05PM +, Adrian Hey wrote:
..the latest version is 1.9. But the latest version in Hackage is 1.6,
the latest version in the ftp downloads dir is 1.8, unless you want a
pre-compiled windows version in which case you're stuck with 1.3 :-)
The history looks like
On Fri, Jan 11, 2008 at 06:50:02PM +0100, Peter Verswyvelen wrote:
It seems GHC 6.8.2 fixes a couple of bugs in GHC 6.8.1, so I'm using
that one.
Gtk2HS does not yet detect my GHC 6.8.2 installation, but I guess it is
100% compatible.
No, it's not binary-compatible. You'll need a Gtk2HS
On Mon, Jun 26, 2006 at 04:20:16PM +0100, Brian Hulley wrote:
I don't think this solves the whole problem. Suppose M1 needs to use A.B.C
from P1 *and* A.B.C from P2
For a simple example of a case where this might arise, suppose M1 is the
migration module for data (stored in a database,
On Wed, Jul 05, 2006 at 01:03:01AM +0100, Brian Hulley wrote:
Simon Peyton-Jones wrote:
Concerning other mail on this subject, which has been v useful, I've
revised the Wiki page (substantially) to take it into account.
http://hackage.haskell.org/trac/ghc/wiki/GhcPackages
Further input
On Fri, Jun 30, 2006 at 03:45:57PM -0700, mvanier wrote:
I'm at a loss here. Somehow, the SplitObjs option doesn't seem to be doing
the job. Any suggestions would be appreciated.
It looks like gcc 4.1 is floating all the
__asm__(\n__stg_split_marker:);
results to the top of the
On Sun, Jul 30, 2006 at 09:44:25AM +0100, David House wrote:
I've seen two definitions of a 'strict function', which I'm trying to
unite in my mind:
1) f is strict iff f _|_ = _|_.
2) f is strict iff it forces evaluation of its arguments.
There is a large sticking point that in my minds
On Sat, Aug 26, 2006 at 10:15:17PM +0300, Misha Aizatulin wrote:
Neil Mitchell wrote:
*Main show $ A `And` A
A And A
For me, using GHCi 6.4.2 + Windows, I get:
A `And` A
I installed GHC 6.4.2 now (on Linux). It really does print A `And`
A, but still doesn't read it. Would you
On Tue, Oct 10, 2006 at 01:31:58PM +0200, Matthias Fischmann wrote:
What qualifies as constant applicable form, and why is it not
labelled in a more informative way?
CAFs are, AIUI, things that are just values (i.e. things that don't take
an argument) that have been floated up to the top
On Tue, Oct 10, 2006 at 05:21:52PM +0200, Matthias Fischmann wrote:
Compiling with -caf-all might give you more useful information.
Oops. I thought i had that in my Makefile, but appearently i was
wrong... If I add it, this is what happens:
$ ghc -prof -caf-all Main.hs -o Main # (ghc
On Sun, Oct 15, 2006 at 08:37:19AM -0400, Tamas K Papp wrote:
I noticed that searching on Haskell.org (using the Search feature at
the bottom) doesn't work as I expected. For example, searching for
memoise produces no results.
This is searching haskellwiki.
901 - 1000 of 1147 matches
Mail list logo