Re: [sv-bc] Built-in types are not packed arrays

From: Greg Jaxon <Greg.Jaxon@synopsys.com>
Date: Fri Sep 24 2004 - 14:36:43 PDT

>Would you agree that $dimensions(byte) == 1?

logic foo, bar;
foo = bar[0];

I'd even agree that $dimensions(logic) == infinity ;-)

In Trenchard More's array theory this is called the "ungrounded"
axiom system.

Happy language designing!

Greg Jaxon
Received on Fri Sep 24 14:36:46 2004

This archive was generated by hypermail 2.1.8 : Fri Sep 24 2004 - 14:36:49 PDT