typeof builtin

Author: mkhan45

lib/eval.ml

@@ -332,6 +332,19 @@ and map_to_list_builtin (args, state) _ss _loc =
             ValList ls, state
         | _ -> assert false
 
+and typeof_builtin (args, state) _ss _loc =
+    match args with
+        | Tuple [Number _] -> Atom 2, state
+        | Tuple [Integer _] -> Atom 3, state
+        | Tuple [Boolean _] -> Atom 4, state
+        | Tuple [Tuple _] -> Atom 5, state
+        | Tuple [ValList _] -> Atom 6, state
+        | Tuple [(Lambda _) | (LambdaCapture _) | (Fn _)] -> Atom 7, state
+        | Tuple [Dictionary _] -> Atom 8, state
+        | Tuple [Atom _] -> Atom 9, state
+        | Tuple [StringVal _] -> Atom 10, state
+        | _ -> assert false
+
 and eval_pipe ~tc lhs rhs ss loc = fun s ->
     let (lhs, s) = (eval_expr lhs ss) s in
     let (rhs, s) = (eval_expr rhs ss) s in
@@ -525,6 +538,7 @@ and eval_lambda_call ?tc:(tail_call=false) call ss loc =
                 | ResolvedIdent 13 -> list_dir_builtin ((eval_expr call.call_args ss) state) ss loc
                 | ResolvedIdent 14 -> map_keys_builtin ((eval_expr call.call_args ss) state) ss loc
                 | ResolvedIdent 15 -> map_to_list_builtin ((eval_expr call.call_args ss) state) ss loc
+                | ResolvedIdent 16 -> typeof_builtin ((eval_expr call.call_args ss) state) ss loc
                 | UnresolvedIdent s ->
                     printf "Error: unresolved function %s not found at %s\n" s (location_to_string loc);
                     print_traceback ss;

lib/run.ml

@@ -93,7 +93,19 @@ let run_file filename (ss, state) =
     let in_string = In_channel.input_all in_stream in
     run_string in_string filename (ss, state)
 
-let base_static_atoms () = [("ok", 0); ("err", 1)]
+let base_static_atoms () = [
+    ("ok", 0); 
+    ("err", 1);
+    ("number", 2);
+    ("integer", 3);
+    ("boolean", 4);
+    ("tuple", 5);
+    ("list", 6);
+    ("function", 7);
+    ("dictionary", 8);
+    ("atom", 9);
+    ("string", 10);
+]
 
 let base_static_idents () = 
     let builtin_idents = [
@@ -113,6 +125,7 @@ let base_static_idents () =
         "list_dir__builtin";
         "map_keys__builtin";
         "map_to_list__builtin";
+        "typeof__builtin";
     ] in
     List.zip_exn builtin_idents (List.range 0 (List.length builtin_idents))
 

lib/stdlib.rsc

@@ -233,3 +233,4 @@ let write_file(file, data) = write_file__builtin(file, data)
 let list_dir(dir) = list_dir__builtin(dir)
 let map_keys(m) = map_keys__builtin(m)
 let map_to_list(m) = map_to_list__builtin(m)
+let typeof(m) = typeof__builtin(m)