Menu

#4878 Change type_p_name_ generally to char pointer

Verified
Maintainability
2016-06-17
2016-06-03
No

Change type_p_name_ generally to char pointer

This avoids the pitfalls cured by issue 4783 without the
associated inconvenience when no predicate is desired.

http://codereview.appspot.com/301880043

Discussion

  • Anonymous

    Anonymous - 2016-06-03
    • Description has changed:

    Diff:

    
    
    • Needs: -->
    • Patch: new --> review
     
  • Anonymous

    Anonymous - 2016-06-03

    passes make, make check and a full make doc

     
  • Anonymous

    Anonymous - 2016-06-06
    • Patch: review --> countdown
     
  • Anonymous

    Anonymous - 2016-06-06

    Patch on countdown for June 9th.

     
  • Anonymous

    Anonymous - 2016-06-09
    • Patch: countdown --> push
     
  • Anonymous

    Anonymous - 2016-06-09

    Patch counted down - please push.

     
  • David Kastrup

    David Kastrup - 2016-06-09
    • labels: --> Fixed_2_19_43
    • status: Started --> Fixed
    • Patch: push -->
    • Type: Enhancement --> Maintainability
     
  • David Kastrup

    David Kastrup - 2016-06-09

    Pushed to staging as
    commit 67cd07e55d5ec908c246ae543e480d367b61d6b3
    Author: David Kastrup dak@gnu.org
    Date: Fri Jun 3 14:21:55 2016 +0200

    Issue 4878: Make type_p_name_ always char pointer
    
    This avoids the pitfalls cured by issue 4783 without the
    associated inconvenience when no predicate is desired.
    
     
  • Federico Bruni

    Federico Bruni - 2016-06-17
    • status: Fixed --> Verified