Project

General

Profile

« Previous | Next » 

Revision 5538b7ac

Added by Xavier Thirioux about 11 years ago

Added declaration/definition of stateless/stateful nodes.
The 'function' keyword is for stateless nodes only,
the 'node' keyword is any kind of node.
Improves compilation and paves the way for more optimizations.

View differences:

src/parser_lustre.mly
46 46 
  try
47 47 
    match (Hashtbl.find hashtbl name).top_decl_desc, value.top_decl_desc with
48 48 
    | Node _        , ImportedNode _ when own
49 
                        ->
50 
       Hashtbl.add hashtbl name value
49 
                        -> ()
51 50 
    | ImportedNode _, _ ->
52 51 
       Hashtbl.add hashtbl name value
53 52 
    | Node _        , _ ->

Also available in: Unified diff