From: Adrián Arroyo Calle Date: Fri, 15 Oct 2021 15:22:15 +0000 (+0200) Subject: Go back and accept only list of chars X-Git-Tag: v0.9.0~39^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=44dd9ae9fbfec7029597967b48825015cf50ab79;p=scryer-prolog.git Go back and accept only list of chars --- diff --git a/src/lib/os.pl b/src/lib/os.pl index b60a1a71..448b5f74 100644 --- a/src/lib/os.pl +++ b/src/lib/os.pl @@ -39,13 +39,9 @@ unsetenv(Key) :- shell(Command) :- shell(Command, 0). shell(Command, Status) :- - ( atom_si(Command) -> - atom_chars(Command, CommandChars) - ; Command = CommandChars - ), - must_be_chars(CommandChars), + must_be_chars(Command), can_be(integer, Status), - '$shell'(CommandChars, Status). + '$shell'(Command, Status). pid(PID) :- can_be(integer, PID),