[Swan-commit] Changes to ref refs/heads/master

[D. Hugh Redelmeier]

New commits:
commit 7eab94e0bbdf4ccd8e404ae0a20c08aab0bd2705
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Jan 23 13:37:39 2018 -0500

    pluto: flag type asssertions with comments
    
    Some function-type typedefs are useful but cannot be used in function
    definitions.
    
    Our rule is: each function definition that cannot use the appropriate
    typedef must be within the scope of a declaration of that same
    function that does use the typedef.
    
    These type assertions look odd to the casual reader.  They look like
    variable declarations.  We add /* type assertion */ to each to help the
    reader.
    
    It would be nice to always have such a declaration adjacent to the
    definition but GCC whines if there has already been a declaration.  We
    used to have such declarations, but as comments.  But comments aren't
    checked (or maintained) so I've ditched them.