mniip (mniip)
User

Projects

User does not belong to any projects.

User Details

User Since
Mar 12 2016, 5:40 PM (183 w, 2 d)

Recent Activity

Aug 7 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCca8efc496db5: Fix documentation (authored by mniip).
Fix documentation
Aug 7 2019, 9:18 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2c1b1ad7dffd: Fix test (authored by mniip).
Fix test
Aug 7 2019, 9:18 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3d32286d212b: Explicitly number equations when printing axiom incompatibilities (authored by mniip).
Explicitly number equations when printing axiom incompatibilities
Aug 7 2019, 9:18 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2073745c70d8: Add a -fprint-axiom-incomps option (#15546) (authored by mniip).
Add a -fprint-axiom-incomps option (#15546)
Aug 7 2019, 9:18 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbca793458c77: Fix test (authored by mniip).
Fix test
Aug 7 2019, 9:18 AM

Oct 17 2018

mniip added a reviewer for D5097: Add a -fprint-axiom-incomps option (#15546): goldfire.
Oct 17 2018, 11:59 PM

Oct 16 2018

mniip added a comment to D5097: Add a -fprint-axiom-incomps option (#15546).

@simonpj Added all changes requested via Trac. Any further comments?

Oct 16 2018, 4:42 PM

Oct 15 2018

mniip added a comment to D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..

You're worried about the haddock performance test? Don't be. I've seen that test failing for some time.

Oct 15 2018, 12:32 AM

Oct 14 2018

mniip added a comment to D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..

Seeing as tests failed on both platforms looks like this has some performance implications.

Oct 14 2018, 11:46 AM

Oct 8 2018

mniip updated the diff for D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..

That didn't work

Oct 8 2018, 5:24 PM
mniip updated the diff for D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..

Oops, messed up my working tree.

Oct 8 2018, 5:22 PM
mniip updated the diff for D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..

Add a zipAndUnzip util. Add a reference to T15704

Oct 8 2018, 5:19 PM

Oct 5 2018

mniip added inline comments to D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..
Oct 5 2018, 4:31 PM
mniip added inline comments to D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..
Oct 5 2018, 3:43 PM
mniip updated the diff for D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..

Add squiggly line

Oct 5 2018, 11:30 AM
mniip created D5206: Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv..
Oct 5 2018, 11:30 AM
mniip updated the diff for D5097: Add a -fprint-axiom-incomps option (#15546).

Added a Note regarding -fprint-axiom-incoms and a reference in the user guide

Oct 5 2018, 7:38 AM

Aug 24 2018

mniip updated the diff for D5097: Add a -fprint-axiom-incomps option (#15546).

Rebase

Aug 24 2018, 10:03 AM

Aug 23 2018

mniip updated the diff for D5097: Add a -fprint-axiom-incomps option (#15546).
  • Inline coAxBranchToIfaceBranch'
Aug 23 2018, 7:03 PM
mniip added a comment to D5097: Add a -fprint-axiom-incomps option (#15546).

The relevant commit seems to be rGHCb4856f9f4f0fb3db473901b247d3fa94a11c25a0 but I don't see any relevant Notes being introduced in that.

Aug 23 2018, 5:51 PM
mniip created D5097: Add a -fprint-axiom-incomps option (#15546).
Aug 23 2018, 2:35 PM

Sep 1 2016

mniip updated the diff for D2484: Less scary arity mismatch error message when deriving.

rebase

Sep 1 2016, 9:36 AM

Aug 31 2016

mniip updated the diff for D2484: Less scary arity mismatch error message when deriving.

Fix spleeing error

Aug 31 2016, 4:39 AM

Aug 27 2016

mniip retitled D2484: Less scary arity mismatch error message when deriving from to Less scary arity mismatch error message when deriving.
Aug 27 2016, 9:50 PM

Aug 26 2016

mniip added a comment to D2473: Tag pointers in interpreted constructors.

Relevant conversation from #ghc

Aug 26 2016, 1:23 PM

Aug 24 2016

mniip updated the test plan for D2473: Tag pointers in interpreted constructors.
Aug 24 2016, 2:09 PM
mniip updated the test plan for D2473: Tag pointers in interpreted constructors.
Aug 24 2016, 2:08 PM
mniip retitled D2473: Tag pointers in interpreted constructors from to Tag pointers in interpreted constructors.
Aug 24 2016, 10:25 AM

Aug 8 2016

mniip updated the Trac tickets for D2447: GHCi: Don't remove shadowed bindings from typechecker scope..
Aug 8 2016, 9:14 PM
mniip retitled D2447: GHCi: Don't remove shadowed bindings from typechecker scope. from to GHCi: Don't remove shadowed bindings from typechecker scope..
Aug 8 2016, 9:13 PM

Aug 4 2016

mniip updated the Trac tickets for D2439: RtClosureInspect: Fix off-by-one error in cvReconstructType.
Aug 4 2016, 7:28 AM
mniip retitled D2439: RtClosureInspect: Fix off-by-one error in cvReconstructType from to RtClosureInspect: Fix off-by-one error in cvReconstructType.
Aug 4 2016, 7:27 AM

Mar 12 2016

mniip retitled D1999: Fix the name of the Word16ElemRep wired-in datacon from to Fix the name of the Word16ElemRep wired-in datacon.
Mar 12 2016, 6:43 PM