Dear all, I wrote following code:
https://github.com/metasepi/uemacs-bohai/blob/b39da70375f9c7e7d2f8bc0a34e39c4c8efaa958/DATS/utf8.dats#L63 ``` if (bytes' > 6 || bytes' > len + index) then 1U else let (* Ok, do the bytes *) val () = assertloc (index + bytes' <= len) // xxx Why need me? val value = loop2 (line, index, len, bytes', 1U, ($UN.cast{uint}{char} c) land (mask - 1U)) ``` The code already filter `bytes' > len + index` case, but needs `assertloc` to be compiled. Why need `assertloc` for already branched condition? Best regards, -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmnh2zw52Cth%3DTaJRU8psrJyzb3oX-Zytg%2BhMkc7EA1rA%40mail.gmail.com.
