liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Liberty-eiffel] Question about arrays


From: Germán Arias
Subject: Re: [Liberty-eiffel] Question about arrays
Date: Mon, 22 Sep 2014 22:33:37 -0600
User-agent: GNUMail (Version 1.2.1)

On 2014-09-22 19:36:10 -0600 Germán Arias <address@hidden> wrote:

> On internet I found this to create an array:
> 
>             create my_array.make (1, u)
> 
> But in Liberty examples I found:
> 
> {ARRAY[INTEGER_8] 1, << -1, -1, -1, 0, 1, 1, 1, 0 >> }
> 
> What mean the first 1?
> 
> Germán.
> 
> 

Oh, I suppose this is the lower bound, right?

Germán.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]