
<html><head></head><body style="zoom: 0%;"><div dir="auto">Hi,<br><br></div>

<div dir="auto">You can use cstringLength# which has a constant-folding rules for literals. That's what we use in GHC to build FastString literals.<br><br></div>

<div class="gmail_quote" >Le 24 août 2021, à 06:34, Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org" target="_blank">ietf-dane@dukhovni.org</a>> a écrit:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<pre class="blue"><br>Is there any GHC syntax for constructing a primitive string literal with a known (not hand coded) byte count?<br>With `"some bytes"#` I get just the `Addr#` pointer, but not the size.<br><br>If there's nothing available, would it be reasonable to introduce a new syntax?<br>Perhaps:<br><br> "some bytes"## :: (# Addr#, Int# #)<br></pre></blockquote></div></body></html>