Project

General

Profile

« Previous | Next » 

Revision 566dbf49

Added by Pierre-Loïc Garoche almost 7 years ago

Added local inlining using the keyword (*! /inlining/:true *)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@426 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/parserLustreSpec.mly
73 73
%nonassoc UMINUS
74 74

  
75 75
%start lustre_annot
76
%type <LustreSpec.expr_annot> lustre_annot
76
%type <LustreSpec.ident -> LustreSpec.expr_annot> lustre_annot
77 77

  
78 78
%start lustre_spec
79 79
%type <LustreSpec.node_annot> lustre_spec
......
287 287
| STRING {Const_string $1}
288 288

  
289 289
lustre_annot:
290
lustre_annot_list EOF { $1 }
290
lustre_annot_list EOF { fun node_id -> $1 }
291 291

  
292 292
lustre_annot_list:
293 293
  { [] } 

Also available in: Unified diff