Patch title: Release 85 bulk changes
Abstract:
File: /pliant/language/compiler/function/generic.page
Key:
    Removed line
    Added line
   
title "Generic functions"



  listing
    module "/pliant/language/compiler.pli"
title "Generic functions"



  listing
    module "/pliant/language/compiler.pli"
  listing
 
    type Number
      void
    Number maybe Int
    Number maybe Intn
    Number maybe Float
    type Number
      void
    Number maybe Int
    Number maybe Intn
    Number maybe Float
  listing

    method n show -> s
      arg Number n ; arg Str s
      generic
      s := "?"
    method n show -> s
      arg Number n ; arg Str s
      generic
      s := "?"
  listing

    method i show -> s
      arg Int i ; arg Str s
      s := string i
    method i show -> s
      arg Int i ; arg Str s
      s := string i
  listing

    gvar Link:Int i :> new Int
    i := 5
    gvar Link:Number n :> i
    console n:show eol


  [As expressed at the beginning of this document, for each 
  para
    [Several generic types may share the same index for virt
  [So if no instance types of a generic type is shared with 
  [Generic level 0 is used for the 'Universal' (any type whi
    gvar Link:Int i :> new Int
    i := 5
    gvar Link:Number n :> i
    console n:show eol


  [As expressed at the beginning of this document, for each 
  para
    [Several generic types may share the same index for virt
  [So if no instance types of a generic type is shared with 
  [Generic level 0 is used for the 'Universal' (any type whi