CurryInfo: exact-print-2.0.0 / Curry.Comment.readCommentsFile

 
readCommentsFile :: String -> IO [(Span, Comment)]
readCommentsFile filename = do
  filecontents <- readCommentsFileRaw filename
  if noComments filecontents
    then return []
    else return (readUnqualifiedTerm ["Curry.Span", "Curry.Position", "Curry.Comment"]
                                     filecontents)
 where 
  -- Checks if the `.cycom` file contains no comments (empty list). 
  -- This is true if the file contains nothing but whitespaces, 
  -- newlines, and brackets (string-representation of expression :: `[(Span, Comment)]`).
  --
  -- This check is necessary, unfortunately, because the parser fails for empty lists other 
  -- than "[]".
  noComments = all (`elem` "[ ]\n")

 no demanded arguments

 deterministic operation

 
| Reads the comments from a specified file

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_) |-> _}

 readCommentsFile

 no precedence defined

 _

 String -> Prelude.IO [(Curry.Span.Span, Comment)]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term