A few more comments

voodoos · Sep 27, 2019 · 33b068c · 33b068c
1 parent f2d9337
commit 33b068c
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 1 deletion.
diff --git a/lib/main.ml b/lib/main.ml
@@ -8,7 +8,7 @@ let version = "0.4"
 (* Reference to the Elpi kernel *)
 let kernel = ref None
 
-(* Tools for printing to the browser console *)
+(* Tools for printing to the browser's console *)
 let escape s =
   Js.to_string (Js.escape (Js.string s))
 

diff --git a/lib/mlts_api/mltsAst.ml b/lib/mlts_api/mltsAst.ml
@@ -1,3 +1,8 @@
+(* 
+Based on the official OCaml syntax:
+https://caml.inria.fr/pub/docs/manual-ocaml/language.html
+*)
+
 type prog = module_item list
 
 and module_item =

diff --git a/lib/mlts_api/prologTest.ml b/lib/mlts_api/prologTest.ml
@@ -1,5 +1,7 @@
 open PrologAst
 
+(* AST for MLTS programs written
+uising the lProlog abstract syntax *)
 let local_name = ("toto", 2)
 let global_name = "tata"
 

diff --git a/lib/mlts_api/translator.ml b/lib/mlts_api/translator.ml
@@ -1,5 +1,10 @@
 open MltsAst
 
+(* Translator from the concrete syntax AST
+       (see mltsAST.ml)
+to the lProlog abstract syntax AST 
+        (see prologAst.ml) *)
+
 module P = PrologAst 
 
 type def = { name: string; pos: Lexing.position }