Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[doc] opatop: disclaimers about experimental status

  • Loading branch information...
commit f4b775213f7f2489ec982ba379263acad331799c 1 parent 152be35
François-Régis Sinot authored
Showing with 9 additions and 0 deletions.
  1. +5 −0 opatop/opaTopDirectives.ml
  2. +4 −0 opatop/opaTopMain.ml
View
5 opatop/opaTopDirectives.ml
@@ -246,6 +246,11 @@ let types = "#types$", 0, types_action
let help_action env _ =
let pp spec doc = Format.fprintf !std "%-32s %s@\n" spec doc in
+ Format.fprintf !std "@[<2>missing features:@\n";
+ Format.fprintf !std "servers, web, client code@\n";
+ Format.fprintf !std "separate compilation (packages)@\n";
+ Format.fprintf !std "very limited standard library (type '#env;;')";
+ Format.fprintf !std "@]@\n";
Format.fprintf !std "---@\n";
Format.fprintf !std "@[<2>opatop directives:@\n";
View
4 opatop/opaTopMain.ml
@@ -266,6 +266,10 @@ let main () =
P.greedy_set (not !fatal);
(* input *)
if MutableList.length user_files = 0 || !do_input then (
+ OManager.oformatter := Format.std_formatter;
+ OManager.this_is_tool ~force:true "opatop";
+ OManager.printf "This is an experimental top-level for opa, type '#help;;' to know more.@\n";
+ OManager.oformatter := Format.err_formatter;
P.dump_set true;
let env = OpaTopEnv.set_filename env "stdin" in
let _ = OpaTopEnv.input_loop env stdin in
Please sign in to comment.
Something went wrong with that request. Please try again.