Patch title: Release 94 bulk changes
Abstract:
File: /pliant/util/pml/body.pli
Key:
    Removed line
    Added line
   
module "/pliant/language/stream.pli"
module "/pliant/util/pml/stream.pli"
module "/pliant/util/pml/generic.pli"


method s ibody_begin -> ok
  arg_rw Stream s ; arg CBool ok
  while true
    var Int h := s pick_uInt8
    if h=11001000b
      s read_uInt8
      return true
    eif h=11000100b
      return false
    else
      s iskip

method s ibody_more -> ok
  arg_rw Stream s ; arg CBool ok
  ok := s:pick_uInt8=11000101b

method s ibody_end -> ok
  arg_rw Stream s ; arg CBool ok
  ok := s:pick_uInt8=11000100b
  if ok
    s read_uInt8


method s ibody_none -> ok
  arg_rw Stream s ; arg CBool ok
  var Int l := 0
  while l>=0
    var Int h := s pick_uInt8
    if h=11000101b
      l += 1
    eif h=11000100b
      l -= 1
    if s:iforward=failure
      return false
  ok := true


export '. ibody_begin' '. ibody_more' '. ibody_end' '. ibody_none'