[lisaac-Bugs][311040] First call in a function (Grammar Issue)

[lisaac-bugs at alioth.debian.org]

Bugs item #311040, was changed at 2008-09-04 12:24 by Mildred Ki'Lya
You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311040&group_id=100200

>Status: Closed
Priority: 3
Submitted By: Xavier Oswald  (xaviero-guest)
Assigned to: Benoit Sonntag (sonntag-guest)
Summary: First call in a function (Grammar Issue) 
Target Milestone: None


Initial Comment:
Lisaac segfault instead of detecting the TYPE error between FAST_ARRAY and FAST_ARRAY2.

Exemple of CODE:
----------------

Section Public

- iubpairs: FAST_ARRAY2[CHARACTER] := FAST_ARRAY[CHARACTER].create (7,2);

- init_iubpairs <-
(
iubpairs.put 'A' to (0,0); iubpairs.put 'T' to (0,1);
);

- main <-
( + line:STRING;

init_iubpairs;

IO.read_line;
{IO.end_of_input}.until_do {
line := IO.last_string;
line.append_character '\n';
line.print;
IO.read_line;
};

); 

----------------------------------------------------------------------

>Comment By: Mildred Ki'Lya (mildred-guest)
Date: 2009-09-04 16:03

Message:
Fixed in stable

The following code works:

Section Header

  + name := HELLO;

Section Public

  - iubpairs: FAST_ARRAY2(CHARACTER) := FAST_ARRAY(CHARACTER).create (7,2);

  - init_iubpairs <-
  (
    iubpairs.put 'A' to (0,0);
    iubpairs.put 'T' to (0,1);
  );

  - main <-
  ( + line:STRING;

    init_iubpairs;

    IO.read_line;
    {IO.end_of_input}.until_do {
      line := IO.last_string;
      line.append_character '\n';
      line.print;
      IO.read_line;
    };

  ); 

lisaac hello
Depending pass: ..--SEMANTIC---------
Incorrect vector size for #1 argument of `create' slot. (slot #1, call #2)
Line 62 column 20 in FAST_ARRAY(/home/mildred/Projects/Lisaac/lisaac-compiler.git/lib/collection/fast_array.li):
  - create new_count:INTEGER :SELF <-
                    ^

Line 6 column 73 in HELLO(/tmp/hello.li):
  - iubpairs: FAST_ARRAY2(CHARACTER) := FAST_ARRAY(CHARACTER).create (7,2);
                                                                         ^


----------------------------------------------------------------------

You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311040&group_id=100200