From be940a4126a9e972f4a15c104b0acd26b791d889 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 26 Jul 2008 14:40:52 +0000
Subject: 	* interp/compiler.boot (getConstructorFormOfMode): Remove. 
 (getConstructorMode): Likewise. 	(isConstructorForm): Likewise.

---
 src/interp/compiler.boot | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'src/interp')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index e8621c03..79b5d862 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -569,23 +569,6 @@ checkCallingConvention(sigs,nargs) ==
   v
 
 
-getConstructorFormOfMode(m,e) ==
-  isConstructorForm m => m
-  m := RepIfRepHack m
-  atom m and get(m,"value",e) is [v,:.] =>
-    isConstructorForm v => v
-
-getConstructorMode(x,e) ==
-  atom x => (u:= getmode(x,e) or return nil; getConstructorFormOfMode(u,e))
-  x is ["elt",y,a] =>
-    u:= getConstructorMode(y,e)
-    u is ["Vector",R] or u is ["List",R] =>
-      isConstructorForm R => R
-    u is ["Record",:l] =>
-      (or/[p is [., =a,R] for p in l]) and isConstructorForm R => R
-
-isConstructorForm u == u is [name,:.] and member(name,'(Record Vector List))
-
 eltModemapFilter(name,mmList,e) ==
   isConstantId(name,e) =>
     l:= [mm for mm in mmList | mm is [[.,.,.,sel,:.],:.] and sel=name] => l
-- 
cgit v1.2.3