src/Pure/RAW/ml_compiler_parameters_polyml-5.6.ML
author wenzelm
Tue Jan 05 13:48:51 2016 +0100 (2016-01-05)
changeset 62058 1cfd5d604937
parent 61925 ab52f183f020
permissions -rw-r--r--
updated headers;
wenzelm@62058
     1
(*  Title:      Pure/RAW/ml_compiler_parameters_polyml-5.6.ML
wenzelm@60745
     2
    Author:     Makarius
wenzelm@60745
     3
wenzelm@61794
     4
Additional ML compiler parameters for Poly/ML 5.6, or later.
wenzelm@60745
     5
*)
wenzelm@60745
     6
wenzelm@60745
     7
structure ML_Compiler_Parameters: ML_COMPILER_PARAMETERS =
wenzelm@60745
     8
struct
wenzelm@60745
     9
wenzelm@60745
    10
fun debug b = [PolyML.Compiler.CPDebug b];
wenzelm@60745
    11
wenzelm@60745
    12
end;