/[eiffelstudio]/branches/CAT_mono/Src/framework/parser/parser/eiffel.y
ViewVC logotype

Diff of /branches/CAT_mono/Src/framework/parser/parser/eiffel.y

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 1462  Assertion_clause: Expression ASemi Line 1462  Assertion_clause: Expression ASemi
1462    
1463  Type: Class_or_tuple_type  Type: Class_or_tuple_type
1464                          { $$ := $1 }                          { $$ := $1 }
1465            | TE_INVARIANT Class_or_tuple_type
1466                            {
1467                                    $$ := $2
1468                                    ast_factory.set_monomorph_type ($$, True, $1)
1469                            }
1470            | TE_FROZEN Class_or_tuple_type
1471                            {
1472                                    $$ := $2
1473                                    ast_factory.set_monomorph_type ($$, True, $1)
1474                            }
1475          |       Non_class_type          |       Non_class_type
1476                          { $$ := $1 }                          { $$ := $1 }
1477          ;          ;

Legend:
Removed from v.69649  
changed lines
  Added in v.69650

  ViewVC Help
Powered by ViewVC 1.1.23