package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/src/acgtk.scripting/acgLog.ml.html

Source file acgLog.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
let set_acg_log () =
  (* setting UtilsLib modules *)
  let () = Logs.Src.set_level Containers.SharedForest.Log.src (Some Logs.Warning) in
  let () = Logs.Src.set_level UtilsLib.IdGenerator.Log.src (Some Logs.Warning) in
  (* setting Logic modules *)
  let () = Logs.Src.set_level Logic.TypeInference.Log.src (Some Logs.Warning) in
  let () = Logs.Src.set_level Logic.VarUnionFind.Log.src (Some Logs.Warning) in
  let () = Logs.Src.set_level Logic.Expand.Log.src (Some Logs.Warning) in
  (* setting AcgData modules *)
  let () = Logs.Src.set_level AcgData.Acg_lexicon.Log.src (Some Logs.Warning) in
  let () = Logs.Src.set_level AcgData.Acg_lexicon.ParsingLog.src (Some Logs.Info) in
  let () = Logs.Src.set_level AcgData.Acg_lexicon.ParsingLog.src (Some Logs.Warning) in
  let () = Logs.Src.set_level AcgData.Reduction.Log.src (Some Logs.Warning) in
  let () = Logs.Src.set_level AcgData.Type_system.Log.src (Some Logs.Warning) in
  let () = Logs.Src.set_level AcgData.Signature.Log.src (Some Logs.Warning) in
  (* setting DatalogLib modules *)
  let () =
    Logs.Src.set_level DatalogLib.UnionFind.Log.src (Some Logs.Warning)
  in
  let () =
    Logs.Src.set_level DatalogLib.Datalog_AbstractSyntax.Log.src
      (Some Logs.Warning)
      (*(Some Logs.Info) *)
  in
  let () = Logs.Src.set_level DatalogLib.Datalog.Log.src (Some Logs.Warning) in
  (* setting MagicRewriting modules *)
  let () =
    Logs.Src.set_level MagicRewriting.Rewriting.Log.src
      (*(Some Logs.Debug)*) (Some Logs.Warning)
  in
  let () =
    Logs.Src.set_level MagicRewriting.Unique_binding.Log.src (*(Some Logs.Debug) *)
      (Some Logs.Warning)
  in
  (* setting Grammars modules *)
  let () =
    Logs.Src.set_level Grammars.Term_sequence.Log.src (Some Logs.Warning)
  in
  ()