Thank you for all your feedback! I updated the wiki page accordingly.
Let us stop and take note of what this feedback is about: the most
convenient syntax for manipulating records, and much of this feedback
applies to any records proposal. That is, there are no fundamental
objections to the
On 07/01/2012 17:52, Joachim Breitner wrote:
Dear GHC-Team,
to improve the quality of Haskell on Debian started to package the GHC
testsuite in a package of its own, and will upload it to Debian so that
it runs on all architectures and catches possible architecture-dependent
bugs there.
Using
Am 08.01.2012 04:39, schrieb Bogdan Opanchuk:
Hello,
Consider the following code:
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, OverlappingInstances,
UndecidableInstances, FunctionalDependencies #-}
We have also such (cruel) code using these extension.
t4.hs:17:31:
Am 09.01.2012 13:16, schrieb Christian Maeder:
I cannot answer this, but our code also compiles with ghc-7.2.2 using a
lower context-stack (of 26).
Apologies, I've just re-checked and noticed that our code changed and
needs consistently -fcontext-stack=26 for ghc-7.2.2 and ghc-7.0.4 (and
Hello Christian,
On Mon, Jan 9, 2012 at 11:31 PM, Christian Maeder
christian.mae...@dfki.de wrote:
We have also such (cruel) code using these extension.
I understand that this code is not very good; I am just learning
Haskell, and it is an experiment to see what its type system can
handle.
I
If you think there's a bug here, could you open a ticket a repro case, please?
Many thanks
Simon
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-
| users-boun...@haskell.org] On Behalf Of Bogdan Opanchuk
| Sent: 09 January 2012 13:00
| To:
Three things about this ConstraintKinds thread:
First, about
class Functor f where
type C f a :: Constraint
type C f a = ()
vs
class Functor f where
type C f :: * - Constraint
type C f = \_ - ()
I don't know any way of dealing in a decent way with the latter, because it
On Sun, Jan 8, 2012 at 8:32 AM, Bas van Dijk v.dijk@gmail.com wrote:
On 23 December 2011 17:44, Simon Peyton-Jones simo...@microsoft.com
wrote:
My attempt at forming a new understanding was driven by your example.
class Functor f where
type C f :: * - Constraint
type C f =
On Mon, Jan 9, 2012 at 4:53 PM, Simon Peyton-Jones
simo...@microsoft.com wrote:
Three things about this ConstraintKinds thread:
First, about
class Functor f where
type C f a :: Constraint
type C f a = ()
vs
class Functor f where
type C f :: * - Constraint
type C f = \_ - ()
Just a note: as section 6 of [1] notes, one way (possibly the only?)
to satisfy a universally quantified constraint would be a suitably
polymorphic instance — i.e. with a type variable in the head. I think
this would mitigate the need for whole program analysis at least in
some cases, including
| The problem with this is that you can't write, for example:
|
| type OldFunctor f = (Functor f, forall a. C (f a) ~ ())
|
| (If we had quantified contexts[1], then maybe, but we don't, and it
| doesn't seem like it would be even theoretically possible for indexed
| constraints without
You mean this wiki page, right?:
http://hackage.haskell.org/trac/ghc/wiki/Records/NameSpacing
That is, there are no fundamental
objections to the implementation of this records implementation.
I think that might be overly optimistic... I think there's a risk that
SPJ finds an irritating
Hello Simon,
On Tue, Jan 10, 2012 at 12:17 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
If you think there's a bug here, could you open a ticket a repro case, please?
Sure, I just did not think it was sensible to file a bug on something
that had been apparently fixed in the most recent
On Thu, Jan 5, 2012 at 5:44 PM, Joachim Breitner nome...@debian.org wrote:
Anyways, I’m just brainstorming
a bit, although it seems I’m only turning up ideas that have been
dismissed already...
It is good to hash through these things. =)
On a related note, which doesn't solve the general
14 matches
Mail list logo