2011-07-07 Pierre Vittet * melt/warmelt-base.melt (register_pragma_handler ): new function.