3195

1 files changed, 3 insertions, 0 deletions

diff --git a/087file.cc b/087file.cc
index 6e9cc4ad..6109fe26 100644
--- a/087file.cc
+++ b/087file.cc
@@ -2,6 +2,9 @@
 //:   '$open-file-for-reading' returns a FILE* as a number (ugh)
 //:   '$read-from-file' accepts a number, interprets it as a FILE* (double ugh) and reads a character from it
 //: Similarly for writing files.
+//: These interfaces are ugly and tied to the current (Linux) host Mu happens
+//: to be implemented atop. Later layers will wrap them with better, more
+//: testable interfaces.
 //:
 //: Clearly we don't care about performance or any of that so far.
 //: todo: reading/writing binary files