File.stat().

2016-01-01 09:58:44 -08:00
parent b054526df8
commit 5cd8a06fa0
11 changed files with 195 additions and 11 deletions
@@ -0,0 +1,3 @@
+import "io" for File
+
+File.size("nonexistent") // expect runtime error: no such file or directory