util: don't expose presence of luaposix directly.

* lib/specl/util.lua (have_posix): Remove from export table.
* lib/specl/main.lua (have_posix): Remove import from specl.util.
(process_args): We've already diagnosed likely cause of empty
file list, no need to do it again here.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>

TODO.yaml

@@ -20,3 +20,4 @@ TODO:
       [[implied -> before: module = require "module"]]
 - report line numbers of pending and failed examples:
     it is quite likely libyaml will need patching to make this happen
+- add an lfs implementation of util.files if luaposix is not loadable

lib/specl/main.lua

@@ -25,8 +25,8 @@ local object, optparse = std.object, std.optparse
 local map = std.functional.map
 local slurp = std.io.slurp
 local clone, merge = std.table.clone, std.table.merge
-local deepcopy, files, gettimeofday, have_posix =
-  util.deepcopy, util.files, util.gettimeofday, util.have_posix
+local deepcopy, files, gettimeofday =
+  util.deepcopy, util.files, util.gettimeofday
 local optspec = version.optspec
 
 
@@ -80,11 +80,7 @@ end
 -- Process files and line filters specified on the command-line.
 local function process_args (self, parser)
   if #self.arg == 0 then
-    if have_posix then
-      return parser:opterr "could not find spec files in './specs/'"
-    else
-      return parser:opterr "install luaposix to autoload spec files from './specs/'"
-    end
+    return parser:opterr "could not find spec files in './specs/'"
   end
 
   for i, v in ipairs (self.arg) do

lib/specl/util.lua

@@ -177,7 +177,6 @@ local M = {
   examplename    = examplename,
   files          = files,
   gettimeofday   = gettimeofday,
-  have_posix     = have_posix,
   indent         = indent,
   nop            = nop,
   strip1st       = strip1st,