[lisaac-Bugs][312094] Cannot redefine generic slot ?

[lisaac-bugs at alioth.debian.org]

Bugs item #312094, was opened at 19/11/2009 17:03 by Damien Bouvarel
You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=312094&group_id=100200

Status: Open
Priority: 3
Submitted By: Damien Bouvarel (dams-guest)
Assigned to: Nobody (None)
Summary: Cannot redefine generic slot ? 
Target Milestone: None
Category: Lisaac Compiler


Initial Comment:
Invariance vs redefinition  

It used to compile ok on last compiler version. Is it a design choice or a bug ?


Section Header
  + name := FATHER(E);
Section Inherit
  - parent_object:OBJECT := OBJECT;
Section Public
  - make e:E <- ();


Section Header
  + name := SON;
Section Inherit
  + parent_father:Expanded FATHER(REAL);
Section Public
  - make r:REAL <- 
  (
       parent_father.make r;
       //...
  );

Output error:

Invariance name argument invalid. 

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

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