sjorn3 (Sean Innes)
User

Projects

User does not belong to any projects.

User Details

User Since
Dec 24 2016, 6:29 AM (147 w, 3 d)

Recent Activity

Jan 2 2017

sjorn3 added a comment to D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

Thanks Matt, should I set this to resolved on track?

Jan 2 2017, 5:43 PM

Dec 31 2016

sjorn3 added a comment to D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

Got a bit muddled there, sorry about that. I think this should be about right @bgamari but I'd better wait to see if it passes.

Dec 31 2016, 5:59 PM
sjorn3 abandoned D2909: Regression test for Trac #12837 added..
Dec 31 2016, 5:59 PM
sjorn3 updated the diff for D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

Fixing the diff to the right commit

Dec 31 2016, 5:27 PM
sjorn3 added a comment to D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.
Dec 31 2016, 5:25 PM
sjorn3 updated the diff for D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

Added a regression test for the changes.

Dec 31 2016, 5:17 PM
sjorn3 added a comment to D2909: Regression test for Trac #12837 added..

Thanks @RyanGlScott, I'll do that now.

Dec 31 2016, 5:10 PM
sjorn3 added a comment to D2909: Regression test for Trac #12837 added..

I didn't intend to make a new Differential, This should just be another commit for D2898, and I'm not sure how to undo what I've done here.

Dec 31 2016, 3:36 PM
sjorn3 retitled D2909: Regression test for Trac #12837 added. from to Regression test for Trac #12837 added..
Dec 31 2016, 3:32 PM

Dec 29 2016

sjorn3 added a comment to D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

Thanks for the comments @goldfire and @bgamari, and for the help @mpickering.

Dec 29 2016, 1:44 PM

Dec 24 2016

sjorn3 added a comment to D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

I think that should do it, let me know if that's what you were after.

Dec 24 2016, 11:38 AM
sjorn3 added a comment to D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym.

It may be beneficial to define rejectedClassNames (or similar) in PrelNames, and then import that instead of a potentially long list of imported class names.

Dec 24 2016, 10:54 AM
sjorn3 retitled D2898: typecheck: Disallow users to write instances of KnownNat and KnownSym from to compiler: fix trac issue #12837.
Dec 24 2016, 10:45 AM