[MLton] Re: New mGTK pre-release

[Henry Cejtin]

I  completely  agree  that  for  a final program it is much nicer to have the
glade result included in the code instead  of  needing  to  have  a  separate
.glade  file.  I would imagine the dynamic loading to be useful mainly during
development.

Any way, perhaps you are right and getting the type  checking  would  be  too
hard with the dynamic loading, although I was thinking that you could express
enough in the datatype that it would still be  done,  although  at  run  time
(when the .glad file was read).