[lisaac-Bugs][311925] BOOLEAN can't be compared with ==

[lisaac-bugs at alioth.debian.org]

Bugs item #311925, was changed at 05/09/2009 16:01 by Benoit Sonntag
You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311925&group_id=100200

Status: Closed
Priority: 3
Submitted By: Mildred Ki'Lya (mildred-guest)
Assigned to: Nobody (None)
Summary: BOOLEAN can't be compared with == 
Target Milestone: Lisaac 0.4
Category: None


Initial Comment:
Example:

Section Header

  + name := TEST;

Section Public

  - main <-
  ( + b :BOOLEAN;
    (b == FALSE).if {
      "FALSE".println;
    } else {
      "TRUE".println;
    };
  );


Error:

Depending pass: ..--SEMANTIC---------
Invariance type argument invalid.
Line 90 column 34 in FALSE(/home/mildred/Projects/Lisaac/compiler-stable/lib/base/false.li):
  - Self:SELF '=='  Right 60 other:BOOLEAN :BOOLEAN <- ! other;
                                  ^

Line 109 column 34 in OBJECT(/home/mildred/Projects/Lisaac/compiler-stable/lib/kernel/object.li):
  - Self:SELF '=='  Right 60 other:SELF :BOOLEAN <- ( deferred; FALSE);
                                  ^


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

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