From 6b3d7bd766b4da1c7ca01cde924832a55ecd509f Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Mon, 28 Sep 2015 13:59:11 +0100
Subject: [PATCH] Comment exp_type_is_constant

---
 generator/js_of_ast.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml
index 7ecdb83..10a96d2 100644
--- a/generator/js_of_ast.ml
+++ b/generator/js_of_ast.ml
@@ -27,6 +27,7 @@ let show_list sep l =
 
 let is_sbool x = List.mem x ["true" ; "false"]
 
+(* Given an expression, check whether it is a primitive type or a constructed type *)
 let exp_type_is_constant exp =
   List.exists (Ctype.matches exp.exp_env exp.exp_type)
   [Predef.type_bool; Predef.type_int; Predef.type_char; Predef.type_string; Predef.type_float]
-- 
GitLab