forked from
jonmsterling.com/ocaml-forester
ocaml
Remove unnecessary () argument
+15
-15
+15
-15
lib/compiler/Eval.ml
+15
-15
lib/compiler/Eval.ml
···
190
190
| TeX_cs.Symbol x -> Format.fprintf fmt "\\%c" x
191
191
| TeX_cs.Word x -> Format.fprintf fmt "\\%s " x
192
192
193
-
let rec process_tape ~env () =
193
+
let rec process_tape ~env =
194
194
match Tape.pop_node_opt () with
195
195
| None -> Value.Content (T.Content [])
196
196
| Some node -> eval_node ~env node
197
197
198
-
and eval_tape ~env tape = Tape.run ~tape (process_tape ~env)
198
+
and eval_tape ~env tape = Tape.run ~tape (fun () -> process_tape ~env)
199
199
200
200
and eval_pop_arg ~env ~loc = Tape.pop_arg ~loc |> Range.map (eval_tape ~env)
201
201
···
348
348
| Dx_query query ->
349
349
let job = Job.Syndicate (Json_blob {blob_uri; query}) in
350
350
Stack.push (Range.locate_opt loc job) env.jobs;
351
-
process_tape ~env ()
351
+
process_tape ~env
352
352
| other ->
353
353
Reporter.fatal ?loc:query_arg.loc
354
354
(Type_error {expected = [Dx_query]; got = Some other})
···
363
363
in
364
364
let job = Job.Syndicate (Atom_feed {source_uri; feed_uri}) in
365
365
Stack.push (Range.locate_opt loc job) env.jobs;
366
-
process_tape ~env ()
366
+
process_tape ~env
367
367
| Embed_tex ->
368
368
let preamble, body =
369
369
let env = {env with mode = TeX_mode} in
···
509
509
| Title ->
510
510
let title = pop_content_arg ~env ~loc in
511
511
env.frontmatter <- {env.frontmatter with title = Some title};
512
-
process_tape ~env ()
512
+
process_tape ~env
513
513
| Parent ->
514
514
let parent_arg = eval_pop_arg ~env ~loc in
515
515
let parent =
···
521
521
[Asai.Diagnostic.loctext "Expected valid URI in parent declaration"]
522
522
in
523
523
env.frontmatter <- {env.frontmatter with designated_parent = Some parent};
524
-
process_tape ~env ()
524
+
process_tape ~env
525
525
| Meta ->
526
526
let k = pop_text_arg ~env ~loc in
527
527
let v = pop_content_arg ~env ~loc in
528
528
env.frontmatter <-
529
529
{env.frontmatter with metas = env.frontmatter.metas @ [(k, v)]};
530
-
process_tape ~env ()
530
+
process_tape ~env
531
531
| Attribution (role, type_) ->
532
532
let arg = eval_pop_arg ~env ~loc in
533
533
let vertex =
···
555
555
env.frontmatter with
556
556
attributions = env.frontmatter.attributions @ [attribution];
557
557
};
558
-
process_tape ~env ()
558
+
process_tape ~env
559
559
| Tag type_ ->
560
560
let arg = eval_pop_arg ~env ~loc in
561
561
let vertex =
···
575
575
in
576
576
env.frontmatter <-
577
577
{env.frontmatter with tags = env.frontmatter.tags @ [vertex]};
578
-
process_tape ~env ()
578
+
process_tape ~env
579
579
| Date ->
580
580
let date_str = pop_text_arg ~env ~loc in
581
581
begin match Human_datetime.parse_string date_str with
···
586
586
| Some date ->
587
587
env.frontmatter <-
588
588
{env.frontmatter with dates = env.frontmatter.dates @ [date]};
589
-
process_tape ~env ()
589
+
process_tape ~env
590
590
end
591
591
| Number ->
592
592
let num = pop_text_arg ~env ~loc in
593
593
env.frontmatter <- {env.frontmatter with number = Some num};
594
-
process_tape ~env ()
594
+
process_tape ~env
595
595
| Taxon ->
596
596
let taxon = Some (pop_content_arg ~env ~loc) in
597
597
env.frontmatter <- {env.frontmatter with taxon};
598
-
process_tape ~env ()
598
+
process_tape ~env
599
599
| Sym sym -> focus ~env ?loc:node.loc @@ Value.Sym sym
600
600
| Dx_prop (rel, args) ->
601
601
let rel = {node with value = eval_tape ~env rel} |> extract_text in
···
657
657
and focus ~env ?loc = function
658
658
| Clo (rho, xs, body) -> focus_clo ~env ?loc rho xs body
659
659
| Content content -> begin
660
-
match process_tape ~env () with
660
+
match process_tape ~env with
661
661
| Content content' ->
662
662
Value.Content (T.concat_compressed_content content content')
663
663
| value -> value
664
664
end
665
665
| ( Sym _ | Obj _ | Dx_prop _ | Dx_sequent _ | Dx_query _ | Dx_var _
666
666
| Dx_const _ ) as v -> begin
667
-
match process_tape ~env () with
667
+
match process_tape ~env with
668
668
| Content content when T.strip_whitespace content = T.Content [] -> v
669
669
| v' ->
670
670
Reporter.fatal ?loc
···
692
692
in
693
693
focus_clo ~env ?loc rhoy ys body
694
694
| None -> begin
695
-
match process_tape ~env () with
695
+
match process_tape ~env with
696
696
| Content nodes when T.strip_whitespace nodes = T.Content [] ->
697
697
Clo (rho, xs, body)
698
698
| _ ->