<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>How about in unsafe code? Just untraced ref T?</div><div>TextLiteral: ok I guess not. Can always break them up and concat them...compiler could do that.</div><div><br></div><div><br></div><div>I'd like to have m3-sys/mklib just keep everything in memory. Less code & maybe faster.<br><br>Thanks,<br> - Jay</div><div><br>On Sep 3, 2013, at 1:12 PM, Tony Hosking <<a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a>> wrote:<br><br></div><blockquote type="cite"><div><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><base href="x-msg://26116/"><div><div>On Sep 3, 2013, at 1:50 PM, Jay K <<a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="hmmessage" style="font-size: 12pt; font-family: Calibri; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div dir="ltr">I think it isn't just TextLiteral.MaxBytes.<br><br><br>How do I declare an unbouned-ly sized array?<br></div></div></blockquote><div><br></div><div>Can’t do in M3. It’s not type safe.</div><br><blockquote type="cite"><div class="hmmessage" style="font-size: 12pt; font-family: Calibri; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div dir="ltr">At the end of a record?<br>Doesn't matter?<br><br><br>For TextLiteral.MaxBytes, are you ok then with a 512MB limit, even for 64bit?<br></div></div></blockquote><div><br></div><div>Can you really imagine typing a literal that is 512MB in length?</div><br><blockquote type="cite"><div class="hmmessage" style="font-size: 12pt; font-family: Calibri; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div dir="ltr"><br><br> - Jay<br><br><br><div><hr id="stopSpelling">From: <a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Tue, 3 Sep 2013 13:00:08 -0400<br>To: <a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>CC: <a href="mailto:m3devel@elegosoft.com">m3devel@elegosoft.com</a><br>Subject: Re: [M3devel] TextLiteral.MaxBytes -- use LONGINT or Target.Int more?<br><br>Yes, I want to avoid use of LONGINT in the compiler proper.<div>If you want to talk about target sized integer values in the front-end then yes, Target.Int is what you want, I suppose.</div><div>But I still don’t understand the precise use-case that you are proposing.</div><div>In the case of TextLiteral.MaxBytes why would 512 Mb ever be too small?</div><div>I cannot imaging a text literal that big, ever.<br><div><br><div><div>On Sep 3, 2013, at 12:55 PM, Jay K <<a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:</div><br class="ecxApple-interchange-newline"><blockquote><div class="ecxhmmessage" style="font-size: 12pt; font-family: Calibri; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; "><div dir="ltr">How do you suggest 32bit code deal with file sizes? And record/array offsets/sizes for 64bit targets?<br>double? That offers I think 53 bits, which is pretty good, but pesky floating point..<br>A library without infix notation?<br>C and C++ have been using __int64 and long long for this for going on 20 years.<br>And C++ has infix notation for arbitrary types.<br><br><br>I guess I will plumb Target.Int through?<br>I've started this before but it got tedious.<br><br><br> - Jay<br><br><div><hr id="ecxstopSpelling">CC:<span class="Apple-converted-space"> </span><a href="mailto:m3devel@elegosoft.com">m3devel@elegosoft.com</a><br>From:<span class="Apple-converted-space"> </span><a href="mailto:antony.hosking@gmail.com">antony.hosking@gmail.com</a><br>Subject: Re: [M3devel] TextLiteral.MaxBytes -- use LONGINT or Target.Int more?<br>Date: Tue, 3 Sep 2013 08:11:32 -0400<br>To:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br><br><div>Don't plumb LONGINT throughout. I still consider it an abomination.<br><br>Sent from my iPad</div><div><br>On Sep 3, 2013, at 1:53 AM, Jay K <<a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:<br><br></div><div></div><blockquote><div dir="ltr">I've complained about this before.<br><br><br>The frontend keeps track of things in bits in INTEGER.<br>Therefore TextLiteral.MaxBytes is around 512MB.<br><br><br>We could raise it for 64bit targets, but the 32bit cross compile to 64bits would fail.<br><br><br>Fixing this mostly but not entirely would be to plumb through LONGINT<br>"everywhere" instead of INTEGER.<br>We would still lose the sign bit and bits vs. bytes would lose us another 3 bits.<br>So we'd have a 60 bit limit instead of a 64bit limit.<br><br><br>Fixing it even more would require Target.Int.<br><br><br>Thoughts?<br><br><br>Is LONGINT safe to use now throughout cm3/m3front/m3middle/m3back?<br>Do we still require bootstrapping from LONGINT-less compilers?<br><br><br>Any lingering doubts as to its syntax and meaning?<br>I still think it should be named INT64.<br>Because in the future I want INT128 and I don't want LONGINT to grow in size.<br><br><br>Would it be considered adequate as a replacement for Target.Int?<br><br><br>If instead I plumb through Target.Int, any complaints?<br>Target.Int has the following advantages:<br> When we need INT128 in the future, it is a very very very simple and small change.<br> I already extended Target.Int from 64 bits to 72 bits.<br> It works with old frontends.<br><br><br>Target.Int has the following disadvantages:<br> no operator overloading so usage is cumbersome <span class="ecxApple-converted-space"> </span><br> slower<span class="ecxApple-converted-space"> </span><br> I still don't fully understand it, e.g. division<span class="ecxApple-converted-space"> </span><br><br><br><br> - Jay</div></blockquote></div></div></div></blockquote></div><br></div></div><br><br><div><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; font-size: medium; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; "><div style="word-wrap: break-word; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div style="word-wrap: break-word; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="ecxApple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div><font class="ecxApple-style-span" color="#0000FF"><font class="ecxApple-style-span" face="Gill Sans"><span class="ecxApple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; "><span class="ecxApple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; ">Antony Hosking</span></span></font></font><font class="ecxApple-style-span" face="Gill Sans"><span class="ecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxApple-converted-space"> </span>|<span class="ecxApple-converted-space"> </span></span></span><span class="ecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxApple-style-span" style="font-family: 'Gill Sans'; ">Associate Professor</span></span><span class="ecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxApple-style-span" style="font-family: 'Gill Sans'; "> | Computer Science | Purdue University</span></span></font></div><div><font class="ecxApple-style-span" face="GillSans-Light"><span class="ecxApple-style-span" style="font-family: GillSans-Light; ">305 N. University Street | West Lafayette | IN 47907 | USA</span></font></div><div><font class="ecxApple-style-span" color="#0000FF" face="Gill Sans"><span class="ecxApple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; "><span class="ecxApple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font class="ecxApple-style-span" face="GillSans-Light"><span class="ecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxApple-converted-space"> </span>+1 765 427 5484</span></span></font></div></span></span></span></span></span></span></span></span></div></span></div></span></span></div></div></div></div></blockquote></div><br></div></blockquote></body></html>