comment added; resolution set; status changed
status changed from merge to closedresolution set to fixed Merged as 2e1a0cb7d5f9d2c4ba7f99a28e666f6ce40cee88.
View Articlecomment added; status changed
status changed from new to merge Fixed, thanks. Pls merge to 7.6
View Articlecomment added
commit bdce8f0a3b40a60108a99b4635d168c12b79f255 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Wed Aug 15 15:59:26 2012 +0100 Put kind variables before type variables when quantifying...
View Articlecomment added; owner set; priority changed
owner set to simonpjpriority changed from high to highest Here's one of them: =====> PolyKinds13(hpc) 808 of 3391 [0, 0, 0] cd ./polykinds &&...
View Articlestatus changed; resolution set
status changed from merge to closedresolution set to fixed Merged as 2e1a0cb7d5f9d2c4ba7f99a28e666f6ce40cee88.
View ArticleArticle 2
commit bdce8f0a3b40a60108a99b4635d168c12b79f255 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Wed Aug 15 15:59:26 2012 +0100 Put kind variables before type variables when quantifying...
View Articlepriority changed; owner set
owner set to simonpjpriority changed from high to highest Here's one of them: =====> PolyKinds13(hpc) 808 of 3391 [0, 0, 0] cd ./polykinds &&...
View Article
