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

Renamed Scoping and Parsetree

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-05 16:05:43 +02:00
parent 7ed81a8950
commit 2fd0860ba8
5 changed files with 5 additions and 5 deletions

2
compiler/heptagon/main/heptcheck.ml
View file

@ -32,7 +32,7 @@ let check_implementation modname filename =
let p = parse_implementation lexbuf in
(* Convert the parse tree to Heptagon AST *)
let p = Scoping.translate_program p in
let p = Hept_scoping.translate_program p in
comment "Parsing";
pp p;

2
compiler/heptagon/parsing/hept_parser.mly
View file

@ -3,7 +3,7 @@
open Signature
open Location
open Names
open Parsetree
open Hept_parsetree
%}

0
compiler/heptagon/parsing/parsetree.ml → compiler/heptagon/parsing/hept_parsetree.ml
View file

2
compiler/heptagon/parsing/scoping.ml → compiler/heptagon/parsing/hept_scoping.ml
View file

@ -2,7 +2,7 @@
names by qualified names *)
open Location
open Parsetree
open Hept_parsetree
open Names
open Ident
open Format

4
compiler/main/heptc.ml
View file

@ -44,7 +44,7 @@ let compile_impl modname filename =
let p = parse_implementation lexbuf in
(* Convert the parse tree to Heptagon AST *)
let p = Scoping.translate_program p in
let p = Hept_scoping.translate_program p in
comment "Parsing";
pp p;
@ -68,7 +68,7 @@ let compile_impl modname filename =
comment "Translation into Obc";
Obc_printer.print obc o;
let pp = Obc.Printer.print stdout in
let pp = Obc_printer.print stdout in
if !verbose then pp o;
(* Translation into dataflow and sequential languages *)