CurryInfo: dimacs-3.0.0 / Dimacs.Scanner.scan

scan :: String -> [Token]
scan str = case str of
    ""      -> [EOF]
    ('-':s) -> VarNot : scan s
    ('0':s) -> scan s           -- minisat puts a 0 at the end of the variables, z3 doesn't; ignore it
    ('s':' ':s) -> scan s           -- lingeling puts 's' at start of sat/unsat line
    ('v':' ':s) -> scan s           -- lingeling puts 'v' at start of solution line
    ('c':' ':s) -> scan $ tail $ dropWhile (\c -> c /= '\n') s
    _       -> scan' str
  where
    scan' :: String -> [Token]
    scan' "" = [EOF] -- should not be possible, but removes missing pattern warning
    scan' x@(c:cs) | isDigit c = scanNum x
                   | isAlpha c = scanKeyword x
                   | otherwise  = scan cs

argument 1

deterministic operation

<FAILING>

referentially transparent operation

no fixity defined

{({[]}) |-> {:} || ({:}) |-> _}

scan

no precedence defined

_

String -> [Token]

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term