[ fix ] Attempt to fix the test case related to issue #250 on Windows

Author: banacorn

lib/js/src/Agda.bs.js

@@ -269,10 +269,6 @@ module OffsetConverter: OffsetConverter = {
     // length in code units (16 bits), not the actual code point length
     let lengthInCodeUnits = String.length(text)
 
-    Js.log("=== computeUTF16SurrogatePairIndices DEBUG START ===")
-    Js.log("Text to process:")
-    Js.log(text)
-    Js.log("Text length in code units: " ++ Int.toString(lengthInCodeUnits))
 
     // iterate through the text to find surrogate pairs
     let i = ref(0)
@@ -284,13 +280,9 @@ module OffsetConverter: OffsetConverter = {
       if charCode >= 0xD800 && (charCode <= 0xDBFF && notFinal) {
         // found the high surrogate, proceed to check the low surrogate
         let nextCharCode = text->String.charCodeAt(i.contents + 1)->int_of_float
-        Js.log(`High surrogate found at index ${Int.toString(i.contents)}: charCode=${Int.toString(charCode)}, nextCharCode=${Int.toString(nextCharCode)}`)
         if nextCharCode >= 0xDC00 && nextCharCode <= 0xDFFF {
           // store the index of this surrogate pair
           surrogatePairs->Array.push(i.contents)
-          Js.log(`Valid surrogate pair found at index ${Int.toString(i.contents)}`)
-        } else {
-          Js.log(`Invalid low surrogate: nextCharCode=${Int.toString(nextCharCode)} (expected 0xDC00-0xDFFF)`)
         }
         // increment by 2 because we have checked the presumably low surrogate char
         i := i.contents + 2
@@ -299,9 +291,6 @@ module OffsetConverter: OffsetConverter = {
       }
     }
 
-    Js.log("Final surrogate pairs array:")
-    Js.log(surrogatePairs)
-    Js.log("=== computeUTF16SurrogatePairIndices DEBUG END ===")
     surrogatePairs
   }
 
@@ -335,34 +324,26 @@ module OffsetConverter: OffsetConverter = {
     let crlfIndices = computeCRLFIndices(text)
 
     Js.log("=== OffsetConverter.make DEBUG ===")
-    Js.log("Creating OffsetConverter for text:")
-    Js.log(text)
-    Js.log("Surrogate pair indices:")
-    Js.log(surrogatePairIndices)
-    Js.log("CRLF indices:")
-    Js.log(crlfIndices)
+    Js.log(`Surrogate pair count: ${Int.toString(Array.length(surrogatePairIndices))}`)
+    Js.log(`CRLF count: ${Int.toString(Array.length(crlfIndices))}`)
 
     let result = {
       utf16indices: Indices.make(surrogatePairIndices),
       eolIndices: Indices.make(crlfIndices),
     }
 
-    Js.log("Created OffsetConverter")
     result
   }
 
   let convert = (self, offset) => {
-    Js.log(`=== OffsetConverter.convert DEBUG ===`)
-    Js.log(`Input offset: ${Int.toString(offset)}`)
-    
     // code point -> code unit
-    let offset = Indices.convert(self.utf16indices, offset)
-    Js.log(`After UTF-16 conversion: ${Int.toString(offset)}`)
-    
+    let afterUtf16 = Indices.convert(self.utf16indices, offset)
     // LF -> CRLF
-    let finalOffset = Indices.convert(self.eolIndices, offset)
-    Js.log(`After CRLF conversion: ${Int.toString(finalOffset)}`)
+    let final = Indices.convert(self.eolIndices, afterUtf16)
+    
+    // Log ALL offset conversions for complete debugging
+    Js.log(`CONVERT: ${Int.toString(offset)} → UTF-16: ${Int.toString(afterUtf16)} → CRLF: ${Int.toString(final)}`)
 
-    finalOffset
+    final
   }
 }