diff options
author | dos-reis <gdr@axiomatics.org> | 2008-07-26 14:40:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-07-26 14:40:52 +0000 |
commit | be940a4126a9e972f4a15c104b0acd26b791d889 (patch) | |
tree | 097b247bf3551a76cda0335dcb10c151c63a4144 /src | |
parent | f9543e098c7a6a3707b7c92e92cadcab11784f0d (diff) | |
download | open-axiom-be940a4126a9e972f4a15c104b0acd26b791d889.tar.gz |
* interp/compiler.boot (getConstructorFormOfMode): Remove.
(getConstructorMode): Likewise.
(isConstructorForm): Likewise.
Diffstat (limited to 'src')
-rw-r--r-- | src/ChangeLog | 6 | ||||
-rw-r--r-- | src/interp/compiler.boot | 17 |
2 files changed, 6 insertions, 17 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index bcdd3f9b..8f16524f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2008-07-26 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/compiler.boot (getConstructorFormOfMode): Remove. + (getConstructorMode): Likewise. + (isConstructorForm): Likewise. + 2008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/scan.boot: Tidy. 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 |