Each of these repositories has a "type-nats" branch in it, which is where my changes reside. Before we go on with the discussion of what/how to merge into the master branch, would it be OK to move my "type-nats" branch into the central GHC repo on darcs.haskell.org<http://darcs.haskell.org> so that it is easier for people to access it. (Having it in the central repo is a bit easier because one would not have to much around with multiple "remotes".)
Yes I think so. Just make a type-nats branch in each of the three repos. Thanks. Simon From: Iavor Diatchki [mailto:[email protected]] Sent: 20 June 2011 21:42 To: Simon Peyton-Jones Cc: Adam Gundry; Dimitrios Vytiniotis; [email protected]; Conor McBride; Stephanie Weirich Subject: Re: Type-level natural numbers Hello again, Over the weekend I merged my changes with the current "master" branch (up to and including the "safe haskell" extensions). Currently, the code is on one of the machines at Galois, and can be obtained with the following commands: git clone git://code.galois.com/type-naturals/ghc.git<http://code.galois.com/type-naturals/ghc.git> git clone git://code.galois.com/type-naturals/base.git<http://code.galois.com/type-naturals/base.git> git clone git://code.galois.com/type-naturals/template-haskell.git<http://code.galois.com/type-naturals/template-haskell.git> Each of these repositories has a "type-nats" branch in it, which is where my changes reside. Before we go on with the discussion of what/how to merge into the master branch, would it be OK to move my "type-nats" branch into the central GHC repo on darcs.haskell.org<http://darcs.haskell.org> so that it is easier for people to access it. (Having it in the central repo is a bit easier because one would not have to much around with multiple "remotes".) -Iavor
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
