Re: Minutes of the September 8, 2003 ETF meeting

From: Michael McNamara (mac@verisity.com)
Date: Tue Sep 09 2003 - 16:02:36 PDT

  • Next message: alec@fintronic.com: "enhancement/466: Separate Compilation"

    Precedence: bulk

    -- On Sep 9 2003 at 08:50, Brad Pierce sent a message:
    > To: mac@verisity.com, etf@boyd.com
    > Subject: "Re: Minutes of the September 8, 2003 ETF meeting"
    > Mac,
    >
    > I think the proposal for 415 needs a revision by the VSG.
    >
    > >415: Shalom moved, James seconded; none opposed, none abstain; hence
    > > the motion passes.
    >
    > Although I still agree that constant_function_call can and ought to
    > be removed from module_path_primary and primary, I think that the
    > system_function_calls need to be retained.
    >
    > Only system_function_identifiers can start with a '$' and only
    > a system_function_call can include a system_function_identifier.
    >
    > -- Brad
    >
    >

    Actually the purpose of this motion was based on the assertion of fact
    that the function_call production in the BNF already includes
    constant_function_call and system_function_call, so it is redundant to
    include these items in again in the definition of a primary.

    If this isn't the case, then absolutely there is a revision needed.

    Shalom?

    This archive was generated by hypermail 2.1.4 : Tue Sep 09 2003 - 13:42:25 PDT and
    sponsored by Boyd Technology, Inc.