diff options
Diffstat (limited to 'src/interp/i-resolv.boot')
| -rw-r--r-- | src/interp/i-resolv.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot index bada82b8..217d81ad 100644 --- a/src/interp/i-resolv.boot +++ b/src/interp/i-resolv.boot @@ -341,7 +341,7 @@ resolveTTRed3(t) == (and/[member(x,a) for x in b] and "and"/[member(x,b) for x in a]) and a [(x isnt [.,:.] and x ) or ((not cs and x and not interpOp? x and x) or resolveTTRed3 x) or return nil - for x in t for cs in getDualSignatureFromDB first t ] + for x in t for cs in getDualSignature t.op ] interpOp?(op) == cons?(op) and @@ -755,7 +755,7 @@ replaceLast(A,t) == destructT(functor)== -- provides a list of booleans, which indicate whether the arguments -- to the functor are category forms or not - getDualSignatureFromDB opOf functor + getDualSignature opOf functor constructTowerT(t,TL) == -- t is a type, TL a list of constructors and argument lists |