options.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113type target_lang = | Michelson | MichelsonStorage | OffchainViews | Javascript | Markdown | BindingsJs | BindingsTs | ContractMetadata | DebugTrace [@@deriving show {with_path = false}] exception UnknownTarget of string let string_to_target_lang = function | "michelson" -> Michelson | "michelson-storage" -> MichelsonStorage | "offchain-views" -> OffchainViews | "contract-metadata" -> ContractMetadata | "javascript" -> Javascript | "markdown" -> Markdown | "bindings-js" -> BindingsJs | "bindings-ts" -> BindingsTs | "debug-trace" -> DebugTrace | v -> raise (UnknownTarget v) let version = "1.5.3" let url = "https://archetype-lang.org/" let target = ref (Michelson : target_lang) let debug = ref false let quiet = ref false let with_init_caller = ref true let opt_json = ref false let opt_input_json = ref false let opt_rjson = ref false let opt_pt = ref false let opt_extpt = ref false let opt_ext = ref false let opt_ast = ref false let opt_mdl = ref false let opt_omdl = ref false let opt_typed = ref false let opt_ir = ref false let opt_dir = ref false let opt_mic = ref false let opt_mit = ref false let opt_mici = ref false let opt_all_parenthesis = ref false let opt_m = ref false let opt_raw = ref false let opt_raw_ir = ref false let opt_raw_michelson = ref false let opt_raw_debug_trace = ref false let opt_caller = ref "$CALLER_ADDRESS" let opt_decomp = ref false let opt_trace = ref false let opt_metadata_uri = ref "" let opt_metadata_storage = ref "" let opt_with_metadata = ref false let opt_expr : (string option) ref = ref (None : string option) let opt_entrypoint : (string option) ref = ref (None : string option) let opt_type : (string option) ref = ref (None : string option) let opt_with_contract = ref false let opt_code_only = ref false let opt_expr_only = ref false let opt_init = ref "" let opt_no_js_header = ref false let opt_sdir = ref false let opt_test_mode = ref false let opt_get_storage_values = ref false let opt_with_parameters = ref false let opt_show_entries = ref false let opt_out = ref "" let opt_contract_interface = ref false let opt_contract_interface_michelson = ref false let opt_event_well_address : (string option) ref = ref (None : string option) let opt_sandbox_exec_address : (string option) ref = ref (None : string option) let opt_g = ref false let opt_path = ref "." let opt_ama = ref false let opt_alma = ref false let opt_property_focused = ref "" let opt_vids : (string list) ref = ref [] let add_vids s = opt_vids := s::!opt_vids type lsp_kind = | Errors | Outline [@@deriving yojson, show {with_path = false}] exception UnknownLspKind of string let string_to_kind k = match k with | "errors" -> Errors | "outline" -> Outline | v -> raise (UnknownLspKind v) let opt_lsp_kind = ref (None : lsp_kind option) type language = | Typescript | Javascript let language_to_string = function | Typescript -> "typescript" | Javascript -> "javascript"