- ghc-devs - Haskell.org

Re: [commit: ghc] master: Improve documentation of syntax for promoted lists (a972bdd)
by Gabor Greif 15 Dec '14

15 Dec '14

Hmm, shouldn't that be -XDataKinds (instead of -XTypeOperators)? also: umambiguous ---> unambiguous becuase ---> because Cheers, Gabor On 12/15/14, git(a)git.haskell.org <git(a)git.haskell.org> wrote: > Repository : ssh://git@git.haskell.org/ghc > > On branch : master > Link : > http://ghc.haskell.org/trac/ghc/changeset/a972bddfc8115d80d774383a55202a293… > >>--------------------------------------------------------------- > > commit a972bddfc8115d80d774383a55202a293dc68595 > Author: Simon Peyton Jones <simonpj(a)microsoft.com> > Date: Mon Dec 15 17:08:29 2014 +0000 > > Improve documentation of syntax for promoted lists > > THe documentation in 7.9.4 of promoted list and tuple types was > misleading, which led to Trac #9882. This patch makes explicit > that only type-level with two or more elements can have the > quote omitted. > > >>--------------------------------------------------------------- > > a972bddfc8115d80d774383a55202a293dc68595 > compiler/parser/Parser.y | 8 ++++++-- > docs/users_guide/glasgow_exts.xml | 19 ++++++++++++++++--- > 2 files changed, 22 insertions(+), 5 deletions(-) > > diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y > index bffe6e1..235d34a 100644 > --- a/compiler/parser/Parser.y > +++ b/compiler/parser/Parser.y > @@ -1483,6 +1483,10 @@ atype :: { LHsType RdrName } > [mo $2,mc $4] } > | SIMPLEQUOTE var { sLL $1 $> $ HsTyVar $ > unLoc $2 } > > + -- Two or more [ty, ty, ty] must be a promoted list type, just as > + -- if you had written '[ty, ty, ty] > + -- (One means a list type, zero means the list type constructor, > + -- so you have to quote those.) > | '[' ctype ',' comma_types1 ']' {% ams (sLL $1 $> $ > HsExplicitListTy > placeHolderKind ($2 : > $4)) > [mo $1, mj AnnComma $3,mc > $5] } > @@ -1503,11 +1507,11 @@ inst_types1 :: { [LHsType RdrName] } > | inst_type ',' inst_types1 {% addAnnotation (gl $1) AnnComma > (gl $2) > >> return ($1 : $3) } > > -comma_types0 :: { [LHsType RdrName] } > +comma_types0 :: { [LHsType RdrName] } -- Zero or more: ty,ty,ty > : comma_types1 { $1 } > | {- empty -} { [] } > > -comma_types1 :: { [LHsType RdrName] } > +comma_types1 :: { [LHsType RdrName] } -- One or more: ty,ty,ty > : ctype { [$1] } > | ctype ',' comma_types1 {% addAnnotation (gl $1) AnnComma > (gl $2) > >> return ($1 : $3) } > diff --git a/docs/users_guide/glasgow_exts.xml > b/docs/users_guide/glasgow_exts.xml > index e12703f..7edca07 100644 > --- a/docs/users_guide/glasgow_exts.xml > +++ b/docs/users_guide/glasgow_exts.xml > @@ -6882,9 +6882,9 @@ is a single quote.</para> > </sect2> > > <sect2 id="promoted-lists-and-tuples"> > -<title>Promoted lists and tuples types</title> > +<title>Promoted list and tuple types</title> > <para> > -Haskell's list and tuple types are natively promoted to kinds, and enjoy > the > +With <option>-XTypeOperators</option>, Haskell's list and tuple types are > natively promoted to kinds, and enjoy the > same convenient syntax at the type level, albeit prefixed with a quote: > <programlisting> > data HList :: [*] -> * where > @@ -6893,8 +6893,21 @@ data HList :: [*] -> * where > > data Tuple :: (*,*) -> * where > Tuple :: a -> b -> Tuple '(a,b) > + > +foo0 :: HList '[] > +foo0 = HNil > + > +foo1 :: HList '[Int] > +foo1 = HCons (3::Int) HNil > + > +foo2 :: HList [Int, Bool] > +foo2 = ... > </programlisting> > -Note that this requires <option>-XTypeOperators</option>. > +For type-level lists of <emphasis>two or more elements</emphasis>, > +such as the signature of <literal>foo2</literal> above, the quote may be > omitted because the meaning is > +umambiguous. But for lists of one or zero elements (as in > <literal>foo0</literal> > +and <literal>foo1</literal>), the quote is required, becuase the types > <literal>[]</literal> > +and <literal>[Int]</literal> have existing meanings in Haskell. > </para> > </sect2> > > > _______________________________________________ > ghc-commits mailing list > ghc-commits(a)haskell.org > http://www.haskell.org/mailman/listinfo/ghc-commits >

2 1

more parser conflicts?
by Richard Eisenberg 15 Dec '14

15 Dec '14

Hi devs, In unrelated work, I saw this scroll across when happy'ing the parser: > shift/reduce conflicts: 60 > reduce/reduce conflicts: 16 These numbers seem quite a bit higher than what I last remember (which is something like 48 and 1, not 60 and 16). Does anyone know why? Thanks, Richard

7 7

RE: Reachable modules from DynFlags out of date
by Simon Peyton Jones 15 Dec '14

15 Dec '14

