jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Forgot to remove the comments around static scoping for interfaces.

Browse source
This commit is contained in:
Léonard Gérard 2011-07-05 13:37:26 +02:00
parent b6aecf9869
commit 1c428e7fe1
2 changed files with 3 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/heptagon/main/hept_parser_scoper.ml
View file

@ -45,11 +45,8 @@ let parse_interface modname lexbuf =
(* Parsing of the file *)
let i = do_silent_pass "Parsing" (parse Hept_parser.interface) lexbuf in
(* TODO ?
let i = { i with Hept_parsetree.=i_modname = modname } in *)
(* Fuse static exps together *) (* TODO cf Hept_static_scoping *)
(*let i = do_silent_pass "Static Scoping" Hept_static_scoping.interface i in *)
(* Fuse static exps together *)
let i = do_silent_pass "Static Scoping" Hept_static_scoping.interface i in
(* Convert the parse tree to Heptagon AST *)
let i = do_silent_pass "Scoping" Hept_scoping.translate_interface i in

3
compiler/heptagon/parsing/hept_static_scoping.ml
View file

@ -73,10 +73,9 @@ let program p =
let p, _ = Hept_parsetree_mapfold.program_it funs Names.NamesSet.empty p in
p
(* (* TODO mapfold on interface *)
let interface i =
let funs = { Hept_parsetree_mapfold.defaults
with node_dec = node; exp = exp; const_dec = const_dec } in
let i, _ = Hept_parsetree_mapfold.interface_it funs Names.NamesSet.empty i in
i
*)