MLton 20051202 ImplementSuffix
Home  Index  
ImplementSuffix is a pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.

Description

This pass implements the TopLevel_setSuffix primitive, which installs a function to exit the program.

Implementation

[WWW]implement-suffix.sig [WWW]implement-suffix.fun

Details and Notes

ImplementSuffix works by introducing a new ref cell to contain the function of type unit -> unit that should be called on program exit.


Last edited on 2005-12-02 04:20:49 by StephenWeeks.