Avoid using void * as SCM
This is not really type-safe. Using an SCM * instead is unproblematic.
http://codereview.appspot.com/314500043
Diff:
Passes make, make check and a full make doc.
Patch on countdown for February 20th.
patch counted down - please push.
Pushed to staging as commit 3fc70e3e7dfb3c26cb3e5bb9dcabc87cc758c24d Author: David Kastrup dak@gnu.org Date: Tue Feb 14 13:41:52 2017 +0100
Issue 5069: Avoid using void * as SCM This is not really type-safe. Using an SCM * instead is unproblematic.
Diff:
Passes make, make check and a full make doc.
Patch on countdown for February 20th.
patch counted down - please push.
Pushed to staging as
commit 3fc70e3e7dfb3c26cb3e5bb9dcabc87cc758c24d
Author: David Kastrup dak@gnu.org
Date: Tue Feb 14 13:41:52 2017 +0100