RyanGlScott (Ryan Scott)
User

Projects

User does not belong to any projects.

User Details

User Since
Jan 8 2015, 11:07 PM (253 w, 3 d)

Recent Activity

Wed, Nov 13

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9a939a6cdfb2: Print name prefixly in the Outputable instance for StandaloneKindSig (authored by RyanGlScott).
Print name prefixly in the Outputable instance for StandaloneKindSig
Wed, Nov 13, 6:12 AM

Sat, Nov 9

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd7de0d81924c: template-haskell: Fix italics in changelog (authored by RyanGlScott).
template-haskell: Fix italics in changelog
Sat, Nov 9, 5:05 PM

Thu, Nov 7

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC708c60aa144e: Clean up TH's treatment of unary tuples (or, #16881 part two) (authored by RyanGlScott).
Clean up TH's treatment of unary tuples (or, #16881 part two)
Thu, Nov 7, 7:41 AM

Mon, Nov 4

RyanGlScott committed rGHCefe714d65f5a: Parenthesize GADT return types in pprIfaceConDecl (#17384) (authored by RyanGlScott).
Parenthesize GADT return types in pprIfaceConDecl (#17384)
Mon, Nov 4, 10:41 AM

Mon, Oct 28

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCcd9b94594440: Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154) (authored by RyanGlScott).
Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)
Mon, Oct 28, 8:26 AM

