diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/main.ml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/bin/main.ml b/bin/main.ml index a21c63e..8250c44 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,4 +1,28 @@ +open Relational_engine.Disk + +let x() = + let command_write1: Command.t = + {kind = Command.WRITE; timestamp = 10.0; hash = "bca39cc55b19274133ce57d0bea1ff794589f025d4bcf670c44d5d2811837830"; content = "asd"; filename = "trash"} in + let command_write2: Command.t = + {kind = Command.WRITE; timestamp = 10.0; hash = "bca39cc55b19274133ce57d0bea1ff794589f025d4bcf670c44d5d2811837831"; content = "qwe"; filename = "trash2"} in + let command_write3: Command.t = + {kind = Command.WRITE; timestamp = 10.0; hash = "bca39cc55b19274133ce57d0bea1ff794589f025d4bcf670c44d5d2811837832"; content = "fgh"; filename = "trash"} in + let command_write4: Command.t = + {kind = Command.WRITE; timestamp = 10.0; hash = "bca39cc55b19274133ce57d0bea1ff794589f025d4bcf670c44d5d2811837833"; content = "rty"; filename = "trash2"} in + let command_write5: Command.t = + {kind = Command.WRITE; timestamp = 10.0; hash = "bca39cc55b19274133ce57d0bea1ff794589f025d4bcf670c44d5d2811837834"; content = "jkl"; filename = "trash"} in + let command_read: Command.t = {kind = Command.READ; timestamp = 0.0; hash = ""; content = ""; filename = "trash"} in + let stream: Executor.history = [{state = Executor._EMPTY_SHA_HASH_; files = Executor.StringMap.empty}] in + let locations: Executor.locations = Executor.StringMap.empty in + let open Relational_engine.Extensions.Result in + let+ (stream, locations) = Command.commit_and_perform stream locations command_write1 in + let+ (stream, locations) = Command.commit_and_perform stream locations command_write2 in + let+ (stream, locations) = Command.commit_and_perform stream locations command_write3 in + let+ (stream, locations) = Command.commit_and_perform stream locations command_write4 in + let+ (stream, locations) = Command.commit_and_perform stream locations command_write5 in + Command.commit_and_perform (List.tl stream) locations command_read let () = begin + let _ = x() in () end |