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
Diff:
passes make, make check and a full make doc
Patch on countdown for June 9th.
Patch counted down - please push.
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.
Diff:
passes make, make check and a full make doc
Patch on countdown for June 9th.
Patch counted down - please push.
Pushed to staging as
commit 67cd07e55d5ec908c246ae543e480d367b61d6b3
Author: David Kastrup dak@gnu.org
Date: Fri Jun 3 14:21:55 2016 +0200