From 680da1afd0b8d2f4b4a6b4ec0ef3bad48d0babde Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 31 Mar 2017 17:35:05 -0400
Subject: Fix normalization of signatures that project signatures from other
 modules with multi-element paths (fixes #72)

---
 src/elab_env.sig | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/elab_env.sig')

diff --git a/src/elab_env.sig b/src/elab_env.sig
index cbc85cdd..47b31c08 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -96,6 +96,7 @@ signature ELAB_ENV = sig
 
     val pushStrNamed : env -> string -> Elab.sgn -> env * int
     val pushStrNamedAs : env -> string -> int -> Elab.sgn -> env
+    val pushStrNamedAs' : bool (* also enrich typeclass instances? *) -> env -> string -> int -> Elab.sgn -> env
     val lookupStrNamed : env -> int -> string * Elab.sgn
 
     val lookupStr : env -> string -> (int * Elab.sgn) option
@@ -123,6 +124,4 @@ signature ELAB_ENV = sig
     val patBinds : env -> Elab.pat -> env
     val patBindsN : Elab.pat -> int
 
-    exception Bad of Elab.con * Elab.con
-
 end
-- 
cgit v1.2.3