type secure IDE under Shen/tk

[dr.mt...@gmail.com]

This is taking form; snapshot below

(43+) (load "ide.shen")
(fn ide.myIDE) : (--> symbol)
(fn ide.settings) : (--> symbol)
(fn ide.compute-settings) : (button --> (button --> (button --> (button --> (entry --> (entry --> (entry --> (entry --> symbol))))))))
(fn ide.my-label) : (symbol --> (string --> label))
(fn ide.bg) : (--> tk.color)
(fn ide.fg) : (--> tk.color)
(fn ide.cb) : (symbol --> button)
(fn ide.toggle) : (button --> string)
(fn ide.rb) : (symbol --> (string --> ((lazy A) --> button)))
(fn ide.dummy) : (symbol --> label)
(fn ide.f-button) : (symbol --> (string --> button))
(fn ide.toggle-tc) : (--> boolean)
(fn ide.toggle-spy) : (--> boolean)
(fn ide.toggle-step) : (--> boolean)

run time: 0.015000343322753906 secs

M.

[dr.mt...@gmail.com]

typechecked in 39665 inferences

[dr.mt...@gmail.com]

Now reaching the end of development; 450 lines;  typechecked in 87841 inferences under S39.

Mark