- User Since
- Dec 24 2014, 9:33 AM (238 w, 5 d)
May 29 2019
May 10 2019
Mar 4 2019
Feb 25 2019
Mar 9 2018
Aug 2 2017
have -> has
mention qRunIO default implementation, qRunIO = liftIO
- Fix T9208
- TcSplice change
Mar 3 2017
Oh seems I forgot to remove them. Nice catch, thanks @RyanGlScott !
Feb 3 2017
Feb 1 2017
- Add changelog and notes entries
Jan 26 2017
Fix clasing uniques, add naturalToInteger to integer-simple part
@dfeuer yes, it will break: https://github.com/ekmett/reflection/blob/795bd225ef0008cfe25e14fbfbf705ed4c12396e/fast/Data/Reflection.hs#L199-L200 and also recently released Data.Constraint.Nat in constraints: http://hackage.haskell.org/package/constraints-0.9/docs/src/Data-Constraint-Nat.html but these are easy to fix.
Jan 12 2017
There was another [a,b] <- traverse f [c, d] in the code. Expanded all of them.
- Don't use traverse
Jan 10 2017
Jan 7 2017
Jan 5 2017
Update release notes
Nov 5 2016
@mpickering From my perspective, yes.
Oct 26 2016
- Add AppendSymbol injectivity tests
@yuv thanks for the reply. Now I see, I have to try to remove the inert rules to see how GHC would fail, and write this all up in the wiki. This is all very educating!
- Update T9181 output
- Add some Symbol concatenation tests
- Rename internals to AppendSymbol
- Use AppendSymbol name in base
@yav could you elaborate what "Test interactions with inerts" do?
Oct 23 2016
I'm not sure where to add tests (cannot find Nat tests anywhere, +, * aren't well greppable), but would be glad to add them.
Removed forgotten trace
Jun 22 2016
Jun 6 2016
Jan 30 2016
- Auto-derive Show Language
Jan 29 2016
Dec 25 2015
Mar 19 2015
- fixup! Fake (->) fixity declaration
Mar 9 2015
Feb 24 2015
nomeata, that was indeed a good "bonus".
Feb 22 2015
- Revert "Derive Data for Identity" (by hvr comment)
- Update tests
Jan 27 2015
Jan 16 2015
Should I rewrite the git history (squash "Correct other tests" and the revert commit)? I'm not sure how that would work with phabricator?
Jan 13 2015
- Revert 'Correct other tests'
Changes according to review comments by rwbarton