Patch title: Release 87 bulk changes
Abstract:
File: /pliant/linux/kernel/device.pli
Key:
    Removed line
    Added line
   
module "/pliant/language/os.pli"
module "/pliant/admin/file.pli"


  if (name parse "hd" any:(var Str drive) (var Int part)) an
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "hd" any:(var Str drive) (var Int part)) a
    status := kernel_make_device device kernel_bloc_device 2
  eif (name parse "hde" (var Int part)) and part>=1 and part
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "hd" any:(var Str drive)) and drive:len=1 
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "hd" any:(var Str drive)) and drive:len=1 
    status := kernel_make_device device kernel_bloc_device 2
  eif name="hde"
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "sd" any:(var Str drive) (var Int part)) a
    status := kernel_make_device device kernel_bloc_device 8
module "/pliant/language/os.pli"
module "/pliant/admin/file.pli"


  if (name parse "hd" any:(var Str drive) (var Int part)) an
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "hd" any:(var Str drive) (var Int part)) a
    status := kernel_make_device device kernel_bloc_device 2
  eif (name parse "hde" (var Int part)) and part>=1 and part
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "hd" any:(var Str drive)) and drive:len=1 
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "hd" any:(var Str drive)) and drive:len=1 
    status := kernel_make_device device kernel_bloc_device 2
  eif name="hde"
    status := kernel_make_device device kernel_bloc_device 3
  eif (name parse "sd" any:(var Str drive) (var Int part)) a
    status := kernel_make_device device kernel_bloc_device 8
  eif (name parse "sd" any:(var Str drive) (var Int part)) and drive:len=1 and drive>="q" and drive<="z" and part>=1 and part<16
    status := kernel_make_device device kernel_bloc_device 65 16*(drive:0:number-"q":number)+part
  eif (name parse "sd" any:(var Str drive)) and drive:len=1 
    status := kernel_make_device device kernel_bloc_device 8
  eif (name parse "sd" any:(var Str drive)) and drive:len=1 
    status := kernel_make_device device kernel_bloc_device 8
  eif (name parse "scd" (var Int part)) and part>=0 and part
  eif (name parse "sd" any:(var Str drive)) and drive:len=1 and drive>="q" and drive<="z"
    status := kernel_make_device device kernel_bloc_device 65 16*(drive:0:number-"q":number)
  eif (name parse "scd" (var Int part)) and part>=0 and part<256
    status := kernel_make_device device kernel_bloc_device 1
  eif (name parse "sg" (var Int part)) and part>=0 and part<
    status := kernel_make_device device kernel_character_dev
  eif (name parse "fd" (var Int part)) and part>=0 and part<
    status := kernel_make_device device kernel_bloc_device 2
  eif (name parse "md" (var Int part)) and part>=0 and part<
    status := kernel_make_device device kernel_bloc_device 9


  else
    plugin device
      status := failure
    status := kernel_make_device device kernel_bloc_device 1
  eif (name parse "sg" (var Int part)) and part>=0 and part<
    status := kernel_make_device device kernel_character_dev
  eif (name parse "fd" (var Int part)) and part>=0 and part<
    status := kernel_make_device device kernel_bloc_device 2
  eif (name parse "md" (var Int part)) and part>=0 and part<
    status := kernel_make_device device kernel_bloc_device 9


  else
    plugin device
      status := failure