git @ Cat's Eye Technologies Dieter / master eg / example7.dtr
master

Tree @master (Download .tar.gz)

example7.dtr @masterraw · history · blame

/* -*- encoding: utf-8 -*- */
/* check that only module x can bestow x qualifier on types */

module beefy fails /* because we can't bestow snarky here */
  procedure hit(input: int): snarky int
  begin
    return bestow snarky input
  end
end

module snarky
  procedure polymorph(value: t): t return value
end.