I've been away over the last week, but I'll get to this soon.
Cheers,
Simon
On 25/02/2012 17:00, Gabor Greif wrote:
Ping.
Anything wrong with this or just overlooked?
Cheers,
Gabor
On 2/16/12, Gabor Greif wrote:
See my previous mail...
I believe I did precisely what you call
Ping.
Anything wrong with this or just overlooked?
Cheers,
Gabor
On 2/16/12, Gabor Greif wrote:
> See my previous mail...
>
> I believe I did precisely what you called for:
>
> https://github.com/ggreif/ghc/commits/misc-cleanups/
>
> repo: https://github.com/ggreif/ghc.git
> branch: misc-c
See my previous mail...
I believe I did precisely what you called for:
https://github.com/ggreif/ghc/commits/misc-cleanups/
repo: https://github.com/ggreif/ghc.git
branch: misc-cleanups
Cheers,
Gabor
On 2/16/12, Simon Marlow wrote:
> On 15/02/2012 17:33, Gabor Greif wrote:
>> Hi all,
>>
On 15/02/2012 17:33, Gabor Greif wrote:
Hi all,
on my fork https://github.com/ggreif/ghc I have accumulated a number
of small patches that are results of my browsing of the GHC sources
and correcting minor issues. These are without functional impact and
mostly apply to comments and formatting.
Okay, managed to put all these (after resolving a conflict) on a branch:
https://github.com/ggreif/ghc/commits/misc-cleanups/
merging that on head should be it. The branch 'misc-cleanups' is based
on today's official master branch, so even a fast-forward merge should
be possible.
Cheers,
Ga
Hi all,
on my fork https://github.com/ggreif/ghc I have accumulated a number
of small patches that are results of my browsing of the GHC sources
and correcting minor issues. These are without functional impact and
mostly apply to comments and formatting.
By transferring these to mainline GHC I ho
