ocaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

dead code removal

+6 -18
+6 -18
lib/compiler/Expand.ml
··· 16 16 end 17 17 18 18 module Builtins = struct 19 - let create_sym path = 20 - let sym = Symbol.named path in 21 - sym, 22 - fun () -> 23 - Sc.include_singleton path @@ 24 - (Term [Range.locate_opt None (Syn.Sym sym)], None) 25 - 26 19 module Transclude = struct 27 - let expanded_sym, alloc_expanded = create_sym ["transclude"; "expanded"] 28 - let show_heading_sym, alloc_show_heading = create_sym ["transclude"; "heading"] 29 - let toc_sym, alloc_toc = create_sym ["transclude"; "toc"] 30 - let numbered_sym, alloc_numbered = create_sym ["transclude"; "numbered"] 31 - let show_metadata_sym, alloc_show_metadata = create_sym ["transclude"; "metadata"] 20 + let expanded_sym = Symbol.named ["transclude"; "expanded"] 21 + let show_heading_sym = Symbol.named ["transclude"; "heading"] 22 + let toc_sym = Symbol.named ["transclude"; "toc"] 23 + let numbered_sym = Symbol.named ["transclude"; "numbered"] 24 + let show_metadata_sym = Symbol.named ["transclude"; "metadata"] 32 25 end 33 26 end 34 27 ··· 335 328 tex_builtin_symbols; 336 329 begin 337 330 let open Builtins.Transclude in 338 - List.to_seq [expanded_sym; show_heading_sym; toc_sym; show_metadata_sym] 331 + List.to_seq [expanded_sym; show_heading_sym; toc_sym; numbered_sym; show_metadata_sym] 339 332 |> Seq.map @@ fun sym -> 340 333 Symbol.name sym, (Syn.Term [Range.locate_opt None (Syn.Sym sym)], None) 341 334 end; ··· 425 418 in 426 419 Reporter.run ~emit ~fatal @@ fun () -> 427 420 Sc.run ~init_visible: initial_visible_trie @@ fun () -> 428 - Builtins.Transclude.alloc_expanded (); 429 - Builtins.Transclude.alloc_show_heading (); 430 - Builtins.Transclude.alloc_toc (); 431 - Builtins.Transclude.alloc_numbered (); 432 - Builtins.Transclude.alloc_show_metadata (); 433 421 let expanded_tree = ignore_entered_range (expand_tree_inner ~forest) code in 434 422 expanded_tree, !diagnostics