syndump: only text patterns

This commit is contained in:
Emery Hemingway 2023-08-25 20:11:24 +01:00
parent c08ed920b5
commit 3e5f791d70
1 changed files with 8 additions and 13 deletions

View File

@ -29,19 +29,14 @@ proc parsePattern(pr: Assertion): Pattern =
proc inputPattern: Pattern = proc inputPattern: Pattern =
var args = commandLineParams() var args = commandLineParams()
if args.len != 1: if args.len != 1 or args == @[""]:
quit "expected a single pattern argument" quit "expected a single pattern argument"
else: else:
var input = pop args var
if input == "": pr: Assertion
quit "expected Preserves Pattern on stdin" input = pop args
else:
var pr: Assertion
try: pr = decodePreserves(input, Cap)
except ValueError: discard
try: pr = parsePreserves(input, Cap) try: pr = parsePreserves(input, Cap)
except ValueError: discard except ValueError:
if pr.isFalse:
quit "failed to parse Preserves argument" quit "failed to parse Preserves argument"
result = parsePattern(pr) result = parsePattern(pr)