turn off debugging output in type checker

detail/semantic/inference.sml

@@ -974,7 +974,7 @@ fun typeInferencePass (errStrm, ti : TI.type_info, ast) = let
      | checkExports s _ = ()
    val _ = List.app (checkExports SymbolTable.noSpan) ast
    
-   val _ = TextIO.print ("toplevel environment:\n" ^ E.toString toplevelEnv)
+   (*val _ = TextIO.print ("toplevel environment:\n" ^ E.toString toplevelEnv)*)
 
    val (badSizes, primEnv) = E.popGroup (toplevelEnv, false)
    val _ = reportBadSizes badSizes

detail/semantic/symbol-table-type.sml

@@ -44,7 +44,7 @@ end
 
 structure SymbolTable :> SymbolTableSig = struct
 
-   val concisePrint : bool = false
+   val concisePrint : bool = true
 
    structure SymbolTable = IntBinaryMap
    structure Reverse = AtomRedBlackMap

detail/semantic/typing/lang-types.sml

@@ -6,7 +6,7 @@ structure Types = struct
    type varset = TVar.set
    val freshTVar = TVar.freshTVar
 
-   val concisePrint = false
+   val concisePrint = true
 
    datatype texp =
       (* a function taking at least one argument *)

detail/semantic/typing/tvar.sml

@@ -49,13 +49,13 @@ end = struct
    fun name idx = (if idx>25 then name (Int.div (idx,26)-1) else "") ^
         Char.toString (Char.chr (Char.ord #"a"+Int.mod (idx,26)))
 
-   fun varToString (TVAR var, tab) = (name var, tab) (*case VarMap.find (tab, var) of
-                                           SOME str => (str, tab)
-                                         | NONE => let
-                                              val str = name (VarMap.numItems(tab))
-                                           in
-                                              (str, VarMap.insert(tab, var, str))
-                                           end*)
+   fun varToString (TVAR var, tab) = (*(name var, tab)*) case VarMap.find (tab, var) of
+                                              SOME str => (str, tab)
+                                            | NONE => let
+                                                 val str = name (VarMap.numItems(tab))
+                                              in
+                                                 (str, VarMap.insert(tab, var, str))
+                                              end
 
    structure IntSet = SplaySetFn(struct
       type ord_key = int