Project

General

Profile

Revision 8446bf03 src/parser_lustre.mly

View differences:

src/parser_lustre.mly
11 11

  
12 12
%{
13 13
open Utils
14
open LustreSpec
14
open Lustre_types
15 15
open Corelang
16 16
open Dimension
17 17
open Parse
......
61 61
%token <string> IDENT
62 62
%token <string> UIDENT
63 63
%token TRUE FALSE
64
%token <LustreSpec.expr_annot> ANNOT
65
%token <LustreSpec.node_annot> NODESPEC
64
%token <Lustre_types.expr_annot> ANNOT
65
%token <Lustre_types.node_annot> NODESPEC
66 66
%token LBRACKET RBRACKET LCUR RCUR LPAR RPAR SCOL COL COMMA COLCOL 
67 67
%token AMPERAMPER BARBAR NOT POWER
68 68
%token IF THEN ELSE
......
106 106
%nonassoc LBRACKET
107 107

  
108 108
%start prog
109
%type <LustreSpec.top_decl list> prog
109
%type <Lustre_types.top_decl list> prog
110 110

  
111 111
%start header
112
%type <LustreSpec.top_decl list> header
112
%type <Lustre_types.top_decl list> header
113 113

  
114 114
%start lustre_annot
115
%type <LustreSpec.expr_annot> lustre_annot
115
%type <Lustre_types.expr_annot> lustre_annot
116 116

  
117 117
%start lustre_spec
118
%type <LustreSpec.node_annot> lustre_spec
118
%type <Lustre_types.node_annot> lustre_spec
119 119

  
120 120
%start signed_const
121
%type <LustreSpec.constant> signed_const
121
%type <Lustre_types.constant> signed_const
122 122

  
123 123
%start expr
124
%type <LustreSpec.expr> expr
124
%type <Lustre_types.expr> expr
125 125

  
126 126
%start stmt_list
127
%type <LustreSpec.statement list * LustreSpec.assert_t list * LustreSpec.expr_annot list > stmt_list
127
%type <Lustre_types.statement list * Lustre_types.assert_t list * Lustre_types.expr_annot list > stmt_list
128 128

  
129 129
%start vdecl_list
130
%type <LustreSpec.var_decl list> vdecl_list
130
%type <Lustre_types.var_decl list> vdecl_list
131 131
%%
132 132

  
133 133
module_ident:

Also available in: Unified diff