CurryInfo: smtlib-3.0.0 / Language.SMTLIB.Scanner.scan

 
scan :: String -> [Token]
scan ""     = []
scan s@(c:cs) = case c of
  '('                          -> LParen     : scan cs
  ')'                          -> RParen     : scan cs
  '!'                          -> Bang       : scan cs
  '_'                          -> Underscore : scan cs
  ':'                          -> Colon      : scan cs
  '"'                          -> DQuote     : scan cs
  ','                          -> Comma      : scan cs
  ';'                          -> scanLineCmt cs
  _ | isInt   c                -> scanInt s
    | isAlpha c || isSpecial c -> scanKWOrId s
    | isSpace c                -> scan cs
    | otherwise                -> error $ "Scanner.scan: Unexpected character "
                                     ++ [c] ++ "\nRemaining tokens: " ++ 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