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 eac
On Tue, Jan 03, 2012 at 11:00:58AM +, Simon Marlow wrote:
> On 21/12/2011 22:36, Roman Cheplyaka wrote:
> >* Ian Lynagh [2011-12-21 18:29:21+]
> >> * The profiling and hpc implementations have been merged and overhauled.
> >> Visible changes include renaming of profiling flags:
> >>
On 21/12/2011 22:36, Roman Cheplyaka wrote:
* Ian Lynagh [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-ref
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:
>
> ht
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 J
Quoting "Wolfgang Jeltsch" :
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 then. However, note that
: GHC 7.4.1 Release Candidate 1
Hi Wolfgang,
On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
mailto: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 the
Hi Wolfgang,
On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
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
> the
> > | ordinary case, while “BOX” has all three letters capitalized? Wouldn’t
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 capitalized? Wouldn’t
> | it be more sensible if it were “Box” instead of “BOX”?
>
> Only that BOX
| 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. I'
Am Donnerstag, den 22.12.2011, 00:02 +0100 schrieb Bas van Dijk:
> On 21 December 2011 19:29, Ian Lynagh 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
Hi,
Am Samstag, den 24.12.2011, 08:28 +1100 schrieb Erik de Castro Lopo:
> Joachim Breitner wrote:
>
> > ghc-stage2: panic! (the 'impossible' happened)
> > (GHC version 7.4.0.20111219 for powerpc-unknown-linux):
> > Cant do annotations without GHCi
> > {libraries/vector/Data/Vector/Fusi
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
On Fri, Dec 23, 2011 at 12:33 PM, Simon Peyton-Jones
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
> level *are* gener
| 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
bindin
On Fri, Dec 23, 2011 at 3:04 AM, Simon Peyton-Jones
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 the two uses of
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:
https:
-users-boun...@haskell.org [mailto:glasgow-haskell-
| users-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 wrote:
| >
| >
On Wed, Dec 21, 2011 at 1:29 PM, Ian Lynagh 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, amd64/Fr
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
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 the
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 bi
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
>> confi
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: cannot determine current directory
>
I'd expect tha
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, a
On 22 December 2011 00:10, José Pedro Magalhães wrote:
> Hi Bas,
>
> On Wed, Dec 21, 2011 at 23:02, Bas van Dijk wrote:
>>
>> On 21 December 2011 19:29, Ian Lynagh wrote:
>> > * There is a new feature constraint kinds (-XConstraintKinds):
>> >
>> > http://www.haskell.org/ghc/dist/stable/docs/h
Hi Bas,
On Wed, Dec 21, 2011 at 23:02, Bas van Dijk wrote:
> On 21 December 2011 19:29, Ian Lynagh 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 Constra
On 21 December 2011 19:29, Ian Lynagh 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:
{-# LANGUAGE Constraint
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
* Ian Lynagh [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 the cost-ce
On 21 December 2011 19:29, Ian Lynagh wrote:
> Please test as much as possible; bugs are much cheaper if we find them
> before the release!
I'm trying to build bindings-levmar with the new GHC but get the
errors as reported here:
https://bitbucket.org/mauricio/bindings-dsl/issue/7/build-errors-w
31 matches
Mail list logo
