diff options
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 |