From dbe91668915a487380cfbde6e0036264b5d766d6 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 14 Feb 2010 15:33:14 +0000
Subject: 	Fix SF/2910351 	* interp/nruncomp.boot (deltaTran): Avoid use
 of user-visible 	names for compiler internal tags. 
 (genDeltaEntry): Likewise. 	(NRTassocIndex): Likewise. 
 (NRTgetLocalIndex): Likewise. 	(NRTsubstDelta): Likewise. 	*
 interp/wi2.boot (genDeltaEntry): Likewise.

---
 src/testsuite/interpreter/sf-2910351.spad | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 src/testsuite/interpreter/sf-2910351.spad

(limited to 'src/testsuite/interpreter/sf-2910351.spad')

diff --git a/src/testsuite/interpreter/sf-2910351.spad b/src/testsuite/interpreter/sf-2910351.spad
new file mode 100644
index 00000000..f634e077
--- /dev/null
+++ b/src/testsuite/interpreter/sf-2910351.spad
@@ -0,0 +1,17 @@
+
+)abbrev package BUG Bug
+Bug(): Public == Private where
+  Public == with
+    getCtorKindInString: Identifier -> String    
+    getCtorKind:         Identifier -> ConstructorKind
+  Private == add
+    getCtorKind(c: Identifier): ConstructorKind == 
+      kind(retract(findConstructor(c)$Constructor)$(Maybe Constructor))$Constructor
+
+    getCtorKindInString(c: Identifier): String ==
+      k : ConstructorKind := getCtorKind(c)
+      k = category$ConstructorKind =>  "Category"
+      k = package$ConstructorKind  =>  "Package"
+      k = domain$ConstructorKind   => "Domain"
+      "unknown constructor kind! "
+
-- 
cgit v1.2.3