RE: Injective type families

[Ben Gamari]

Simon Peyton Jones  writes:

> I agree!
>
Currently InjectiveTypeFamilies is in the tree but it's not too late to
change it. Of course, this means that we need to decide what to do about
the -rc1 release. I finished the builds earlier today but have been
sitting on them to check over things when I feel less ill.

Given the number of rather serious issues still outstanding I
was a bit reluctant to even go ahead with the builds, but thought in the
name of release early, release often it would be best just to get
something out there, however unperfect. Perhaps I'll just wait until the
meeting tomorrow before doing any further on the rc front.

Cheers,

- Ben



signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Phab not running a full validate?

[Richard Eisenberg]

Hi devs,

Take a look at https://phabricator.haskell.org/harbormaster/build/9990/

See how only 1 test was run. Is this expected? Does Phab now bail when it runs 
into an error? Or have I done something wrong?

Thanks,
Richard
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Phab not running a full validate?

[Matthew Pickering]

I think it does run them all. If you look at the full stdout log it runs
the failing tests again after finishing the run.

Matt
On 12 Jan 2016 00:59, "Richard Eisenberg"  wrote:

> Hi devs,
>
> Take a look at https://phabricator.haskell.org/harbormaster/build/9990/
>
> See how only 1 test was run. Is this expected? Does Phab now bail when it
> runs into an error? Or have I done something wrong?
>
> Thanks,
> Richard
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Injective type families

[Richard Eisenberg]

I'm joining this conversation late, but I favor TypeFamilyDependencies over 
InjectiveTypeFamilies. We use the annotations for things other than 
injectivity! For example,

> type family Plus a b = r | r a -> b, r b -> a

is not injective under any common understanding of the word. And the 
argument-to-argument dependencies Simon has been musing about are even further 
from the meaning of "injective".

Richard

On Jan 8, 2016, at 6:43 AM, Jan Stolarek  wrote:

>> Is "InjectiveTypeFamilies" a good name for this?  Or 
>> "TypeFamilyDependencies"?  Or what?
> My vote for "InjectiveTypeFamilies".
> 
> Janek
> 
> ---
> Politechnika Łódzka
> Lodz University of Technology
> 
> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez 
> pomyłkę
> prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.
> 
> This email contains information intended solely for the use of the individual 
> to whom it is addressed.
> If you are not the intended recipient or if you have received this message in 
> error,
> please notify the sender and delete it from your system.
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> 

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

RE: Injective type families

[Simon Peyton Jones]

I agree!

|  -Original Message-
|  From: Richard Eisenberg [mailto:e...@cis.upenn.edu]
|  Sent: 11 January 2016 16:35
|  To: Jan Stolarek 
|  Cc: Simon Peyton Jones ; GHC developers 
|  Subject: Re: Injective type families
|  
|  I'm joining this conversation late, but I favor TypeFamilyDependencies
|  over InjectiveTypeFamilies. We use the annotations for things other
|  than injectivity! For example,
|  
|  > type family Plus a b = r | r a -> b, r b -> a
|  
|  is not injective under any common understanding of the word. And the
|  argument-to-argument dependencies Simon has been musing about are even
|  further from the meaning of "injective".
|  
|  Richard
|  
|  On Jan 8, 2016, at 6:43 AM, Jan Stolarek 
|  wrote:
|  
|  >> Is "InjectiveTypeFamilies" a good name for this?  Or
|  "TypeFamilyDependencies"?  Or what?
|  > My vote for "InjectiveTypeFamilies".
|  >
|  > Janek
|  >
|  > ---
|  > Politechnika Łódzka
|  > Lodz University of Technology
|  >
|  > Treść tej wiadomości zawiera informacje przeznaczone tylko dla
|  adresata.
|  > Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją
|  > przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej
|  usunięcie.
|  >
|  > This email contains information intended solely for the use of the
|  individual to whom it is addressed.
|  > If you are not the intended recipient or if you have received this
|  > message in error, please notify the sender and delete it from your
|  system.
|  > ___
|  > ghc-devs mailing list
|  > ghc-devs@haskell.org
|  >
|  https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.h
|  > askell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
|  devs=01%7c01%7csi
|  >
|  monpj%40064d.mgd.microsoft.com%7c89e853d7594848b5a2b008d31aa53339%7c72
|  >
|  f988bf86f141af91ab2d7cd011db47%7c1=CGUuIZ3rnRG3jH7pXHUCnLuB5tG8I
|  > Crf%2fhYwvlrWUcA%3d
|  >

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs