From 80e7bb6165a5ad6517b35f301228f56b58eef39c Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Wed, 31 Jul 2019 15:13:18 +0200
Subject: first iteration of "typeOf" command

---
 src/main.mlton.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main.mlton.sml')

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index cb7c8a77..8e70e398 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -139,6 +139,10 @@ fun oneRun args =
         fun printModuleOf fname =
             print_and_exit (Compiler.moduleOf fname) ()
 
+        fun typeOf loc =
+            (Print.print (Compiler.typeOf loc);
+             raise Code OS.Process.success)
+
         fun add_class (class, num) =
             case Int.fromString num of
                  NONE => raise Fail ("Invalid limit number '" ^ num ^ "'")
@@ -245,6 +249,8 @@ fun oneRun args =
                     NONE),
               ("moduleOf", ONE ("<file>", printModuleOf),
                     SOME "print module name of <file> and exit"),
+              ("typeOf", ONE ("<file:row:col>", typeOf),
+                    SOME "print type of expression at <file:row:col> and exit"),
               ("noEmacs", set_true Demo.noEmacs,
                     NONE),
               ("limit", TWO ("<class>", "<num>", add_class),
-- 
cgit v1.2.3