<div dir="ltr">On Monday, May 18, 2015 at 3:23:52 PM UTC+2, Richard Eisenberg wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div style="word-wrap:break-word"><br><div><div>On May 18, 2015, at 9:06 AM, "Nicholls, Mark" <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="YMp3shUQploJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">nichol...@vimn.com</a>> wrote:</div><br><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div><div style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:'Times New Roman',serif"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Hmmmm…</span></div><div style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:'Times New Roman',serif"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></div><div style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:'Times New Roman',serif"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">OK,</span></div><div style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:'Times New Roman',serif"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></div><div style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:'Times New Roman',serif"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Any idea of a timescale</span></div></div></div></blockquote><div><br></div><div>In ways that would be hard to predict, promoting all types is a fairly massive change to GHC. If I merge in August, I'll be quite pleased. But it really should be there by 7.12, which should occur by Feb/Mar '16.</div></div></div></blockquote><div><br></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div style="word-wrap: break-word;">On Monday, May 18, 2015 at 3:23:52 PM UTC+2, Richard Eisenberg wrote:<br><div><div>On May 18, 2015, at 9:06 AM, "Nicholls, Mark" <<a rel="nofollow" style="cursor: pointer;">nichol...@vimn.com</a>> wrote:</div><br><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; text-align: -webkit-auto;"><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);">Hmmmm…</span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);"> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);">OK,</span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);"> </span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);">Any idea of a timescale</span></div></div></blockquote><div><br></div><div>In ways that would be hard to predict, promoting all types is a fairly massive change to GHC. If I merge in August, I'll be quite pleased. But it really should be there by 7.12, which should occur by Feb/Mar '16.</div><div><br></div></div></div></blockquote><div><br></div><div>I'd love to hear the status on this. I found this email thread, through a Google search, because I'm experiencing the same error.</div><div><br></div><div>I have these tagged types that I want to make part of a Servant.Server.Internal.<wbr>Context map, which is a type-level map, that automagically pulls out the right type to supply whatever is needed. As a mere programmer, this is fairly awesome to me, but I can't get it to work because of the aforementioned error. Here's the code:</div><div><br></div><div><div>    {-# LANGUAGE DataKinds, TypeOperators #-}</div><div>    import qualified Data.Tagged as Tag</div><div>    import           Servant.Server.Internal.<wbr>Context (Context(EmptyContext, (:.)))</div><div><br></div><div>    type BtcConf        = Tag.Tagged "BTCConf" Word</div><div>    type SettlePeriod   = Tag.Tagged "Hours" Word</div><div>    type DustLimit      = Tag.Tagged "Dust" BitcoinAmount</div><div>    type ChanConf2 = BtcConf :. BitcoinAmount :. DustLimit :. Hours :. EmptyContext</div><div>    -- ERROR:</div><div>    --<span style="white-space: pre;">        </span>Data constructor ':.' comes from an un-promotable type 'Context'</div></div><div><br></div><div><br></div><div>            /Rune</div><div><br></div></div>