tools/demos/poly2.pcc

   1 //
   2 // This demonstrates the use of polymorphic datatypes parametrized
   3 // by more than one type parameters
   4 //
   5
   6 datatype Tree<a,b> = empty
   7                    | leaf(a)
   8                    | node(Tree<a,b>, b, Tree<a,b>)
   9                    ;
  10
  11 instantiate datatype Tree<int,const char *>, Tree<int,int>;
  12
  13 typedef Tree<int,const char *> MyTree;
  14
  15 MyTree t = node(leaf(1), "abcde", empty);