Bodigrim (Andrew Lelechenko)
User

Projects

User does not belong to any projects.

User Details

User Since: Nov 8 2017, 6:14 PM (109 w, 1 d)

Recent Activity
View All

Thu, Dec 5

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8324f0b7357c: Test proxy-polymorphic sameNat and sameSymbol (authored by Bodigrim).

Test proxy-polymorphic sameNat and sameSymbol

Thu, Dec 5, 11:23 PM

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4e47217f85b2: Make sameNat and sameSymbol proxy-polymorphic (authored by Bodigrim).

Make sameNat and sameSymbol proxy-polymorphic

Thu, Dec 5, 11:23 PM

Feb 15 2018

Bodigrim added a comment to D4212: Built-in Natural literals in Core.

In D4212#122801, @hsyl20 wrote:

@Bodigrim I have just been bitten by Trac #14170 too... Is there anything we can help you with to complete this patch?

Feb 15 2018, 5:54 PM

Dec 12 2017

Bodigrim added a comment to D4212: Built-in Natural literals in Core.

Sorry for disappearance. I got a new job recently, still sorting out things. I plan to continue with this change next week.

Dec 12 2017, 3:36 PM

Nov 19 2017

Bodigrim updated the diff for D4212: Built-in Natural literals in Core.

Update diff. Now the error message is more specific, but I still do not know how to fix it.

Nov 19 2017, 3:27 PM

Bodigrim created D4212: Built-in Natural literals in Core.

Nov 19 2017, 9:33 AM

Nov 14 2017

Bodigrim updated the diff for D4180: Optimise remainders by powers of two (trac#14437).

Fix comments, following review suggestions.

Nov 14 2017, 12:38 PM

Nov 11 2017

Bodigrim created D4180: Optimise remainders by powers of two (trac#14437).

Nov 11 2017, 7:48 PM

Bodigrim updated the diff for D4173: Remove redundant subtraction in (^) and stimes (trac#14439).

Add comments.

Nov 11 2017, 3:28 PM

Bodigrim updated the diff for D4173: Remove redundant subtraction in (^) and stimes (trac#14439).

Remove double space.

Nov 11 2017, 6:46 AM

Nov 9 2017

Bodigrim updated the summary of D4173: Remove redundant subtraction in (^) and stimes (trac#14439).

Nov 9 2017, 6:01 PM

Bodigrim created D4173: Remove redundant subtraction in (^) and stimes (trac#14439).