Solving #44 , tested on my machine
I worry that I could break something on other OSes now, so please check if the change is ok! 🥺
The normalizedFileName issue prevented even stepping into the main function. But then, the tokens were wrongly offset because of surrogate pairs. If I had the 𝕊 character inside my agda file it would break - have had it worked on Mac?
banacorn
commented
2 years ago
Solving #44 , tested on my machine I worry that I could break something on other OSes now, so please check if the change is ok! 🥺
The normalizedFileName issue prevented even stepping into the main function. But then, the tokens were wrongly offset because of surrogate pairs. If I had the 𝕊 character inside my agda file it would break - have had it worked on Mac?