search

metaborg / nabl

Spoofax' Name Binding Language
Apache License 2.0
7 stars 12 forks source link

Precompiling query with negation does not terminate. #103

Open AZWN opened 2 years ago

AZWN commented 2 years ago

Bug description Pre-compiling a query with a negation in its WFL does not terminate

Steps to reproduce the behavior Use Spoofax > Syntax > Show Pre-compiled AST on

resolve query ()
  filter (~L1)* in new |-> _

signature
  name-resolution
    labels L1

Observed behavior Transformation running indefinitely.

Expected behavior Open a file that contains the compiled version of the test.