Revision f6acf47b
Added by Pierre-Loïc Garoche about 9 years ago
src/global.ml | ||
---|---|---|
3 | 3 |
let basename = ref "" |
4 | 4 |
let main_node = ref "" |
5 | 5 |
|
6 |
|
|
6 | 7 |
module TypeEnv = |
7 | 8 |
struct |
8 | 9 |
let lookup_value ident = Env.lookup_value !type_env ident |
Also available in: Unified diff
Plugin based framework