[m-dev.] io__write and arrays

Fergus Henderson fjh at cs.mu.oz.au
Fri Apr 11 17:23:21 AEST 1997


I wrote:

> Uh, actually you do have to specify the type.

Sorry, that was a bit of a false alarm.  That applies only if you don't
know the type at the time you are reading the data in, e.g. if you are
reading in a value of type `univ'.  In the normal case, the type for a
call to io__read can be determined from the code at compile time and
the data need not be be type-qualified.

So in the normal case, you could just write

 	[1,2,3]

whether this has type `list(int)' or `lazy_list(int)' will be
determined by the type in the call to io__read.
Similarly, for array in the normal case you don't need any type or module
qualifiers, and so you could write just

	array([1,2,3])

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list