Comment by beders

I'm missing something on the discussion of correctness for Linear types:

     let file: File := openFile("test.txt");
     writeString(file, "Hello, world!");
     g(file); 

If I have any other function 'g' that takes a File and returns Unit, wouldn't the compiler be ok with that. Now I have a dangling file pointer.