[Gm2] Bug report.... offending code works outside of procedure, but inside - not.

[Dragiša Durić]

gm2 -fiso -c TestCase.mod
TestCase.mod:15:5: error: assignment designator 'where' of type 'Where'
is a variable and expression 'AlwaysTrue' of type 'BOOLEAN' are
incompatible

==================
MODULE TestCase;

PROCEDURE AlwaysTrue(): BOOLEAN;
  BEGIN
    RETURN TRUE;
  END AlwaysTrue;

TYPE
  Where = PROCEDURE (): BOOLEAN;

PROCEDURE DoIt();
  VAR
    where: Where;
  BEGIN
    where := AlwaysTrue;
  END DoIt;

END TestCase.

-- 
Dragiša Durić <address@hidden>