On 03/01/2012 16:54, Tristan Ravitch wrote:
This might be the expected behavior but I'll ask anyway. I have what
seems to be a legitimate stack overflow (due to excessive recursion
and not the evaluation of a big thunk). The stack trace from -xc only
shows about 13 calls on the stack (with
On 21/12/2011 22:36, Roman Cheplyaka wrote:
* Ian Lynaghig...@earth.li [2011-12-21 18:29:21+]
* The profiling and hpc implementations have been merged and overhauled.
Visible changes include renaming of profiling flags:
On Tue, Jan 03, 2012 at 11:00:58AM +, Simon Marlow wrote:
On 21/12/2011 22:36, Roman Cheplyaka wrote:
* Ian Lynaghig...@earth.li [2011-12-21 18:29:21+]
* The profiling and hpc implementations have been merged and overhauled.
Visible changes include renaming of profiling flags:
Dear GHC team,
for your convenience, I have filed individual bugs about the build
errors:
Am Freitag, den 23.12.2011, 14:54 +0100 schrieb Joachim Breitner:
the build system seems to be quite confused on arch/os-combinations
besides {i386,amd64}/linux. All these worked fine with 7.2.2:
Lauri wrote:
Sorts are typically constants, and there are usually a finite amount of them,
each presenting a level of the type system.
Indeed. The literature on generic programming sometimes uses the term
superkind to refer to the sort of BOX; see, for example,
Ralf Hinze and Johan
Am Donnerstag, den 22.12.2011, 00:02 +0100 schrieb Bas van Dijk:
On 21 December 2011 19:29, Ian Lynagh ig...@earth.li wrote:
* There is a new feature constraint kinds (-XConstraintKinds):
http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html
I'm trying
| By the way, is there a reason behind the fact that “Constraint” uses the
| ordinary case, while “BOX” has all three letters capitalized? Wouldn’t
| it be more sensible if it were “Box” instead of “BOX”?
Only that BOX is a sort (currently the one and only sort), whereas Constraint
is a kind.
Hi Wolfgang,
On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
g9ks1...@acme.softbase.orgwrote:
Am Mittwoch, den 28.12.2011, 12:48 + schrieb Simon Peyton-Jones:
| By the way, is there a reason behind the fact that “Constraint” uses
the
| ordinary case, while “BOX” has all three letters
7.4.1 Release Candidate 1
Hi Wolfgang,
On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
g9ks1...@acme.softbase.orgmailto:g9ks1...@acme.softbase.org wrote:
Am Mittwoch, den 28.12.2011, 12:48 + schrieb Simon Peyton-Jones:
| By the way, is there a reason behind the fact that Constraint uses
Quoting Wolfgang Jeltsch g9ks1...@acme.softbase.org:
Am Mittwoch, den 28.12.2011, 12:48 + schrieb Simon Peyton-Jones:
Only that BOX is a sort (currently the one and only sort), whereas
Constraint is a kind. I'm not sure that BOX should ever be displayed
to users.
Okay, this makes sense
-boun...@haskell.org] On Behalf Of Antoine Latter
| Sent: 23 December 2011 04:21
| To: glasgow-haskell-users@haskell.org
| Subject: Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1
|
| On Wed, Dec 21, 2011 at 1:29 PM, Ian Lynagh ig...@earth.li wrote:
|
| We are pleased to announce the first release
Hi,
Am Mittwoch, den 21.12.2011, 18:29 + schrieb Ian Lynagh:
Please test as much as possible; bugs are much cheaper if we find them
before the release!
the build system seems to be quite confused on arch/os-combinations
besides {i386,amd64}/linux. All these worked fine with 7.2.2:
On Fri, Dec 23, 2011 at 3:04 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
Yes, it's expected; it's also the behaviour of GHC 6.12 etc.
Here what is happening. You define
result = undefined
What type does it get? In 6.12, and 7.4, it gets type
result :: forall b. b
So
| So the 'where' binding in the following does not get generalized
| because it could not have been written at the top level, correct?
The other way round. 'where' bindings that could have been written at top
level *are* generalised; ones that could not are *not* generalised. See Which
On Fri, Dec 23, 2011 at 12:33 PM, Simon Peyton-Jones
simo...@microsoft.com wrote:
| So the 'where' binding in the following does not get generalized
| because it could not have been written at the top level, correct?
The other way round. 'where' bindings that could have been written at top
One more code sample which compiled with GHC 7.2.1 and does not with the new RC:
{-# LANGUAGE FlexibleContexts, FlexibleInstances,
FunctionalDependencies, MultiParamTypeClasses, RankNTypes,
UndecidableInstances, TypeFamilies #-}
newtype MyMonadT m a = MyMonadT (m a)
class MyClass b m | m - b
Hi
On 21 Dec 2011, at 22:41, Johan Tibell wrote:
Built a bunch of packages using the 64-bit compiler on OS X Lion.
Works fine.
I'm a bit of a numpty when it comes to this sort of thing. I tried to
install
this version
ghc-7.4.0.20111219-i386-apple-darwin.tar.bz2
under Leopard,
On Thu, Dec 22, 2011 at 05:44, Conor McBride co...@strictlypositive.orgwrote:
under Leopard, and got this far
bash-3.2$ sudo ./configure
Password:
checking for path to top of build tree... dyld: unknown required load
command 0x8022
configure: error: cannot determine current
On Thu, Dec 22, 2011 at 16:19, Brandon Allbery wrote:
On Thu, Dec 22, 2011 at 05:44, Conor McBride wrote:
under Leopard, and got this far
bash-3.2$ sudo ./configure
Password:
checking for path to top of build tree... dyld: unknown required load
command 0x8022
configure: error:
On 22 Dec 2011, at 16:08, Sean Leather wrote:
I've built it from source (ghc-7.4.0.20111219-src.tar.bz2) on
Leopard. I'd be happy to contribute my build if somebody tells me
what to do.
I hope somebody who knows does just that.
Meanwhile, that sounds good to try for myself. My flat's a
On 22 Dec 2011, at 16:08, Sean Leather wrote:
I've built it from source (ghc-7.4.0.20111219-src.tar.bz2) on
Leopard. I'd be happy to contribute my build if somebody tells me
what to do.
I had a crack at this and got quite warm, literally and metaphorically.
But, no, I didn't quite get
On Thu, Dec 22, 2011 at 22:25, Conor McBride wrote:
On 22 Dec 2011, at 16:08, Sean Leather wrote:
I've built it from source (ghc-7.4.0.20111219-src.tar.**bz2) on Leopard.
I'd be happy to contribute my build if somebody tells me what to do.
I had a crack at this and got quite warm,
On Wed, Dec 21, 2011 at 1:29 PM, Ian Lynagh ig...@earth.li wrote:
We are pleased to announce the first release candidate for GHC 7.4.1:
http://www.haskell.org/ghc/dist/7.4.1-rc1/
This includes the source tarball, installers for OS X and Windows, and
bindists for amd64/Linux, i386/Linux,
* Ian Lynagh ig...@earth.li [2011-12-21 18:29:21+]
* The profiling and hpc implementations have been merged and overhauled.
Visible changes include renaming of profiling flags:
http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/flag-reference.html#id589412
and
Built a bunch of packages using the 64-bit compiler on OS X Lion. Works
fine.
-- Johan
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
On 21 December 2011 19:29, Ian Lynagh ig...@earth.li wrote:
* There is a new feature constraint kinds (-XConstraintKinds):
http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html
I'm trying to run the ConstraintKinds example from the documentation:
{-#
Hi Bas,
On Wed, Dec 21, 2011 at 23:02, Bas van Dijk v.dijk@gmail.com wrote:
On 21 December 2011 19:29, Ian Lynagh ig...@earth.li wrote:
* There is a new feature constraint kinds (-XConstraintKinds):
http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html
On 22 December 2011 00:10, José Pedro Magalhães j...@cs.uu.nl wrote:
Hi Bas,
On Wed, Dec 21, 2011 at 23:02, Bas van Dijk v.dijk@gmail.com wrote:
On 21 December 2011 19:29, Ian Lynagh ig...@earth.li wrote:
* There is a new feature constraint kinds (-XConstraintKinds):
28 matches
Mail list logo