loading from rootstore

This commit is contained in:
cqc
2024-05-22 15:17:11 -05:00
parent 986abc223c
commit cd79cd2537
5 changed files with 9 additions and 6 deletions

View File

@ -0,0 +1,3 @@
profile = default
version = 0.26.2
no-parse-toplevel-phrases

2
dune
View File

@ -20,7 +20,7 @@
(libraries
lwt
store
memtrace
;;memtrace
glfw-ocaml
tgls
tgls.tgles2

View File

@ -1,2 +1,2 @@
(lang dune 3.6)
(lang dune 3.15)
(name oplevel)

View File

@ -55,8 +55,7 @@ let main =
Gl.clear_color 0.1 0.2 0.2 1.;
Memtrace.trace_if_requested ();
(*Memtrace.trace_if_requested (); *)
let ctx =
Gv.create ~flags:Gv.CreateFlags.(antialias lor stencil_strokes) ()
in
@ -142,7 +141,8 @@ let main =
in
ignore
(Toploop.use_input out_ppf (String "#use \"topfind\";;\n#list;;"));
(Toploop.use_input out_ppf
(String "#use \"topfind\";;\n#list;;#require \"lwt\";;"));
(* toplevel execution binding *)
Ui.(
update_bindings ui

View File

@ -19,7 +19,7 @@ let test_populate () : t Lwt.t =
let init_default upstream_url : Sync.db Lwt.t =
S.Repo.v (Irmin_git.Conf.init "../rootstore") >>= fun repo ->
S.of_branch repo "lablgtk" >>= fun t ->
S.of_branch repo "ogui" >>= fun t ->
S.remote upstream_url >>= fun upstream ->
(* (try Sync.pull_exn t upstream `Set >>= fun _ -> Lwt.return_unit
with Invalid_argument a ->