eignnx / rellog

0 stars 0 forks source link

Open eignnx opened 2 months ago

eignnx commented 2 months ago

Example

-- [eq {"a[{..Rest}]" "abc"}]

    - Rest = b
    # Exactly 1 solution found.

Correct response should be Rest = "bc".

Something is messed up with text template unification.

eignnx commented 2 months ago

Is this a unification bug or a display bug or a parsing bug?