Sun, Oct 27

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCfa0d48094afb: Parenthesize nullary constraint tuples using sigPrec (#17403) (authored by RyanGlScott).
Parenthesize nullary constraint tuples using sigPrec (#17403)
Sun, Oct 27, 10:41 AM

Thu, Oct 24

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC243c72eb60fc: Mark promoted InfixT names as IsPromoted (#17394) (authored by RyanGlScott).
Mark promoted InfixT names as IsPromoted (#17394)
Thu, Oct 24, 5:44 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9de3f8b1382f: Make isTcLevPoly more conservative with newtypes (#17360) (authored by RyanGlScott).
Make isTcLevPoly more conservative with newtypes (#17360)
Thu, Oct 24, 5:39 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6824f29aebd2: Parenthesize GADT return types in pprIfaceConDecl (#17384) (authored by RyanGlScott).
Parenthesize GADT return types in pprIfaceConDecl (#17384)
Thu, Oct 24, 7:51 AM

Wed, Oct 23

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa19c7d17d75e: Reify oversaturated data family instances correctly (#17296) (authored by RyanGlScott).
Reify oversaturated data family instances correctly (#17296)
Wed, Oct 23, 12:21 PM

Oct 16 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCdeb96399444e: Make Coverage.TM a newtype (authored by RyanGlScott).
Make Coverage.TM a newtype
Oct 16 2019, 3:05 PM

Oct 15 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC426b0ddc7989: Don't skip validity checks for built-in classes (#17355) (authored by RyanGlScott).
Don't skip validity checks for built-in classes (#17355)
Oct 15 2019, 12:41 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa2d3594ca173: Refactor some cruft in TcDerivInfer.inferConstraints (authored by RyanGlScott).
Refactor some cruft in TcDerivInfer.inferConstraints
Oct 15 2019, 12:37 AM

Oct 14 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4aba72d62da2: Mention changes from #16980, #17213 in 8.10.1 release notes (authored by RyanGlScott).
Mention changes from #16980, #17213 in 8.10.1 release notes
Oct 14 2019, 7:44 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC78463fc5a238: Add docs/users_guide/.log to .gitignore (authored by RyanGlScott).
Add docs/users_guide/.log to .gitignore
Oct 14 2019, 7:39 AM

Oct 12 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0a338264054a: Use newDFunName for both manual and derived instances (#17339) (authored by RyanGlScott).
Use newDFunName for both manual and derived instances (#17339)
Oct 12 2019, 5:38 AM

Oct 9 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd584e3f08cfe: Use addUsedDataCons more judiciously in TcDeriv (#17324) (authored by RyanGlScott).
Use addUsedDataCons more judiciously in TcDeriv (#17324)
Oct 9 2019, 3:27 PM

Oct 8 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbf02c26402cf: Mark newtype constructors as used in the Coercible solver (#10347) (authored by RyanGlScott).
Mark newtype constructors as used in the Coercible solver (#10347)
Oct 8 2019, 12:31 PM

Oct 7 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCab945819821b: Refactor some cruft in TcGenGenerics (authored by RyanGlScott).
Refactor some cruft in TcGenGenerics
Oct 7 2019, 11:07 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC825c108bd26f: Only flatten up to type family arity in coreFlattenTyFamApp (#16995) (authored by RyanGlScott).
Only flatten up to type family arity in coreFlattenTyFamApp (#16995)
Oct 7 2019, 11:03 AM

Oct 3 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC60229e9ee23a: Merge TcTypeableValidity into TcTypeable, document treatment of casts (authored by RyanGlScott).
Merge TcTypeableValidity into TcTypeable, document treatment of casts
Oct 3 2019, 7:00 PM

Oct 1 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9c00217742c1: Refactor some cruft in TcDeriv (authored by RyanGlScott).
Refactor some cruft in TcDeriv
Oct 1 2019, 3:30 PM

Sep 26 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4f81fab062e5: Make -fbyte-code prevent unboxed tuples/sums from implying object code (#16876) (authored by RyanGlScott).
Make -fbyte-code prevent unboxed tuples/sums from implying object code (#16876)
Sep 26 2019, 1:10 PM

Sep 25 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC795986aaf33e: Remove unneeded CPP now that GHC 8.6 is the minimum (authored by RyanGlScott).
Remove unneeded CPP now that GHC 8.6 is the minimum
Sep 25 2019, 12:59 PM

Sep 9 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC270fbe8512f0: Replace queryCygwinTerminal with Win32's isMinTTYHandle (authored by RyanGlScott).
Replace queryCygwinTerminal with Win32's isMinTTYHandle
Sep 9 2019, 4:48 AM

Aug 28 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC137c24e1ae26: Balance parentheses in GHC 8.10.1 release notes (authored by RyanGlScott).
Balance parentheses in GHC 8.10.1 release notes
Aug 28 2019, 9:37 PM

Aug 18 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd071627932f6: Fix #17067 by making data family type constructors actually injective (authored by RyanGlScott).
Fix #17067 by making data family type constructors actually injective
Aug 18 2019, 4:22 AM

Aug 2 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC93bed40a0efd: Use injectiveVarsOfType to catch dodgy type family instance binders (#17008) (authored by RyanGlScott).
Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)
Aug 2 2019, 7:20 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1b9d32b8b8d5: Rip out 9-year-old pattern variable hack (#17007) (authored by RyanGlScott).
Rip out 9-year-old pattern variable hack (#17007)
Aug 2 2019, 7:20 AM

Jul 25 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC30b6f391801d: Banish reportFloatingViaTvs to the shadow realm (#15831, #16181) (authored by RyanGlScott).
Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)
Jul 25 2019, 11:57 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCcb495b3cb416: Make DefUses = OrdList DefUse (authored by RyanGlScott).
Make DefUses = OrdList DefUse
Jul 25 2019, 4:26 PM

Jul 19 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC257d1fd86e6e: Don't maintainer-clean libraries/ghc-boot/ghc.mk (#16953) (authored by RyanGlScott).
Don't maintainer-clean libraries/ghc-boot/ghc.mk (#16953)
Jul 19 2019, 5:12 PM

Jul 11 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb507acebdc3d: Don't typecheck too much (or too little) in DerivingVia (#16923) (authored by RyanGlScott).
Don't typecheck too much (or too little) in DerivingVia (#16923)
Jul 11 2019, 4:52 PM

Jul 5 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC62b82135a50b: More sensible SrcSpans for recursive pattern synonym errors (#16900) (authored by RyanGlScott).
More sensible SrcSpans for recursive pattern synonym errors (#16900)
Jul 5 2019, 6:13 AM

Jul 3 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa25f6f55eaca: Bump template-haskell version to 2.16.0.0 (authored by RyanGlScott).
Bump template-haskell version to 2.16.0.0
Jul 3 2019, 8:40 AM

Jun 23 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9bbcc3be5118: Refactor UnliftedNewtypes-relation kind signature validity checks (authored by RyanGlScott).
Refactor UnliftedNewtypes-relation kind signature validity checks
Jun 23 2019, 4:26 PM

Jun 15 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC25ee60cdae6d: Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862) (authored by RyanGlScott).
Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
Jun 15 2019, 10:38 PM

May 31 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC76e5889017ee: Fix space leaks in dynLoadObjs (#16708) (authored by RyanGlScott).
Fix space leaks in dynLoadObjs (#16708)
May 31 2019, 11:02 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC45f88494293b: Reject nested foralls in foreign imports (#16702) (authored by RyanGlScott).
Reject nested foralls in foreign imports (#16702)
May 31 2019, 11:02 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe32786dfc929: Put COMPLETE sigs into ModDetails with -fno-code (#16682) (authored by RyanGlScott).
Put COMPLETE sigs into ModDetails with -fno-code (#16682)
May 31 2019, 1:01 AM

May 23 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6eedbd83a19c: Some forall-related cleanup in deriving code (authored by RyanGlScott).
Some forall-related cleanup in deriving code
May 23 2019, 9:52 PM

May 22 2019

RyanGlScott committed rGHC334dd6da4732: Fix #16603 by documenting some important changes in changelogs (authored by RyanGlScott).
Fix #16603 by documenting some important changes in changelogs
May 22 2019, 6:57 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6efe04dee3f4: Use HsTyPats in associated type family defaults (authored by RyanGlScott).
Use HsTyPats in associated type family defaults
May 22 2019, 4:03 PM

May 21 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4a6c8436f974: Fix #16666 by parenthesizing contexts in Convert (authored by RyanGlScott).
Fix #16666 by parenthesizing contexts in Convert
May 21 2019, 4:26 PM

May 8 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC0eeb4cfad732: Fix #16632 by using the correct SrcSpan in checkTyClHdr (authored by RyanGlScott).
Fix #16632 by using the correct SrcSpan in checkTyClHdr
May 8 2019, 1:08 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC786e665b8dac: Fix #16603 by documenting some important changes in changelogs (authored by RyanGlScott).
Fix #16603 by documenting some important changes in changelogs
May 8 2019, 1:02 AM

May 7 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC78a5c4ce6bae: Check for duplicate variables in associated default equations (authored by RyanGlScott).
Check for duplicate variables in associated default equations
May 7 2019, 4:09 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC961979617a3b: Add /includes/dist to .gitignore (authored by RyanGlScott).
Add /includes/dist to .gitignore
May 7 2019, 5:43 AM

Apr 13 2019

RyanGlScott committed rGHC6e254ee34e2e: Bump hpc submodule (authored by RyanGlScott).
Bump hpc submodule
Apr 13 2019, 8:38 AM

Apr 9 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbe0dde8e3c27: Use ghc-prim < 0.7, not <= 0.6.1, as upper version bounds (authored by RyanGlScott).
Use ghc-prim < 0.7, not <= 0.6.1, as upper version bounds
Apr 9 2019, 10:30 PM

Apr 8 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCcf9e1837adc6: Bump hpc submodule (authored by RyanGlScott).
Bump hpc submodule
Apr 8 2019, 2:42 PM

Apr 6 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC33b0a291898b: Tweak error messages for narrowly-kinded assoc default decls (authored by RyanGlScott).
Tweak error messages for narrowly-kinded assoc default decls
Apr 6 2019, 11:47 AM
RyanGlScott committed rGHC86ce5718b18a: base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead (authored by hvr).
base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC3ab1b7868135: Update parallel submodule (authored by hvr).
Update parallel submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC460eec60da3c: Update directory submodule (authored by hvr).
Update directory submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHCdd26d4933fea: Update filepath submodule (authored by hvr).
Update filepath submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC94a576f39e05: Update hpc submodule (authored by hvr).
Update hpc submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC8cb38504823b: Update terminfo submodule (authored by hvr).
Update terminfo submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC47b1a718b0af: Update stm submodule (authored by hvr).
Update stm submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC950d45b9996f: Update process submodule (authored by hvr).
Update process submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHCab97500f0bcf: Update parsec submodule (authored by hvr).
Update parsec submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC9d228b7508e9: Update haskeline submodule (authored by hvr).
Update haskeline submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC48989b499214: Update deepseq submodule (authored by hvr).
Update deepseq submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC29e3898083fe: Update unix submodule (authored by hvr).
Update unix submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHC6ac90706be98: Update text submodule (authored by hvr).
Update text submodule
Apr 6 2019, 8:59 AM
RyanGlScott committed rGHCac12033a7a3a: Update binary submodule to latest master branch tip (authored by hvr).
Update binary submodule to latest master branch tip
Apr 6 2019, 8:59 AM

Apr 4 2019

RyanGlScott committed rGHCc0661417c9ba: Bump transformers to 0.5.6.2 (authored by bgamari).
Bump transformers to 0.5.6.2
Apr 4 2019, 3:44 PM
RyanGlScott committed rGHCd90dcd4ac41c: Bump array submodule (authored by RyanGlScott).
Bump array submodule
Apr 4 2019, 3:44 PM
RyanGlScott committed rGHCdb5a43a9511b: Correct duplicate 4.12.0.0 entry in base's changelog (authored by RyanGlScott).
Correct duplicate 4.12.0.0 entry in base's changelog
Apr 4 2019, 3:44 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC51fd357119b3: Use funPrec, not topPrec, to parenthesize GADT argument types (authored by RyanGlScott).
Use funPrec, not topPrec, to parenthesize GADT argument types
Apr 4 2019, 3:42 AM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC25c02ea172ef: Fix #16518 with some more kind-splitting smarts (authored by RyanGlScott).
Fix #16518 with some more kind-splitting smarts
Apr 4 2019, 3:35 AM

Apr 2 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC39282422afe5: Bump array submodule (authored by RyanGlScott).
Bump array submodule
Apr 2 2019, 3:54 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb9da28680aa7: Correct duplicate 4.12.0.0 entry in base's changelog (authored by RyanGlScott).
Correct duplicate 4.12.0.0 entry in base's changelog
Apr 2 2019, 3:53 PM

Mar 21 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1382d09efadc: Remove unused XArrApp and XArrForm extension points (authored by RyanGlScott).
Remove unused XArrApp and XArrForm extension points
Mar 21 2019, 12:03 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8d18a873c5d7: Reject nested predicates in impredicativity checking (authored by RyanGlScott).
Reject nested predicates in impredicativity checking
Mar 21 2019, 12:02 PM

Mar 15 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC610ec224a49e: Update Trac ticket URLs to point to GitLab (authored by RyanGlScott).
Update Trac ticket URLs to point to GitLab
Mar 15 2019, 2:10 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8162eab27101: Remove the GHCi debugger's panicking isUnliftedType check (authored by RyanGlScott).
Remove the GHCi debugger's panicking isUnliftedType check
Mar 15 2019, 2:10 PM

Mar 13 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC36546a43e490: Fix #16411 by making dataConCannotMatch aware of (~~) (authored by RyanGlScott).
Fix #16411 by making dataConCannotMatch aware of (~~)
Mar 13 2019, 6:44 PM

Mar 12 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4db9bdd91549: Add regression test for #16347 (authored by RyanGlScott).
Add regression test for #16347
Mar 12 2019, 9:59 AM

Mar 7 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC068b7e983f4a: Fix #16391 by using occCheckExpand in TcValidity (authored by RyanGlScott).
Fix #16391 by using occCheckExpand in TcValidity
Mar 7 2019, 7:45 PM

Mar 6 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC78dd04f9126d: Fix #16385 by appending _maybe to a use of lookupGlobalOcc (authored by RyanGlScott).
Fix #16385 by appending _maybe to a use of lookupGlobalOcc
Mar 6 2019, 3:51 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCdb039a4a10fc: Add regression test for #15918 (authored by RyanGlScott).
Add regression test for #15918
Mar 6 2019, 3:51 PM

Mar 4 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc26d299dc422: Visible dependent quantification (authored by RyanGlScott).
Visible dependent quantification
Mar 4 2019, 3:09 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCaa79f65c06fb: Bump ghc version to 8.9 (authored by RyanGlScott).
Bump ghc version to 8.9
Mar 4 2019, 1:07 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC012257c15f58: Fix #16293 by cleaning up Proxy# infelicities (authored by RyanGlScott).
Fix #16293 by cleaning up Proxy# infelicities
Mar 4 2019, 1:06 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8b476d822e97: Fix #16299 by deleting incorrect code from IfaceSyn (authored by RyanGlScott).
Fix #16299 by deleting incorrect code from IfaceSyn
Mar 4 2019, 1:06 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc07e7ecbdfc0: Fix #16287 by checking for more unsaturated synonym arguments (authored by RyanGlScott).
Fix #16287 by checking for more unsaturated synonym arguments
Mar 4 2019, 1:05 PM
RyanGlScott committed rGHCe88e083d6238: Fix #14579 by defining tyConAppNeedsKindSig, and using it (authored by RyanGlScott).
Fix #14579 by defining tyConAppNeedsKindSig, and using it
Mar 4 2019, 1:05 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCf0cd728fde9b: Reject oversaturated VKAs in type family equations (authored by RyanGlScott).
Reject oversaturated VKAs in type family equations
Mar 4 2019, 1:05 PM
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb1e569a54085: Use sigPrec in more places in Convert and HsUtils (authored by RyanGlScott).
Use sigPrec in more places in Convert and HsUtils
Mar 4 2019, 1:03 PM

Feb 14 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

@dfeuer is correct. (You'll notice that if you comment out the deriving stock instance Eq (Foo LiftedRep) part of the program, then it compiles, as it should.)

Feb 14 2019, 12:40 PM

Feb 10 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

While I'm in the neighborhood, I decided to file Trac #16300 about https://phabricator.haskell.org/D4777#151772, since there is also a path forward to fixing that bug independently of this patch.

Feb 10 2019, 9:28 AM
RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

This patch also exposes a dark corner in :info:

Feb 10 2019, 9:11 AM

Feb 9 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

UnliftedNewtypes have a mildly unpleasant interaction with Template Haskell reification:

Feb 9 2019, 2:47 PM

Feb 8 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

I'm not sure if this should count as a bug or not, but you also can't use record selectors with levity polymorphic fields:

Feb 8 2019, 8:11 AM

Feb 7 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

Another ticket to file after this patch lands: it seems that the symptoms of Trac #15883 aren't completely cured by this patch. In particular, this still panics:

Feb 7 2019, 9:25 PM
RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

Also, since it looks like most of the in-depth reviewing has quiesced, it would be worth migrating this patch over to GitLab, as it'll need to exist in MR format in order to be merged anyway.

Feb 7 2019, 7:21 PM

Feb 6 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

I certainly don't have any more feedback to give on the patch itself (@goldfire and @simonpj might).

Feb 6 2019, 12:03 PM

Jan 25 2019

RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

On second thought, I think my comments in https://phabricator.haskell.org/D4777#151665 might be null and void, since kind-changing newtypes actually appear to be quite bogus. At the very least, permitting them allows me to write the following program, which segfaults:

Jan 25 2019, 9:01 PM
RyanGlScott added a comment to D4777: Implement the Unlifted Newtypes proposal.

I've been trying out this patch recently, and one thing keeps nagging me at the back of my mind: should Coercible be heterogeneously kinded? The reason I ask is that the UnliftedNewtypes extension lets you define "kind-changing" newtypes like this one:

Jan 25 2019, 8:30 PM