В коде приведённом ниже есть есть функции empty и init. В init производится попытка вызова функции init из модуля echo (как это происходит в шелле). В случае если раскоментирован блок

#fp:= empty;

или любой из if (0) включен, вызов не срабатывает:

link typecheck Echo->empty() 0/9cd71c5e
echo: link typecheck Echo->empty() 0/9cd71c5e

Очевидно, что вместо init вызывается empty, которого в модуле echo нет.

implement Sh93;

include "sys.m";
  sys: Sys;

include "draw.m";

Sh93: module
{
  init: fn(ctxt: ref Draw->Context, argv: list of string);
};

SomeT: adt {
  f: ref fn();
};

empty() {
  sys->print("empty\n");
}

init(ctxt: ref Draw->Context, argv: list of string)
{
  sys = load Sys Sys->PATH;

  #fp:= empty;

  if (0)
  {
    st:= ref SomeT;
    st.f = empty;
    st.f();
  }

  file := "echo.dis";

  args : list of string;
  args = "\"test\"" :: args;
  args = "echo" :: args;
  
  c := load Sh93 file;
  if(c == nil) {
    err := sys->sprint("%r");
    if(err != "permission denied" && err != "access permission denied" && file[0]!='/' && file[0:2]!="./"){
      c = load Sh93 "/dis/"+file;
      if(c == nil) {
        err = sys->sprint("%r");
      }
    }
    if(c == nil) {
      sys->print("%s: %s\n", "echo", err);
      return;
    }
  }
  
  c->init(ctxt, args);

  if (0)
  {
    st:= ref SomeT;
    st.f = empty;
    st.f();
  }
}