opportunity: Add missing documentation.

[nit.git] / src / nitlight.nit
diff --git a/src/nitlight.nit b/src/nitlight.nit

index 85b2c1a..4c8cf9c 100644 (file)
--- a/src/nitlight.nit
+++ b/src/nitlight.nit
@@ -19,6 +19,12 @@ import highlight
  
  var toolcontext = new ToolContext
  
+# Disable `cached` because it causes issues when printing transformed AST. FIXME
+toolcontext.cached_phase.disabled = true
+
+# Try to colorize, even if programs are non valid
+toolcontext.keep_going = true
+
  var opt_fragment = new OptionBool("Omit document header and footer", "-f", "--fragment")
  var opt_first_line = new OptionInt("Start the source file at this line (default: 1)", 0, "--first-line")
  var opt_last_line = new OptionInt("End the source file at this line (default: to the end)", 0, "--last-line")
@@ -56,10 +62,12 @@ for mm in mmodules do
         if opt_last_line.value != 0 then v.last_line = opt_last_line.value
         if opt_ast.value then v.with_ast = true
         var page = null
+       var m = modelbuilder.mmodule2nmodule[mm]
         if not opt_fragment.value then
                 page = new HTMLTag("html")
                 page.add_raw_html """<head>
-               <meta charset="utf-8">"""
+               <meta charset="utf-8">
+               <title>file {{{m.location.file.filename}}}</title>"""
                 if dir == null then
                         page.add_raw_html """
                         <style type="text/css">
@@ -69,13 +77,15 @@ for mm in mmodules do
                 else
                         page.add_raw_html """<link rel="stylesheet" type="text/css" href="style.css" />"""
                 end
-               page.add_raw_html "</head><body><pre>"
+               page.add_raw_html v.head_content
+               page.add_raw_html "</head><body><pre class='nit_code'>"
         end
-       var m = modelbuilder.mmodule2nmodule[mm]
         v.enter_visit(m)
         if not opt_fragment.value then
                 page.add(v.html)
-               page.add_raw_html "</pre></body>"
+               page.add_raw_html "</pre>"
+               page.add_raw_html v.foot_content
+               page.add_raw_html "</body>"
         else
                 page = v.html
         end