HCoop
/
bpt
/
mlt.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add before, after, and exn config directives
[bpt/mlt.git]
/
src
/
config.sig
diff --git
a/src/config.sig
b/src/config.sig
index
57c0f86
..
e8e49bb
100644
(file)
--- a/
src/config.sig
+++ b/
src/config.sig
@@
-33,6
+33,9
@@
sig
val compiler : config -> string
val cm : config -> string list
val sml : config -> string
val compiler : config -> string
val cm : config -> string list
val sml : config -> string
+ val beforeT : config -> string option
+ val afterT : config -> string option
+ val exnT : config -> string option
val printFn : config -> string -> string option
end
\ No newline at end of file
val printFn : config -> string -> string option
end
\ No newline at end of file