A pretty quasi-bug gift for your anniversary

[Olso]

Hello ME,

Congratulations on your anniversary!

And here's a birthday gift in the form of a dainty quasi-bug:

  procedure Quasi_Bug;
    var b: boolean;
  begin
      b := true;
      if b and not then b := false;      // -> b = false, => "not " = true
  end;

Like what, the negation of an unsaid is always true...
Or how to solve the kripkenstein's problem unreservedly!

Have a good philosophical day,

Olso

[TurboProgger]

Code: Select all

if b and not then b := false;

This is wrong Pascal Syntax.

There must follow an argument right after the not statement, maybe in brackets.

I am wondering, why the compiler does accept this without telling a missing boolean variable...

Anyway, this is mikroPascal

[Olso]

Code: Select all

if b and not then b := false;

This is wrong Pascal Syntax.

And wrong for all well formed syntactic langage.

There must follow an argument right after the not statement, maybe in brackets.

Of course.

I am wondering, why the compiler does accept this without telling a missing boolean variable...

This is the question...

Anyway, this is mikroPascal

But if it's just that his only bug ( ), it is easily forgiven!