I've added it as https://ghc.haskell.org/trac/ghc/ticket/10009
On Tue, Jan 20, 2015 at 11:23 AM, Richard Eisenberg e...@cis.upenn.edu wrote:
After quite a bit of thought, I agree that this is a regression and that the
original program should be accepted.
Make a bug report!
Thanks,
Richard
After quite a bit of thought, I agree that this is a regression and that the
original program should be accepted.
Make a bug report!
Thanks,
Richard
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
| To: adam vogt
| Cc: Glasgow-Haskell-Users
| Subject: Re: ghc-7.10.0 type inference regression when faking injective
| type families
|
| After quite a bit of thought, I agree that this is a regression and that
| the original program should be accepted.
|
| Make a bug report!
|
| Thanks
Wrongly, as it turned out. Sorry! The problem remains.
On Tue, Jan 20, 2015 at 2:37 PM, David Feuer david.fe...@gmail.com wrote:
And I've closed it as worksforme. I couldn't reproduce the problem
with 7.11.20150103.
On Tue, Jan 20, 2015 at 11:42 AM, adam vogt vogt.a...@gmail.com wrote:
I've
And I've closed it as worksforme. I couldn't reproduce the problem
with 7.11.20150103.
On Tue, Jan 20, 2015 at 11:42 AM, adam vogt vogt.a...@gmail.com wrote:
I've added it as https://ghc.haskell.org/trac/ghc/ticket/10009
On Tue, Jan 20, 2015 at 11:23 AM, Richard Eisenberg e...@cis.upenn.edu
Hello List,
With ghc - 7.8 and 7.6 the following program is accepted:
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
class (UnF (F a) ~ a, Show a) = C a where
type F a
f :: F a - a
type family UnF a
g :: forall a. C a = a - String
g _ = show a
where a = f