tests/gtest-204.cs

   1 public class Map <b>
   2 {
   3      b x;
   4
   5     public a Fold1 <a> (a ini)
   6     {
   7       return ini;
   8     }
   9
  10     public c Fold<c> (c ini)
  11     {
  12        Fold1 <b> (x);
  13        return   ini;
  14     }
  15 }
  16
  17
  18 public class LocalContext
  19 {
  20     Map <string> locals = new Map <string> ();
  21
  22     public a Fold <a> (a acc)
  23     {
  24       return locals.Fold (acc);
  25     }
  26 }
  27
  28 class M {
  29   static void Main () {
  30      LocalContext x = new LocalContext ();
  31      x.Fold ("a" );
  32   }
  33 }