CurryInfo: cdbi-3.2.0 / Database.ERD.readERDTermFile

definition: 
readERDTermFile :: String -> IO ERD
readERDTermFile termfilename = do
  putStrLn $ "Reading ERD term from file '" ++ termfilename ++ "'..."
  handle <- openFile termfilename ReadMode
  line <- skipCommentLines handle
  termstring <- hGetContents handle
  return (updateERDTerm (readUnqualifiedTerm ["Database.ERD","Prelude"]
                                             (unlines [line,termstring])))
 where
  skipCommentLines h = do
    line <- hGetLine h >>= return . dropWhile isSpace
    if null line || take 2 line == "--"
     then skipCommentLines h
     else if take 2 line == "{-" -- -}
          then skipBracketComment h (drop 2 line)
          else return line

  skipBracketComment h [] = hGetLine h >>= skipBracketComment h
  skipBracketComment h [_] = hGetLine h >>= skipBracketComment h
  skipBracketComment h (c1:c2:cs) =
   if c1=='-' && c2=='}' then return cs
                         else skipBracketComment h (c2:cs)
demand: 
no demanded arguments
deterministic: 
deterministic operation
documentation: 
--- Read an ERD specification from a file containing a single ERD term.
failfree: 
_
indeterministic: 
referentially transparent operation
infix: 
no fixity defined
iotype: 
{(_) |-> _}
name: 
readERDTermFile
precedence: 
no precedence defined
result-values: 
_
signature: 
String -> Prelude.IO ERD
solution-complete: 
operation might suspend on free variables
terminating: 
possibly non-terminating
totally-defined: 
possibly non-reducible on same data term