diff options
| author | Alasdair Armstrong | 2019-02-14 15:10:29 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-14 15:15:28 +0000 |
| commit | cf7eb8b83ecf7278c84f6e22b5659261ee1eddbc (patch) | |
| tree | c7c9c714b0206665299a865bc9460dc339c01a0a /src/specialize.ml | |
| parent | b8fa1b62c114e030f2dcdc58d7df01ae2308b6d4 (diff) | |
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
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |