/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e

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

revision 69843 by martins, Fri Aug 3 00:37:18 2007 UTC revision 69844 by martins, Fri Aug 3 00:52:36 2007 UTC
# Line 1484  feature -- Implementation Line 1484  feature -- Implementation
1484                                                                          -- * It is called on a monomorphic type                                                                          -- * It is called on a monomorphic type
1485                                                                          --      Note: This includes `Current' and therefore `like Current' also                                                                          --      Note: This includes `Current' and therefore `like Current' also
1486                                                                          --        formals marked as frozen are ok                                                                          --        formals marked as frozen are ok
1487                                                                          if not l_last_constrained.conformance_type.is_monomorph then  
1488                                                                            if not l_last_constrained.conformance_type.is_monomorph and then not l_last_constrained.actual_type.is_like_current then
1489                                                                                  insert_vuar4_error (l_feature, l_parameters, l_last_id, i, l_last_constrained, l_arg_type, l_formal_arg_type)                                                                                  insert_vuar4_error (l_feature, l_parameters, l_last_id, i, l_last_constrained, l_arg_type, l_formal_arg_type)
1490                                                                          end                                                                          end
1491                                                          end                                                          end

Legend:
Removed from v.69843  
changed lines
  Added in v.69844

  ViewVC Help
Powered by ViewVC 1.1.23