2010-04-23 53 views

回答

5

要從Standard Basis Library從標準輸入讀取使用TextIO.inputLine一條線,我想你可以做這樣的事情

TextIO.inputLine TextIO.stdIn 

澄清:這如果是在EOF

返回 string option類型,它是NONE
+1

您可能需要valOf結果,作爲TextIO.inputLine返回一個字符串的選擇。 – 2011-07-12 19:37:35

+0

@MartinTörnwall:對 – newacct 2011-07-13 10:39:30

5

我的代碼看起來是這樣的:

fun get infile = (TextIO.output(TextIO.stdOut, prompt) 
       ; TextIO.flushOut(TextIO.stdOut) 
       ; TextIO.inputLine infile 
       ) 

這將返回類型的值;通常是文件末尾的SOME l,但NONE