<div dir="ltr"><div>+1 for the first two phase of the original proposal. I always wished it was not a type alias.<br><br></div>No strong opinion of phase 3, I have propabaly never run into sophisticated enough issues to fully get the picture... but I doubt we'll be able to craft an ideal cross-platform API, I like what is in spirit in the original proposal.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 29 June 2015 at 11:27, David Turner <span dir="ltr"><<a href="mailto:dct25-561bs@mythic-beasts.com" target="_blank">dct25-561bs@mythic-beasts.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">One tiny amendment to a comment(!) in the non-normative(!) code in Phase 3:<div><br></div><div><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="font-weight:bold">data</span> <span style="color:rgb(68,85,136);font-weight:bold">WindowsFilePath</span> <span style="font-weight:bold">=</span> <span style="color:rgb(68,85,136);font-weight:bold">WFP</span> <span style="color:rgb(68,85,136);font-weight:bold">ByteArray</span><span style="font-weight:bold">#</span> <span style="color:rgb(153,153,136);font-style:italic">-- UTF16 data</span></pre></div><div><br></div><div>If a Windows file path is valid UTF-16 then it is displayed as such in the GUI, but if not it's still a legal file path. It really is just <font face="monospace, monospace">wchar_t[]</font> data:</div><div><br></div><div><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal"><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="font-weight:bold">data</span> <span style="color:rgb(68,85,136);font-weight:bold">WindowsFilePath</span> <span style="font-weight:bold">=</span> <span style="color:rgb(68,85,136);font-weight:bold">WFP</span> <span style="color:rgb(68,85,136);font-weight:bold">ByteArray</span><span style="font-weight:bold">#</span> <span style="color:rgb(153,153,136);font-style:italic">-- wchar_t[] data as passed to syscalls</span></pre><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal"><br></span></pre><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal">This seems to be the source of some confusion.</span></pre><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal"><br></span></pre><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal">Cheers,</span></pre><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal"><br></span></pre><pre style="font-size:13px;margin-top:0px;margin-bottom:0px;overflow:auto;color:rgb(0,0,0);background-image:initial;background-repeat:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal">David </span><br></pre><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;white-space:normal"><br></span></div></div></pre></div></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On 26 June 2015 at 17:08, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<br>
Hello *,<br>
<br>
What?<br>
=====<br>
<br>
We (see From: & CC: headers) propose, plain and simple, to turn the<br>
currently defined type-synonym<br>
<br>
  type FilePath = String<br>
<br>
into an abstract/opaque data type instead.<br>
<br>
Why/How/When?<br>
=============<br>
<br>
For details (including motivation and a suggested transition scheme)<br>
please consult<br>
<br>
  <a href="https://ghc.haskell.org/trac/ghc/wiki/Proposal/AbstractFilePath" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Proposal/AbstractFilePath</a><br>
<br>
<br>
<br>
Suggested discussion period: 4 weeks<br>
-----BEGIN PGP SIGNATURE-----<br>
Version: GnuPG v1<br>
<br>
iQIcBAEBAgAGBQJVjXkZAAoJELo8uj/+IrV0WXUP/0romoKazwLbQpaMAKgCNZon<br>
BsY8Di44w6rkbdBXoky0xZooII8LJJyQfexH0BLRYEVLZFy0+LB8XzpPt8Ekg526<br>
YlY4x0qFm9oiJbJDMqHUnb6z6Lr2KxzBcV37drTPbltUA+HB49DUVkkPbvHimpL2<br>
28SIyhAr4fN6fLpGcFAkv6Rcs0mkvnTp7vsC0HNyshmGi6qQ+C+eB4mklQzWOPcn<br>
koHZ2wtI8AJmyTdHKcXKAIFM0r+xl4MJ5445IvDjvIuGXZCzybXMw9Ss/4wSG3VN<br>
qSIJVEDGZXrBCc12fPxPEB0Bqx9MIVytjplXKIo8rFrk93h3at9t9kDM26z+9PZ5<br>
KYnEdjRKF4KL4j+3xqJDOEJT15GVRbGRRzb9A8xH0YIQ0S3Q3pt1PAfla1Hss75+<br>
NRQgfowZYryL9dfCkAj2XNfdQ+pUk25N3bNig11se+zjk2JO77QRM0u3GOYZ9+CU<br>
tSlwhtIMF32xnjgQyWE5yBBiEg3/Y+S+809tVaPseUEzkQJXMGq5TFxBrN6bj1Vm<br>
awr6QghThKjeoRwky5bmFn/gept/lbYN6VV5B6gNznGP5xgFrmvVtmjbQJBRMYCv<br>
aEUnrYqxkkbIddJjD5gl771/LWH4M2F1yBgJjfiZw2paEVAXKxEr327LsbOQaPdb<br>
HjIPRrJbVK9AABo4AZ/Y<br>
=lg0o<br>
-----END PGP SIGNATURE-----<br>
_______________________________________________<br></div></div><span class="">
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</span></blockquote></div><br></div>
<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><b>Λ\ois</b></div><div><div><a href="http://twitter.com/aloiscochard" target="_blank">http://twitter.com/aloiscochard</a></div><div><a href="http://github.com/aloiscochard" target="_blank">http://github.com/aloiscochard</a></div></div></div></div>
</div>