diff options
Diffstat (limited to 'cli/runtime-inline.cxx')
-rw-r--r-- | cli/runtime-inline.cxx | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cli/runtime-inline.cxx b/cli/runtime-inline.cxx index 15efa8d..ce53575 100644 --- a/cli/runtime-inline.cxx +++ b/cli/runtime-inline.cxx @@ -16,6 +16,18 @@ generate_runtime_inline (context& ctx) ctx.ns_open (ctx.cli); + // usage_para + // + if (!ctx.options.suppress_usage ()) + os << "// usage_para" << endl + << "//" << endl + + << inl << "usage_para::" << endl + << "usage_para (value v)" << endl + << ": v_ (v)" + << "{" + << "}"; + // unknown_mode // os << "// unknown_mode" << endl |