diff --git a/lib/compiler/Driver.ml b/lib/compiler/Driver.ml index 867fd01..8a4e7c0 100644 --- a/lib/compiler/Driver.ml +++ b/lib/compiler/Driver.ml @@ -13,7 +13,6 @@ open struct end let update (action : Action.t) (forest : State.t) = - let forest = State.update_history ~forest action in Action.log action; match action with | Quit Fail -> exit 1 diff --git a/lib/compiler/State.ml b/lib/compiler/State.ml index 67b5c08..b0cb792 100644 --- a/lib/compiler/State.ml +++ b/lib/compiler/State.ml @@ -23,7 +23,6 @@ type t = { graphs: (module Forest_graphs.S); import_graph: Forest_graph.t; search_index: Forester_search.Index.t; - history: Action.t list; hosts: (string, unit) Hashtbl.t; suggestions: URI.t URI.Tbl.t; } @@ -52,7 +51,6 @@ let make ~(env : Eio_unix.Stdenv.base) ~(config : Config.t) ~(dev : bool) search_index; hosts; suggestions; - history = []; } module Syntax = struct @@ -88,9 +86,6 @@ module Syntax = struct let ( .@{} ) state uri = Option.bind state.={uri} Tree.resource end -let update_history ~forest action = - {forest with history = action :: forest.history} - let to_seq state = URI.Tbl.to_seq state.index let get_all ~forest f =