-- version control marker $Id: cg58rec.occ,v 1.1 1995/10/11 10:23:03 djb1 Exp $
PROC local.set()
  --{{{  common declarations
  type FUNCTION identity(VAL type x) IS x :
  
  --}}}
  type x, y :
  sub.type s :
  SEQ
    title(title.str)
    x := zero.value
    x := identity(x)
    check.type(x, zero.value, "SUB00")
    y := identity(x)
    check.type(x, zero.value, "SUB01")
  
    s := identity(x)[field]
    check.sub.type(s, zero.subvalue, "SUB02")
    check.sub.type(s, x[field], "SUB03")
  
    x := init.value
    y := double(x)
    check.type(y, dbl.value, "SUB06")
    s := double(x)[field]
    check.sub.type(s, dbl.subvalue, "SUB07")
    check.sub.type(s, y[field], "SUB08")
:
local.set()
