X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/blobdiff_plain/a6ec8b3f5bd19ad4a2a6fc950639cdff196eea2c..e38e83673b59b89d7af42f4c3f177aa0f6eafeb5:/doc/clang.tex diff --git a/doc/clang.tex b/doc/clang.tex index f5ccbb1..9719811 100644 --- a/doc/clang.tex +++ b/doc/clang.tex @@ -646,6 +646,7 @@ In Sod, the leaf types are interned) enumerated type with the given @ and @s (all evaluated). \end{describe} + \begin{describe}{fun} {make-enum-type @ \&optional @ @> @} Return the (unique interned) C type object for the enumerated C type whose @@ -661,6 +662,7 @@ In Sod, the leaf types are interned) structured type with the given @ and @s (all evaluated). \end{describe} + \begin{describe}{fun} {make-struct-type @ \&optional @ @> @} Return the (unique interned) C type object for the structured C type whose @@ -964,9 +966,9 @@ function type is the type of the function's return value. Keyword functions are never considered to be the same as ordinary functions. Two keyword function types are considered to be the same if - their return types are the same, and their positional argument lists consist of - arguments with the same type, in the same order: the keyword arguments - accepted by the functions is not significant. + their return types are the same, and their positional argument lists + consist of arguments with the same type, in the same order: the keyword + arguments accepted by the functions is not significant. Keyword functions are constructed using an extended version of the @|fun| specifier used for ordinary C function types. The extended syntax is as