equal
deleted
inserted
replaced
41 structure Mirabelle : MIRABELLE = |
41 structure Mirabelle : MIRABELLE = |
42 struct |
42 struct |
43 |
43 |
44 (* Mirabelle configuration *) |
44 (* Mirabelle configuration *) |
45 |
45 |
46 val (logfile, setup1) = Attrib.config_string "mirabelle_logfile" "" |
46 val (logfile, setup1) = Attrib.config_string "mirabelle_logfile" (K "") |
47 val (timeout, setup2) = Attrib.config_int "mirabelle_timeout" 30 |
47 val (timeout, setup2) = Attrib.config_int "mirabelle_timeout" (K 30) |
48 val (start_line, setup3) = Attrib.config_int "mirabelle_start_line" 0 |
48 val (start_line, setup3) = Attrib.config_int "mirabelle_start_line" (K 0) |
49 val (end_line, setup4) = Attrib.config_int "mirabelle_end_line" ~1 |
49 val (end_line, setup4) = Attrib.config_int "mirabelle_end_line" (K ~1) |
50 |
50 |
51 val setup = setup1 #> setup2 #> setup3 #> setup4 |
51 val setup = setup1 #> setup2 #> setup3 #> setup4 |
52 |
52 |
53 |
53 |
54 (* Mirabelle core *) |
54 (* Mirabelle core *) |