poor man's global dead code analyzer for ocaml

Author: bobzhang

.vscode/tasks.json

@@ -50,6 +50,22 @@
                     }
                 ]
             }
+    },
+    {
+        "label": "check unused",
+        "command" : "node",
+        "options": {
+            "cwd": "${workspaceRoot}/lib"
+        },
+        "args": [
+            "../scripts/checkUnused.js" 
+        ],
+        "problemMatcher" :{
+            "base": "$ocamlc",
+            "fileLocation" :
+                "autoDetect",
+                "owner": "globalUnused"     
+        }                
     }
     ]
 }

scripts/checkUnused.js

@@ -0,0 +1,52 @@
+#!/usr/bin/env node
+//@ts-check
+var cp = require("child_process");
+var path = require("path");
+var fs = require("fs");
+var opt = path.join(__dirname, "..", "native", "4.06.1", "bin", "ocamlopt.opt");
+
+// TOOD: share with ninja.js
+// check compiler code base
+var sourceDirs = [
+  "stubs",
+  "ext",
+  "common",
+  "js_parser",
+  "syntax",
+  "depends",
+  "core",
+  "super_errors",
+  "outcome_printer",
+  "bsb",
+  "bsb_helper",
+  "ounit",
+  "ounit_tests",
+  "main"
+];
+var fileMap = new Map();
+for (let dir of sourceDirs){
+    let ydir = path.join('jscomp',dir)    
+    let xdir =   path.join(__dirname,'..',ydir)      
+    for(let file of fs.readdirSync(xdir,'utf8')){
+        let p = path.parse(file)
+        if(p.ext === ".ml" || p.ext === ".mli"){
+            fileMap[p.base] = ydir
+        }
+    }
+}
+var output = cp.spawnSync(
+  `${opt} -c  -opaque -linscan -I 4.06.1 -w a+32 4.06.1/whole_compiler.mli 4.06.1/whole_compiler.ml`,
+  { cwd: path.join(__dirname, "..", "lib"), encoding: "utf8", shell: true }
+);
+
+// debugger
+
+var result = output.stderr.replace(/File "(.*)"/g,(file,p1)=>{
+    let query = fileMap[p1]
+    if(!query){
+        return `Unkonwn file`
+    }
+    return `File "${query}/${p1}"`
+})
+
+console.log(result)