use a strongly typed int CharCount for character counts

1 files changed, 3 insertions, 3 deletions

diff --git a/src/file.cc b/src/file.cc
index ec6a4f67..936b6fb3 100644
--- a/src/file.cc
+++ b/src/file.cc
@@ -24,14 +24,14 @@ String parse_filename(const String& filename)
     if (filename.length() > 2 and filename[0] == '~' and filename[1] == '/')
         return parse_filename("$HOME/" + filename.substr(2));
 
-    size_t pos = 0;
+    CharCount pos = 0;
     String result;
-    for (size_t i = 0; i < filename.length(); ++i)
+    for (CharCount i = 0; i < filename.length(); ++i)
     {
         if (filename[i] == '$' and (i == 0 or filename[i-1] != '\\'))
         {
             result += filename.substr(pos, i - pos);
-            size_t end = i+1;
+            CharCount end = i+1;
             while (end != filename.length() and isidentifier(filename[end]))
                 ++end;
             String var_name = filename.substr(i+1, end - i - 1);