[sv-bc] Type of integer literals

From: Gordon Vreugdenhil <gordonv@model.com>
Date: Mon Jan 24 2005 - 06:55:42 PST

I noticed something the other day that should be considered for
clarification. In 1364-2001 (and -2500 draft), a simple integer
literal (i.e. 42) is an "integer". This makes sense since there
are no 2 state values. 1800 doesn't address whether simple
integer literals should be of type "int" or "integer" but
perhaps should be explicit about intent. In most 1364 contexts it
is difficult to have any user-noticeable impact, but given the
existence of "$typeof" and type parameters, it is now quite easy
to construct realistic scenarios where the difference is in fact
important. There are also edge cases even in 1364 expressions, such
as $display(1/0), in which the difference can be observed.

Gordon

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil,  Staff Engineer               503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com
Received on Mon Jan 24 06:55:50 2005

This archive was generated by hypermail 2.1.8 : Mon Jan 24 2005 - 06:56:20 PST