Clarification of @"..." expansion in unsatisfiable rules in the verifier


The section on unsatisfiable rules in the verifier ( should mention that @"..." are expanded before everything else. That is, an unsatisfiable rule will not be unsatisfiable because an anchor doesn't match. (It might make sense to also say in the "anchor specifiers" section that @"..." expansion is done in a preprocessor step, before anything else.)

pludemann created this task.Via WebFri, Feb 17, 11:24 AM
pludemann added a subscriber: pludemann.
Herald added a subscriber: Core Team. · View Herald TranscriptVia HeraldFri, Feb 17, 11:24 AM

Add Comment