FURCAS-dev/FURCAS — Issue #123: PrettyPrinter support for Semantic-Disambiguation
Author: StephanErb
Created: 2011-11-12 15:05:05+00:00
State: open

The PrettyPrinter does not know about semantic disambiguation. It will simply try to apply a template (and eventually backtrack), regardless of any semantic predicate.

Is this behavior ok, or does it actually have to perform such a check?