on master help sign in
Completion and help for :dynamic at the REPL
commit70c9bd5843560141c8c71ab805b4806620955fa3 authorDavid Christiansen <david@davidchristiansen.dk> dateFri 15 Mar 2013, 11:57 (14 years ago) parent04267d6
1 file changed+2
src/Idris/Help.hs+2
src/Idris/Help.hs+2
@@ -30,6 +30,8 @@ help =
3030 ([":c",":compile"], "<filename>", "Compile to an executable <filename>", FileArg),
3131 ([":js", ":javascript"], "<filename>", "Compile to JavaScript <filename>", FileArg),
3232 ([":exec",":execute"], "", "Compile to an executable and run", NoArg),
33+ ([":dynamic"], "<filename>", "Dynamically load a C library (similar to %dynamic)", FileArg),
34+ ([":dynamic"], "", "List dynamically loaded C libraries", NoArg),
3335 ([":?",":h",":help"], "", "Display this help text", NoArg),
3436 ([":set"], "<option>", "Set an option (errorcontext, showimplicits)", OptionArg),
3537 ([":unset"], "<option>", "Unset an option", OptionArg),