From cf7eb8b83ecf7278c84f6e22b5659261ee1eddbc Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 14 Feb 2019 15:10:29 +0000
Subject: Don't do any rewrites when checking files for Emacs

This makes sure we don't do any kind of re-writing or de-scatter any
definitions when loading files into emacs. The difference here is that
normally all files are processed together, but the emacs mode loads
each file one by one. This is probably what we want to be doing
anyway, so location information stays accurate for scattered
functions for things like type-at-cursor commands and similar.

Also fix some warnings.

Fixes #32
---
 src/specialize.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/specialize.ml')

diff --git a/src/specialize.ml b/src/specialize.ml
index 00357557..9f6af6d6 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -160,6 +160,8 @@ let string_of_instantiation instantiation =
        kid_name (mk_kopt K_int kid) ^ " in {" ^ Util.string_of_list ", " Big_int.to_string ns ^ "}"
     | NC_aux (NC_true, _) -> "true"
     | NC_aux (NC_false, _) -> "false"
+    | NC_aux (NC_var kid, _) -> kid_name (mk_kopt K_bool kid)
+    | NC_aux (NC_app (id, args), _) -> string_of_id id ^ "(" ^ Util.string_of_list ", " string_of_typ_arg args ^ ")"
   in
 
   let string_of_binding (kid, arg) = string_of_kid kid ^ " => " ^ string_of_typ_arg arg in
-- 
cgit v1.2.3