Iceland_jack (Baldur Blöndal)
User

Projects

User does not belong to any projects.

User Details

User Since
Aug 22 2014, 12:04 AM (230 w, 1 d)

Recent Activity

Oct 19 2018

Iceland_jack added a comment to D5229: Visible kind application.

Made a ticket for both of them #15782

Oct 19 2018, 7:59 AM
Iceland_jack added a comment to D5229: Visible kind application.

Is using kind application in data declarations; data El @k ..., wanted. Currently rejected

Oct 19 2018, 6:57 AM
Iceland_jack added a comment to D5229: Visible kind application.

It seems amazingly robust though

Oct 19 2018, 6:04 AM
Iceland_jack added a comment to D5229: Visible kind application.

I discovered a potential bug, minimized by Ryan

Oct 19 2018, 6:03 AM

Jan 31 2018

Iceland_jack added a comment to D4353: [WIP] Implement QuantifiedConstraints.
  • This example seems to break some assert statement:
Jan 31 2018, 10:02 AM

Jan 30 2018

Iceland_jack added a comment to D4353: [WIP] Implement QuantifiedConstraints.

I think all of these should be accepted (taken from Kmett)

Jan 30 2018, 11:34 AM
Iceland_jack added a comment to D4353: [WIP] Implement QuantifiedConstraints.

Fails on (source)

Jan 30 2018, 8:49 AM
Iceland_jack added a comment to D4353: [WIP] Implement QuantifiedConstraints.

Potential bug?

Jan 30 2018, 5:43 AM
Iceland_jack added a comment to D4353: [WIP] Implement QuantifiedConstraints.

Glad to get my hands on this. If you need examples / tests I have several in this reddit comment.

Jan 30 2018, 5:27 AM

Nov 28 2016

Iceland_jack added a comment to D2761: added "instance Outputable SDoc".

I have also been tempted to add such a thing in the past. However, I ended up deciding against it since adding it would mean that the codebase may start growing superfluous ppr uses and we would have no way to catch them.

Nov 28 2016, 9:52 PM
Iceland_jack added a comment to D2761: added "instance Outputable SDoc".

What about Outputable for MatchGroup?

Nov 28 2016, 9:15 PM
Iceland_jack added a comment to D2761: added "instance Outputable SDoc".

Should InstanceSigs not be used in GHC (+ libraries)?

Nov 28 2016, 4:43 PM
Iceland_jack retitled D2761: added "instance Outputable SDoc" from to added "instance Outputable SDoc".
Nov 28 2016, 4:02 PM

Oct 20 2016

Iceland_jack added inline comments to D1891: Address #11471 by putting RuntimeRep in kinds..
Oct 20 2016, 4:23 AM
Iceland_jack added inline comments to D1891: Address #11471 by putting RuntimeRep in kinds..
Oct 20 2016, 4:17 AM

Oct 9 2016

Iceland_jack added a comment to D1559: Implement UnboxedSums.

I checked this out, it seems the parser doesn't allow a space to the right?

Oct 9 2016, 5:14 PM

Jul 28 2016

Iceland_jack added inline comments to rGHC7251d426b50c: Document Coercible in GHC.Types.
Jul 28 2016, 10:53 PM

Jul 14 2016

Iceland_jack added a comment to D2268: Added type family dependency to Data.Type.Bool.Not.

Thanks for reminding me of this ticket @RyanGlScott

Jul 14 2016, 1:43 PM
Iceland_jack updated the diff for D2268: Added type family dependency to Data.Type.Bool.Not.

Added changelog.

Jul 14 2016, 1:41 PM
Iceland_jack updated the diff for D2268: Added type family dependency to Data.Type.Bool.Not.

Added information on when Not was made injective.

Jul 14 2016, 11:09 AM

Jul 10 2016

Iceland_jack added inline comments to D2259: Implement unboxed sum primitive type.
Jul 10 2016, 5:49 PM
Iceland_jack added inline comments to D2259: Implement unboxed sum primitive type.
Jul 10 2016, 2:08 PM

Jul 8 2016

Iceland_jack added inline comments to rGHC7fd93c85d556: Add mkFunTy.
Jul 8 2016, 10:49 AM
Iceland_jack added inline comments to rGHC2c406cb3fc27: Render TYPE 'PtrRepLifted as *.
Jul 8 2016, 10:31 AM
Iceland_jack added inline comments to rGHCd8efe395953e: Implement withTypeable.
Jul 8 2016, 10:29 AM
Iceland_jack added inline comments to rGHCd8efe395953e: Implement withTypeable.
Jul 8 2016, 10:28 AM

May 27 2016

Iceland_jack added a comment to D2268: Added type family dependency to Data.Type.Bool.Not.

What are your comments on

May 27 2016, 3:04 AM

May 26 2016

Iceland_jack added a comment to D2268: Added type family dependency to Data.Type.Bool.Not.

These are other potential type family dependencies I found.

May 26 2016, 12:18 AM

May 25 2016

Iceland_jack updated the diff for D2268: Added type family dependency to Data.Type.Bool.Not.

Updated changelog.md.

May 25 2016, 10:58 PM
Iceland_jack added a comment to D2268: Added type family dependency to Data.Type.Bool.Not.

What do you think about

May 25 2016, 10:55 PM
Iceland_jack updated the diff for D2268: Added type family dependency to Data.Type.Bool.Not.

I don't like VC.

May 25 2016, 9:23 PM
Iceland_jack updated the diff for D2268: Added type family dependency to Data.Type.Bool.Not.

Squash

May 25 2016, 9:18 PM
Iceland_jack updated the diff for D2268: Added type family dependency to Data.Type.Bool.Not.

Fixed GHC range.

May 25 2016, 8:59 PM
Iceland_jack retitled D2268: Added type family dependency to Data.Type.Bool.Not from to Added type family dependency to Data.Type.Bool.Not, Trac #12057).
May 25 2016, 8:52 PM

May 14 2016

Iceland_jack retitled D2216: Visible kind application from getting started on #12045 to Visible kind application .
May 14 2016, 12:33 AM
Iceland_jack retitled D2216: Visible kind application from to getting started on #12045.
May 14 2016, 12:32 AM

Nov 14 2014

Iceland_jack added inline comments to D475: Add references between Data.Traversable.for and Data.Foldable.for_ and co..
Nov 14 2014, 12:35 PM · GHC
Iceland_jack updated the diff for D475: Add references between Data.Traversable.for and Data.Foldable.for_ and co..
Nov 14 2014, 12:15 PM · GHC

Nov 13 2014

Iceland_jack added a comment to D475: Add references between Data.Traversable.for and Data.Foldable.for_ and co..

The documentation says something akin to “Evaluate each monadic action in the structure from left to right, and ignore the results.” and I copied that, should “discard the result” be used instead?

Nov 13 2014, 4:45 PM · GHC
Iceland_jack updated the diff for D475: Add references between Data.Traversable.for and Data.Foldable.for_ and co..

doesn't ↦ does not

Nov 13 2014, 4:34 PM · GHC
Iceland_jack retitled D475: Add references between Data.Traversable.for and Data.Foldable.for_ and co. from to Add references between Data.Traversable.for and Data.Foldable.for_ and co..
Nov 13 2014, 1:56 PM · GHC

Sep 11 2014

Iceland_jack added a comment to D168: Implement Partial Type Signatures.

As per our conversation at ICFP, possible partial type signatures for type synonyms.

Sep 11 2014, 10:11 AM