2015-11-18 06:14:39 +00:00
|
|
|
require 'general/misc/prompt' NB. in older versions of J this was: require'misc'
|
2013-04-10 21:29:02 -07:00
|
|
|
showMenu =: i.@# smoutput@,&":&> ' '&,&.>
|
|
|
|
|
makeMsg =: 'Choose a number 0..' , ': ',~ ":@<:@#
|
|
|
|
|
errorMsg =: [ smoutput bind 'Please choose a valid number!'
|
|
|
|
|
|
|
|
|
|
select=: ({::~ _&".@prompt@(makeMsg [ showMenu)) :: ($:@errorMsg)
|
