--- ai05s/ai05-0149-1.txt 2010/07/08 02:52:17 1.11 +++ ai05s/ai05-0149-1.txt 2011/11/01 05:32:52 1.12 @@ -313,22 +313,16 @@ !corrigendum 8.6(29) -@drepl +@dinsa There is a @i<preference> for the primitive operators (and @fa<range>s) of the root numeric types @i<root_integer> and @i<root_real>. In particular, if two acceptable interpretations of a constituent of a complete context differ only in that one is for a primitive operator (or @fa<range>) of the type @i<root_integer> or @i<root_real>, and the other is not, the -interpretation using the primitive operator (or @i<range>) of the root +interpretation using the primitive operator (or @fa<range>) of the root numeric type is @i<preferred>. -@dby -There is a @i<preference> for the primitive operators (and @fa<range>s) of -the root numeric types @i<root_integer> and @i<root_real>. In particular, -if two acceptable interpretations of a constituent of a complete context -differ only in that one is for a primitive operator (or @fa<range>) of the -type @i<root_integer> or @i<root_real>, and the other is not, the -interpretation using the primitive operator (or @i<range>) of the root -numeric type is @i<preferred>. Similarly, there is a preference for the +@dinst +Similarly, there is a preference for the equality operators of the @i<universal_access> type (see 4.5.2). If two acceptable interpretations of a constituent of a complete context differ only in that one is for an equality operator of the

Questions? Ask the ACAA Technical Agent