View of /sml/trunk/CVSNOTES

* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON)): just compare the conreps because types may differ (?)
(inlineWitness): ugly hack used to figure out if inlining happened,
in order to decide whether to keep the inline bit or not (in cfun).