Aha. I think I have it. "Hooks" shouldn't import DsMonad. Working on it now | -----Original Message----- | From: Herbert Valerio Riedel [mailto:hvriedel@gmail.com] | Sent: 15 December 2014 13:45 | To: Simon Peyton Jones | Subject: Re: Reachable modules from DynFlags out of date | | Hello Simon, | | On 2014-12-15 at 11:58:13 +0100, Simon Peyton Jones wrote: | > Hum. "Reachable modules from DynFlags out of date" What can I do | now? | > Validated ok on my windows laptop. So I'm sorry but it looks as if | I | > have broken HEAD. Could revert but I'd prefer to fix. | > I did change some imports. | | ...do you mind if I revert that one (to unbreak GHC HEAD), and you re- | push that commit once it's sorted out? | | Cheers, | hvr

1 0

RE: Reachable modules from DynFlags out of date
by Simon Peyton Jones 15 Dec '14

15 Dec '14

| ...do you mind if I revert that one (to unbreak GHC HEAD), and you re- | push that commit once it's sorted out? yes, go ahead. I just wish I *understood* what was going on. Sorry about this S | -----Original Message----- | From: Herbert Valerio Riedel [mailto:hvriedel@gmail.com] | Sent: 15 December 2014 13:45 | To: Simon Peyton Jones | Subject: Re: Reachable modules from DynFlags out of date | | Hello Simon, | | On 2014-12-15 at 11:58:13 +0100, Simon Peyton Jones wrote: | > Hum. "Reachable modules from DynFlags out of date" What can I do | now? | > Validated ok on my windows laptop. So I'm sorry but it looks as if | I | > have broken HEAD. Could revert but I'd prefer to fix. | > I did change some imports. | | ...do you mind if I revert that one (to unbreak GHC HEAD), and you re- | push that commit once it's sorted out? | | Cheers, | hvr

1 0

Reachable modules from DynFlags out of date
by Simon Peyton Jones 15 Dec '14

15 Dec '14

Hum. "Reachable modules from DynFlags out of date" What can I do now? Validated ok on my windows laptop. So I'm sorry but it looks as if I have broken HEAD. Could revert but I'd prefer to fix. I did change some imports. Thanks Simon HC [stage 1] compiler/stage2/build/SPARC/CodeGen.o HC [stage 1] compiler/stage2/build/LlvmCodeGen.o Reachable modules from DynFlags out of date

3 6

RE: Implicit Locations in GHC
by Simon Peyton Jones 15 Dec '14

15 Dec '14

Eric I'd love to see it happen. High payoff, low pain. See https://ghc.haskell.org/trac/ghc/ticket/9049 No existing branch that I know of. I'm copying some other people who might be interested. Let me know how I can help. Simon | -----Original Message----- | From: Eric Seidel [mailto:eric@seidel.io] | Sent: 12 December 2014 22:11 | To: Simon Peyton Jones | Subject: Implicit Locations in GHC | | Hi Simon, | | I just noticed your wiki page | | | https://ghc.haskell.org/trac/ghc/wiki/ExplicitCallStack/ImplicitLocati | ons | | Interestingly, I talked to Iavor a few weeks back about the exact same | idea, and briefly started working on a branch before being consumed by | various work things.. | | Anyway, I think I may have some extra free time coming up, and I'd be | happy to throw some of it at implementing this proposal. Is there an | existing branch that I should look at? | | Eric

1 0

performance regressions
by Richard Eisenberg 15 Dec '14

15 Dec '14

Hi devs, Phab has shown up some performance regressions in my recent commits. See https://phabricator.haskell.org/harbormaster/build/2607/. The failures except for haddock.base are new, and evidently my fault. They didn't show up on Travis. Will look into it shortly, but I doubt over the weekend. I don't think this should hold up the 7.10 fork, however. I have a suspicion as to what caused the problem -- the reimplementation of TcInteract.matchFam. That reimplementation was solely to reduce code repetition between TcInteract.matchFam and FamInstEnv.reduceTyFamApp_maybe. It can safely be rolled back -- just use the implementation of matchFam that existed before my commits. I'll look into this Monday at the latest, but if a remedy is needed sooner, try the technique above. Why would these failures show up on Phab but not on Travis? Sorry about the bother! Thanks, Richard

3 7

Program runs out of memory using GHC 7.6.3
by David Spies 14 Dec '14

14 Dec '14

I have a program I submitted for a Kattis problem: https://open.kattis.com/problems/digicomp2 But I got memory limit exceeded. I downloaded the test data and ran the program on my own computer without problems. Eventually I found out that when compiling with GHC 7.6.3 (the version Kattis uses) rather than 7.8.3, this program runs out of memory. Can someone explain why it only works on the later compiler? Is there a workaround so that I can submit to Kattis? Thanks, David

3 7

Trouble committing
by Andreas Voellmy 14 Dec '14

14 Dec '14

Hi GHCers, I just fixed a bug (#9423) and went through the Phab workflow. Then I did a fresh checkout from git and ran: $ git checkout master $ arc patch --nobranch D129 $ git push origin master as explained on https://ghc.haskell.org/trac/ghc/wiki/Phabricator, but on the last command I get this error: fatal: remote error: access denied or repository not exported: /ghc.git Maybe I just no longer have commit access to ghc? If so, could someone restore my access? Or I'd be happy if someone else can push the patch. Thanks, Andi

4 4

ANNOUNCE: GHC 7.8.4 Release Candidate 1
by Austin Seipp 13 Dec '14

13 Dec '14

We are pleased to announce the first release candidate for GHC 7.8.4: https://downloads.haskell.org/~ghc/7.8.4-rc1/ This includes the source tarball and bindists for 64bit Linux. Binary builds for other platforms will be available shortly. These binaries and tarballs have an accompanying SHA256SUMS file signed by my GPG key id (0x3B58D86F). We plan to make the 7.8.4 release sometime in the next few weeks. Please test as much as possible; bugs are much cheaper if we find them before the release! -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

13 18