Błąd #1264

Unifikacja nie wykreśla leksemów, gdy są niedospecyfikowane pozycje

Added by Adam Radziszewski over 12 years ago. Updated over 12 years ago.

Status:ZamkniętyStart date:15 Feb 2011
Priority:NormalnyDue date:
Assignee:Adam Radziszewski% Done:

100%

Category:-
Target version:-

Description

W sytuacji, gdy jedyna droga uzgodnienia przechodzi przez leksemy niedospecyfikowane, należy tylko je zostawić. Przykład podany jest w testach. Powinien zostawić tylko „nie”/qub, a zostawia wszystkie tagi. Pozostałe leksemy mają przypadek „acc”, który naruszałby uzgodnienie, więc trzeba je wywalić.

Gdyby uzgodnienie przechodziło przez leksem częściowo dospecyfikowany, powinien pozostać, tylko jeśli jego dospecyfikowane atrybuty nie naruszałyby uzgodnienia (no chyba, że nie dałoby się uzgodnić zakresu, to wszystko powinno pozostać).


Related issues

Related to WCCL - Błąd #1266: Wyjątkowo słabe uzgodnienie w unify Zamknięty 15 Feb 2011

History

#1 Updated by Adam Wardyński over 12 years ago

  • Status changed from Nowy to Rozwiązany
  • Assignee changed from Adam Wardyński to Adam Radziszewski
  • % Done changed from 0 to 100

Poprawiłem błąd - w praktyce polegał na tym, że gdyby trzeba było usunąć wszystkie leksemy poza niedospecyfikowanym, to w praktyce nic się nie działo, bo "aktualnie pozostające" dospecyfikowane leksemy nie były ustawiane na pusty zbiór, zachowując tym samym swój pełny, oryginalny wygląd.

Test wywala się jednak teraz w innym miejcu, co jednak wg mnie jest zachowaniem zgodnym ze specyfikacją - otwieram osobne issue na to. Być może wprowadziłem inny błąd.

#2 Updated by Adam Radziszewski over 12 years ago

  • Status changed from Rozwiązany to Zamknięty

Also available in: Atom PDF