src/Pure/RAW/ml_compiler_parameters.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;
     1 (*  Title:      Pure/RAW/ml_compiler_parameters.ML
     2     Author:     Makarius
     3 
     4 Additional ML compiler parameters for Poly/ML.
     5 *)
     6 
     7 signature ML_COMPILER_PARAMETERS =
     8 sig
     9   val debug: bool -> PolyML.Compiler.compilerParameters list
    10 end;
    11 
    12 structure ML_Compiler_Parameters: ML_COMPILER_PARAMETERS =
    13 struct
    14 
    15 fun debug _ = [];
    16 
    17 end;