<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Your idea is a good one. To add to Iavor's mention about Cryptol, Agda uses both positional and named parameters, and they seem to have a good time with it.<div class=""><br class=""></div><div class="">To be honest, if I could go back in time, I would think much harder about the decision to do ordered parameters in GHC. I'm very sympathetic to this direction of travel, but unsure about the costs (code breakage, etc.) of doing so.</div><div class=""><br class=""></div><div class="">Do comment on the proposal thread, Anselm! :) We need motivated people like you to keep those conversations going.</div><div class=""><br class=""></div><div class="">Richard</div><div class=""><br class=""></div><div class="">PS: And, yes, I believe everyone here is on a casual, first-name basis.</div><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 4, 2020, at 2:37 PM, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" class="">allbery.b@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">It's represented the same way but handled differently; my point, though, was more about it being consistent with the rest of the language, which is less about how the compiler handles it than about how it looks to the programmer. In this case, _ is consistently used to mean a wildcard of some kind, even though it has to be handled by the compiler in multiple places including TypeApplications and PartialTypeSignatures (others include patterns, typed holes, and let bindings as an extension of simple patterns).</div><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div class="gmail_quote" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div dir="ltr" class="gmail_attr">On Tue, Aug 4, 2020 at 2:27 PM Anselm Schüler (conversations subemail) <<a href="mailto:conversation@anselmschueler.com" class="">conversation@anselmschueler.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;"><div lang="EN-US" class=""><div class="gmail-m_-8616215242945498618WordSection1"><p class="MsoNormal">That’s true, but type wildcards without<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">PartialTypeSignatures</span><span class="Apple-converted-space"> </span>throw an error, while this doesn’t need that (which suggests that they’re represented differently internally — I don’t know, of course). Also, there are other drawbacks discussed in the ghc-proposals Proposal<span class="Apple-converted-space"> </span><a href="https://github.com/ghc-proposals/ghc-proposals/pull/196" target="_blank" class="">0042-named-type-args</a><span class="Apple-converted-space"> </span>that was mentioned by<span class="Apple-converted-space"> </span><a href="mailto:vladislav@serokell.io" target="_blank" class="">Vladislav Zavialov</a>. Which is, I think, it seems, where the discussion should take place (?).<u class=""></u><u class=""></u></p><p class="MsoNormal"><u class=""></u> <u class=""></u></p><p class="MsoNormal"><i class="">Anselm Schüler<u class=""></u><u class=""></u></i></p><p class="MsoNormal"><a href="http://www.anselmschueler.com/" target="_blank" class=""><i class=""><span style="color: rgb(68, 114, 196);" class="">www.anselmschueler.com</span></i></a><u class=""></u><u class=""></u></p><p class="MsoNormal"><a href="mailto:mail@anselmschueler.com" target="_blank" class=""><i class=""><span style="color: rgb(68, 114, 196);" class="">mail@anselmschueler.com</span></i></a><i class=""><span style="color: rgb(68, 114, 196);" class=""><u class=""></u><u class=""></u></span></i></p><p class="MsoNormal"><u class=""></u> <u class=""></u></p><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><p class="MsoNormal" style="border: none; padding: 0in;"><b class="">From:<span class="Apple-converted-space"> </span></b><a href="mailto:allbery.b@gmail.com" target="_blank" class="">Brandon Allbery</a><br class=""><b class="">Sent:<span class="Apple-converted-space"> </span></b>Tuesday, August 4, 2020 20:16<br class=""><b class="">To:<span class="Apple-converted-space"> </span></b><a href="mailto:conversation@anselmschueler.com" target="_blank" class="">Anselm Schüler (conversations subemail)</a><br class=""><b class="">Cc:<span class="Apple-converted-space"> </span></b><a href="mailto:goemansrowan@gmail.com" target="_blank" class="">Rowan Goemans</a>;<span class="Apple-converted-space"> </span><a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a><br class=""><b class="">Subject:<span class="Apple-converted-space"> </span></b>Re: AW: RE: Hi. I'm new to this mailing list and have a few questions.</p></div><p class="MsoNormal"><u class=""></u> <u class=""></u></p><div class=""><p class="MsoNormal">_ already has the meaning of a type wildcard (generalized from its use as a wildcard in patterns), so this</p><div class=""><p class="MsoNormal">is consistent with its use in other type signatures. The problem I see with your proposal is that it assumes</p></div><div class=""><p class="MsoNormal">you know the names of the type variables in the original declaration.</p></div></div><p class="MsoNormal"><u class=""></u> <u class=""></u></p><div class=""><div class=""><p class="MsoNormal">On Tue, Aug 4, 2020 at 2:12 PM Anselm Schüler (conversations subemail) <<a href="mailto:conversation@anselmschueler.com" target="_blank" class="">conversation@anselmschueler.com</a>> wrote:</p></div><blockquote style="border-style: none none none solid; border-left-width: 1pt; border-left-color: rgb(204, 204, 204); padding: 0in 0in 0in 6pt; margin: 5pt 0in 5pt 4.8pt;" class=""><div class=""><div class=""><p class="MsoNormal" style="margin-left: 9.6pt;">And also, it’s really weird and seems like a feature that should be removed IMO. It kind of looks like the type variable<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">_</span><span class="Apple-converted-space"> </span>is always in-scope, and it’s unclear if the type of the resulting function is just type variables without an explicit forall or if<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">_</span><span class="Apple-converted-space"> </span>has a special meaning.</p><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 9.6pt;"><i class="">Anselm Schüler</i></p><p class="MsoNormal" style="margin-left: 9.6pt;"><i class=""><span style="color: rgb(68, 114, 196);" class=""><a href="http://www.anselmschueler.com/" target="_blank" class=""><span style="color: rgb(68, 114, 196);" class="">www.anselmschueler.com</span></a></span></i></p><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><p class="MsoNormal" style="margin-left: 9.6pt;"><b class="">From:<span class="Apple-converted-space"> </span></b><a href="mailto:conversation@anselmschueler.com" target="_blank" class="">Anselm Schüler (conversations subemail)</a><br class=""><b class="">Sent:<span class="Apple-converted-space"> </span></b>Tuesday, August 4, 2020 20:09<br class=""><b class="">To:<span class="Apple-converted-space"> </span></b><a href="mailto:goemansrowan@gmail.com" target="_blank" class="">Rowan Goemans</a>;<span class="Apple-converted-space"> </span><a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a><br class=""><b class="">Subject:<span class="Apple-converted-space"> </span></b>RE: AW: RE: Hi. I'm new to this mailing list and have a few questions.</p></div><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 9.6pt;">True, but this makes the type less readable since<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">id @_ :: _ -> _</span><span style="font-family: "Calibri Light", sans-serif;" class="">.</span></p><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 9.6pt;"><i class="">Anselm Schüler</i></p><p class="MsoNormal" style="margin-left: 9.6pt;"><i class=""><span style="color: rgb(68, 114, 196);" class=""><a href="http://www.anselmschueler.com/" target="_blank" class=""><span style="color: rgb(68, 114, 196);" class="">www.anselmschueler.com</span></a></span></i></p><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><p class="MsoNormal" style="margin-left: 9.6pt;"><b class="">From:<span class="Apple-converted-space"> </span></b><a href="mailto:goemansrowan@gmail.com" target="_blank" class="">Rowan Goemans</a><br class=""><b class="">Sent:<span class="Apple-converted-space"> </span></b>Tuesday, August 4, 2020 19:59<br class=""><b class="">To:<span class="Apple-converted-space"> </span></b><a href="mailto:ghc-devs@haskellorg" target="_blank" class="">ghc-devs@haskell.org</a><br class=""><b class="">Subject:<span class="Apple-converted-space"> </span></b>Re: AW: RE: Hi. I'm new to this mailing list and have a few questions.</p></div><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="">Just as a heads up. You can achieve what you want already by doing:</p><p class=""><tt class=""><span style="font-size: 10pt;" class="">f @_ @([String])<span class="Apple-converted-space"> </span><i class=""><span style="color: rgb(118, 113, 113);" class="">:: forall a. (a, [String]) -> ([String], a</span></i></span></tt><i class=""><span style="font-size: 13.5pt; font-family: "IBM Plex Mono", serif; color: rgb(118, 113, 113);" class="">)<span class="Apple-converted-space"> </span></span></i></p><p class="">Best regards,</p><p class="">Rowan Goemans</p><p class="">On 8/4/20 7:45 PM, Anselm Schüler (conversations subemail) wrote:</p><blockquote style="margin-top: 5pt; margin-bottom: 5pt;" class=""><p class="MsoNormal" style="margin-left: 81.6pt;">Thank you for the nice introduction :) !</p><p class="MsoNormal" style="margin-left: 81.6pt;">I will check out the GHC proposals site.</p><p class="MsoNormal" style="margin-left: 81.6pt;">And following Simon’s (I hope addressing with first name is OK) suggestion, I’m going to give an outline of the idea.</p><div style="margin-left: 81.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 81.6pt;">The idea is to extend type application syntax to enable explicit assignment of types to specific type variables.</p><p class="MsoNormal" style="margin-left: 81.6pt;">For instance, say I have<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">f :: forall a b. (a, b) -> (b, a)</span>, and I want to apply the type<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">[String]</span><span style="font-family: "Calibri Light", sans-serif;" class=""><span class="Apple-converted-space"> </span>to it. My only option is to do</span></p><p class="MsoNormal" style="margin-left: 81.6pt;"><span style="font-family: "IBM Plex Mono", serif;" class="">f @([String])<span class="Apple-converted-space"> </span><i class=""><span style="color: rgb(118, 113, 113);" class="">:: forall b. ([String], b) -> (b, [String])<span class="Apple-converted-space"> </span></span></i></span></p><p class="MsoNormal" style="margin-left: 81.6pt;">—but what if, instead, I want a function of type<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">forall a. (a, [String]) -> ([String], a)</span>?</p><p class="MsoNormal" style="margin-left: 81.6pt;">I propose the following syntax:</p><p class="MsoNormal" style="margin-left: 81.6pt;"><span style="font-family: "IBM Plex Mono", serif;" class="">f @{b = [String]}<span class="Apple-converted-space"> </span><i class=""><span style="color: rgb(118, 113, 113);" class="">:: forall a. ([String], b) -> (b, [String])</span></i></span></p><p class="MsoNormal" style="margin-left: 81.6pt;">This wouldn’t break any existing programs since using record syntax here is already disallowed and met with an error message.</p><p class="MsoNormal" style="margin-left: 81.6pt;">A question is of course the symbol used for assignment (<span style="font-family: "IBM Plex Mono", serif;" class="">~</span>,<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">=</span>,<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">::</span>, or<span class="Apple-converted-space"> </span><span style="font-family: "IBM Plex Mono", serif;" class="">-></span>?).</p><div style="margin-left: 81.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 81.6pt;">I hope the code shows up as a monospace font on your end. I used the IBM Plex Mono font, which is<span class="Apple-converted-space"> </span><a href="https://github.com/IBM/plex" target="_blank" class="">open-source</a>.</p><div style="margin-left: 81.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 81.6pt;"><i class="">Anselm Schüler</i></p><p class="MsoNormal" style="margin-left: 81.6pt;"><i class=""><span style="color: rgb(68, 114, 196);" class=""><a href="http://www.anselmschueler.com/" target="_blank" class=""><span style="color: rgb(68, 114, 196);" class="">wwwanselmschueler.com</span></a></span></i></p><p class="MsoNormal" style="margin-left: 81.6pt;"><i class=""><span style="color: rgb(68, 114, 196);" class=""><a href="mailto:mail@anselmschueler.com" target="_blank" class=""><span style="color: rgb(68, 114, 196);" class="">mail@anselmschueler.com</span></a></span></i></p><div style="margin-left: 81.6pt;" class=""> <br class="webkit-block-placeholder"></div><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><p class="MsoNormal" style="margin-left: 81.6pt;"><b class="">From:<span class="Apple-converted-space"> </span></b><a href="mailto:simonpj@microsoft.com" target="_blank" class="">Simon Peyton Jones</a><br class=""><b class="">Sent:<span class="Apple-converted-space"> </span></b>Tuesday, August 4, 2020 18:44<br class=""><b class="">To:<span class="Apple-converted-space"> </span></b><a href="mailto:rae@richarde.dev" target="_blank" class="">Richard Eisenberg</a>;<span class="Apple-converted-space"> </span><a href="mailto:conversation@anselmschueler.com" target="_blank" class="">"Anselm Schüler (conversations subemail)"</a><br class=""><b class="">Cc:<span class="Apple-converted-space"> </span></b><a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a><br class=""><b class="">Subject:<span class="Apple-converted-space"> </span></b>RE: Hi. I'm new to this mailing list and have a few questions.</p></div><div style="margin-left: 81.6pt;" class=""> <br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 81.6pt;"><span lang="EN-GB" class="">Welcome Anselm ghc-devs is a very informal mailing list, and we welcome newcomers.</span></p><div style="margin-left: 81.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 189.6pt;"><span lang="EN-GB" class="">For example, I have a feature idea in the back of my mind, which I imagine would be easy to implement</span></p><div style="margin-left: 81.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 81.6pt;"><span lang="EN-GB" class="">What Richard says is right, but you should feel free to fly the kite on this list if you want – or on Haskell Café – to get some idea of whether others seem warm about the idea, before writing a full proposal. <span class="Apple-converted-space"> </span></span></p><div style="margin-left: 81.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 81.6pt;"><span lang="EN-GB" class="">Simon</span></p><div style="margin-left: 81.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><div style="border-style: none none none solid; border-left-width: 1.5pt; border-left-color: blue; padding: 0in 0in 0in 4pt;" class=""><div class=""><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><p class="MsoNormal" style="margin-left: 153.6pt;"><b class="">From:</b><span class="Apple-converted-space"> </span>ghc-devs<span class="Apple-converted-space"> </span><a href="mailto:ghc-devs-bounces@haskell.org" target="_blank" class=""><ghc-devs-bounces@haskellorg></a><span class="Apple-converted-space"> </span><b class="">On Behalf Of<span class="Apple-converted-space"> </span></b>Richard Eisenberg<br class=""><b class="">Sent:</b><span class="Apple-converted-space"> </span>04 August 2020 16:05<br class=""><b class="">To:</b><span class="Apple-converted-space"> </span>"Anselm Schüler (conversations subemail)"<span class="Apple-converted-space"> </span><a href="mailto:conversation@anselmschueler.com" target="_blank" class=""><conversation@anselmschuelercom></a><br class=""><b class="">Cc:</b><span class="Apple-converted-space"> </span><a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a><br class=""><b class="">Subject:</b><span class="Apple-converted-space"> </span>Re: Hi. I'm new to this mailing list and have a few questions.</p></div></div><div style="margin-left: 153.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-left: 153.6pt;"><span lang="EN-GB" class="">Hi Anselm,</span></p><div class=""><div style="margin-left: 153.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 153.6pt;"><span lang="EN-GB" class="">Welcome!</span></p></div><div class=""><div style="margin-left: 153.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 153.6pt;"><span lang="EN-GB" class="">A good way of getting used to a list like this one is to wait a little while and observe what kind of messages others send; this will give you a feel for how the list is used. If you're impatient, you can also check out the archives at <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fpipermail%2Fghc-devs%2F&data=02%7C01%7Csimonpj%40microsoft.com%7Ce68e6131af494519061c08d83887d962%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637321503404154244&sdata=w4QIMTGeMQ35bEo4xkOn2rIj8z02iMVje4Ar9AXM22k%3D&reserved=0" target="_blank" class="">https://mail.haskell.org/pipermail/ghc-devs/</a>.</span></p></div><div class=""><div style="margin-left: 153.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 153.6pt;"><span lang="EN-GB" class="">As for a feature request: if your feature changes the language GHC accepts (most do), the right place to post is at <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals&data=02%7C01%7Csimonpj%40microsoft.com%7Ce68e6131af494519061c08d83887d962%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637321503404164244&sdata=ogVVk5kRFXPc81dZ%2FiyGV9FbgQoQUtzazpFGcrAKUXA%3D&reserved=0" target="_blank" class="">https://githubcom/ghc-proposals/ghc-proposals</a>. There is a description of how to proceed on that page. Proposals submitted there get debated within the community and then eventually sent to a GHC Steering Committee for a vote on acceptance or rejection. Then, we worry about implementing it. If you have a suggestion that does not change the language GHC accepts, you can post an Issue at <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.haskell.org%2Fghc%2Fghc%2F&data=02%7C01%7Csimonpj%40microsoft.com%7Ce68e6131af494519061c08d83887d962%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637321503404164244&sdata=tg40q%2B9%2BW5KcVzHsPx9oCP7wdw5ipdZCOOdFnzUz3mU%3D&reserved=0" target="_blank" class="">https://gitlab.haskell.org/ghc/ghc/</a>.</span></p></div><div class=""><div style="margin-left: 153.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 153.6pt;"><span lang="EN-GB" class="">I hope this is helpful!</span></p></div><div class=""><p class="MsoNormal" style="margin-left: 1536pt;"><span lang="EN-GB" class="">Richard</span></p></div><div class=""><div class=""><div style="margin-bottom: 12pt; margin-left: 153.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><blockquote style="margin-top: 5pt; margin-bottom: 500pt;" class=""><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" class="">On Aug 4, 2020, at 8:59 AM, Anselm Schüler (conversations subemail) <<a href="mailto:conversation@anselmschueler.com" target="_blank" class="">conversation@anselmschueler.com</a>> wrote:</span></p></div><div style="margin-left: 333.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><div class=""><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" class="">First of all, in general, I’m new to mailing lists (as used for discussions) in general, so a question about that:</span></p></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" class="">When subscribed to the mailing list, do you get<span class="gmail-m_-8616215242945498618gmail-m6468933952147526455apple-converted-space"> </span><i class="">every</i><span class="gmail-m_-8616215242945498618gmail-m6468933952147526455apple-converted-space"> </span>message, or are some discussions hidden?</span></p></div><div class=""><div style="margin-left: 333.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" class="">Second of all, I’d like to know what kinds of messages are appropriate here. I’m not familiar with coding compilers or anything of the like, so I’m somewhat afraid of offering unhelpful comments or being just woefully underqualified to participate here.</span></p></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" class="">For example, I have a feature idea in the back of my mind, which I imagine would be easy to implement (that might be wrong). Is it alright if I submit that here or should I use some other forum?</span></p></div><div class=""><div style="margin-left: 333.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" class="">Thank you in advance for the answers.</span></p></div><div class=""><div style="margin-left: 333.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><i class=""><span lang="EN-GB" class="">Anselm Schüler</span></i></p></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><i class=""><span lang="EN-GB" style="color: rgb(68, 114, 196);" class=""><a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.anselmschueler.com%2F&data=02%7C01%7Csimonpj%40microsoft.com%7Ce68e6131af494519061c08d83887d962%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637321503404164244&sdata=WJBJ3P%2BFUnTmVs9Z97DHLat9mHr6vC22l0mQ36nafGc%3D&reserved=0" target="_blank" class=""><span style="color: rgb(68, 114, 196);" class="">www.anselmschueler.com</span></a></span></i></p></div><div class=""><p class="MsoNormal" style="margin-left: 333.6pt;"><i class=""><span lang="EN-GB" style="color: rgb(68, 114, 196);" class=""><a href="mailto:mail@anselmschueler.com" target="_blank" class=""><span style="color: rgb(68, 114, 196);" class="">mail@anselmschueler.com</span></a></span></i></p></div><p class="MsoNormal" style="margin-left: 333.6pt;"><span lang="EN-GB" style="font-size: 9pt; font-family: Helvetica, sans-serif;" class="">_______________________________________________<br class="">ghc-devs mailing list<br class=""></span><span lang="EN-GB" class=""><a href="mailto:ghc-devs@haskell.org" target="_blank" class=""><span style="font-size: 90pt; font-family: Helvetica, sans-serif;" class="">ghc-devs@haskell.org</span></a></span><span lang="EN-GB" style="font-size: 9pt; font-family: Helvetica, sans-serif;" class=""><br class=""></span><span lang="EN-GB" class=""><a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=02%7C01%7Csimonpj%40microsoft.com%7Ce68e6131af494519061c08d83887d962%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637321503404174237&sdata=9y99aKPjfvm7WIH5Xv9JDlN7TIXdVPJZF%2BvAgbUvBUU%3D&reserved=0" target="_blank" class=""><span style="font-size: 9pt; font-family: Helvetica, sans-serif;" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</span></a></span></p></div></blockquote></div></div></div><div style="margin-left: 81.6pt;" class=""><span lang="EN-GB" class=""> </span><br class="webkit-block-placeholder"></div><div style="margin-left: 816pt;" class=""> <br class="webkit-block-placeholder"></div><div style="margin-bottom: 120pt; margin-left: 81.6pt;" class=""> <br class="webkit-block-placeholder"></div><pre class="">_______________________________________________</pre><pre class="">ghc-devs mailing list</pre><pre class=""><a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a></pre></blockquote><pre style="margin-right: 0.5in; margin-bottom: 5pt; margin-left: 0.5in;" class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a></pre><div style="margin-left: 9.6pt;" class=""><span style="font-size: 10pt; font-family: "Courier New";" class=""> </span><br class="webkit-block-placeholder"></div><div style="margin-left: 9.6pt;" class=""> <br class="webkit-block-placeholder"></div></div></div><p class="MsoNormal" style="margin-left: 9.6pt;">_______________________________________________<br class="">ghc-devs mailing list<br class=""><a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a><br class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a></p></blockquote></div><p class="MsoNormal"><br clear="all" class=""></p><div class=""><p class="MsoNormal"><u class=""></u> <u class=""></u></p></div><p class="MsoNormal">--</p><div class=""><div class=""><div class=""><div class=""><div class=""><p class="MsoNormal">brandon s allbery kf8nh</p></div></div></div></div></div><p class="MsoNormal"><a href="mailto:allbery.b@gmail.com" target="_blank" class="">allbery.b@gmail.com</a></p><p class="MsoNormal"><u class=""></u> <u class=""></u></p></div></div></blockquote></div><br clear="all" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class=""></div><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">--<span class="Apple-converted-space"> </span></span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div dir="ltr" class="gmail_signature" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div dir="ltr" class=""><div class=""><div dir="ltr" class=""><div class="">brandon s allbery kf8nh</div><div class=""><a href="mailto:allbery.b@gmail.com" target="_blank" class="">allbery.b@gmail.com</a></div></div></div></div></div><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">_______________________________________________</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">ghc-devs mailing list</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><a href="mailto:ghc-devs@haskell.org" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">ghc-devs@haskell.org</a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a></div></blockquote></div><br class=""></div></body></html>