diff options
Diffstat (limited to 'src/interp/i-funsel.boot')
| -rw-r--r-- | src/interp/i-funsel.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index 512b0a77..ffdea965 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -1480,9 +1480,9 @@ hasCaty(d,cat,SL) == for c in cat.args while SL isnt "failed" repeat SL := hasCaty(d,c,SL) SL - x:= hasCat(opOf d,opOf cat) => - y:= KDR cat => - S := constructSubst d + x := (cons? d and cons? cat and hasCat(d,cat)) => + y := KDR cat => + S := constructSubst d for [z,:cond] in x until S1 isnt 'failed repeat S' := [[p, :mkDomPvar(p, d, z, y)] for [p,:d] in S] if $domPvar then |