[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.