Skip to content

Commit

Permalink
Remove unused code in binary
Browse files Browse the repository at this point in the history
  • Loading branch information
Leonidas-from-XIV committed Aug 16, 2022
1 parent d37f776 commit d8d032c
Showing 1 changed file with 0 additions and 20 deletions.
20 changes: 0 additions & 20 deletions bin/bin/app.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
open Core
open Async
open Rwo
let (/) = Filename.concat

module Params = struct
open Command.Param
Expand All @@ -11,19 +10,6 @@ module Params = struct
let doc = sprintf "dir Root of repository. Default: \"%s\"." default in
flag "-repo-root" (optional_with_default default string) ~doc

let production =
let default = false in
let doc = sprintf
" Set to true to generate file for publication. Default \
is %b, which generates dev version of file."
default
in
flag "-production" (optional_with_default default bool) ~doc

let chapter =
let doc = "N Build HTML version of chapter N." in
flag "-chapter" (required int) ~doc

let out_dir =
let default = "_build" in
let doc = sprintf "DIR Output directory. Default: \"%s\"" default in
Expand All @@ -37,12 +23,6 @@ module Params = struct

let file =
anon ("file" %: string)

let run_nondeterministic =
flag "-run-nondeterministic" no_arg
~doc:" In .mlt files, run code marked [%%expect.nondeterministic ...]. \
By default, they are skipped."

end


Expand Down

0 comments on commit d8d032c

Please sign in to comment.