[MLton] Signatures and def-use information
vesa.karvonen at cs.helsinki.fi
Fri Feb 9 08:15:06 PST 2007
While browsing SML code, I'd like to be able to jump not just to the
definition of a binding, but also to the specification(s) of the
binding when such exist. Also, being able to list all definitions of
a spec would also be nice. It seems like def-use processing is done
after type-checking, so it should not be impossible to also keep
the relevant information for linking definitions to specifications.
I haven't yet looked at the code to figure out how to do this.
Helpful pointers are welcome. :)
More information about the MLton