From 224f5d49930e9d6b6dddf709f31087a61b294516 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 28 Feb 2009 14:24:18 +0000
Subject: Revert accidental change

---
 src/interp/compiler.boot | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/interp')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 7c07df36..ae68d089 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1208,6 +1208,14 @@ compPredicate(p,E) ==
   [p',m,getSuccessEnvironment(p,E),getInverseEnvironment(p,E)]
 
 getSuccessEnvironment(a,e) ==
+  a is ["is",id,m] =>
+    IDENTP id and isDomainForm(m,$EmptyEnvironment) =>
+         e:=put(id,"specialCase",m,e)
+         currentProplist:= getProplist(id,e)
+         [.,.,e] := T := comp(m,$EmptyMode,e) or return nil -- duplicates compIs
+         newProplist:= consProplistOf(id,currentProplist,"value",[m,:rest removeEnv T])
+         addBinding(id,newProplist,e)
+    e
   a is ["case",x,m] and IDENTP x =>
     put(x,"condition",[a,:get(x,"condition",e)],e)
   e
-- 
cgit v1.2.3