44 |
method setVerbosity : int-> unit |
method setVerbosity : int-> unit |
45 |
end |
end |
46 |
|
|
47 |
class environmentImpl: singleton = |
class environmentImpl: environment = |
48 |
object |
object |
49 |
val mutable _verbosity = 0 |
val mutable _verbosity = 0 |
50 |
val mutable _channel = stderr |
val mutable _channel = stderr |
54 |
|
|
55 |
let env : environment option ref = ref None |
let env : environment option ref = ref None |
56 |
|
|
57 |
let getInstance () : environment = |
let getEnv() : environment = |
58 |
match !env with |
match !env with |
59 |
None -> |
None -> |
60 |
let result = new environmentImpl |
let result = new environmentImpl |