src/Pure/ML-Systems/ml_compiler_parameters_polyml-5.6.ML

discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6;

(*  Title:      Pure/ML/ml_compiler_parameters_polyml-5.6.ML
    Author:     Makarius

Additional ML compiler parameters for Poly/ML 5.6, or later.
*)

structure ML_Compiler_Parameters: ML_COMPILER_PARAMETERS =
struct

fun debug b = [PolyML.Compiler.CPDebug b];

end;