src/Pure/Isar/attrib.ML
changeset 36000 5560b2437789
parent 35998 6b8f789554ae
child 36002 f4f343500249
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun Mar 28 16:29:51 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sun Mar 28 16:13:29 2010 +0200
     1.3 @@ -36,12 +36,12 @@
     1.4    val multi_thm: thm list context_parser
     1.5    val print_configs: Proof.context -> unit
     1.6    val internal: (morphism -> attribute) -> src
     1.7 -  val config_bool: bstring -> bool -> bool Config.T * (theory -> theory)
     1.8 -  val config_int: bstring -> int -> int Config.T * (theory -> theory)
     1.9 -  val config_string: bstring -> string -> string Config.T * (theory -> theory)
    1.10 -  val config_bool_global: bstring -> bool -> bool Config.T * (theory -> theory)
    1.11 -  val config_int_global: bstring -> int -> int Config.T * (theory -> theory)
    1.12 -  val config_string_global: bstring -> string -> string Config.T * (theory -> theory)
    1.13 +  val config_bool: bstring -> (Proof.context -> bool) -> bool Config.T * (theory -> theory)
    1.14 +  val config_int: bstring -> (Proof.context -> int) -> int Config.T * (theory -> theory)
    1.15 +  val config_string: bstring -> (Proof.context -> string) -> string Config.T * (theory -> theory)
    1.16 +  val config_bool_global: bstring -> (Proof.context -> bool) -> bool Config.T * (theory -> theory)
    1.17 +  val config_int_global: bstring -> (Proof.context -> int) -> int Config.T * (theory -> theory)
    1.18 +  val config_string_global: bstring -> (Proof.context -> string) -> string Config.T * (theory -> theory)
    1.19  end;
    1.20  
    1.21  structure Attrib: ATTRIB =
    1.22 @@ -373,7 +373,7 @@
    1.23  
    1.24  fun declare_config make coerce global name default =
    1.25    let
    1.26 -    val config_value = Config.declare global name (make default);
    1.27 +    val config_value = Config.declare global name (make o default);
    1.28      val config = coerce config_value;
    1.29    in (config, register_config config_value) end;
    1.30