ReadLine.dcl

   1 definition module ReadLine
   2
   3 /*
   4         Reads a line from stdin with the readline library
   5         The value in the String argument will be used as a prompt
   6         To enable history the Boolean variable has to be set to True
   7 */
   8 readLine :: !String !Bool !*env -> (!String, !*env)