ppProcedure :: [Identifier] -> [Statement] -> PP ()
ppProcedure is ss =
  do write "function("
     intercalateM ", " (map ppIdentifier is)
     write "){"
     intercalateM ";" (map ppStatement ss)
     write "}"

-- | Pretty print an identifier.
ppProcedure :: [Identifier] -> [Statement] -> PP ()
ppProcedure is ss =
  do write "function("
     intercalateM ", " (map ppIdentifier is)
     write "){"
     intercalateM ";" (map ppStatement ss)
     write "}"

-- | Pretty print an identifier.
ppProcedure is ss =
  do write "function("
     intercalateM ", " (map ppIdentifier is)
     write "){"
     intercalateM ";" (map ppStatement ss)
     write "}"

-- | Pretty print an identifier.