Skip to content

Better handling of pipes and double pipes#139

Merged
runarberg merged 1 commit intomainfrom
double-pipe
Mar 13, 2025
Merged

Better handling of pipes and double pipes#139
runarberg merged 1 commit intomainfrom
double-pipe

Conversation

@runarberg
Copy link
Owner

  • Use the stopAt during parsing rather than a post-hoc fix to find a matching pipe.
  • Terms that end or start with a double pipe will use the double vertical bar literal instead of the default parrallel-to. The former isn’t streatchy and a poor fit for fences.
  • Infix operations will try to include the whole pipe dilimited term, instead of only the last pipe.

resolves #138

- Use the stopAt during parsing rather than a post-hoc fix to find a
  matching pipe.
- Terms that end or start with a double pipe will use the double
  vertical bar literal instead of the default parrallel-to. The former
  isn’t streatchy and a poor fit for fences.
- Infix operations will try to include the whole pipe dilimited term,
  instead of only the last pipe.

resolves #138
@runarberg runarberg merged commit 1267501 into main Mar 13, 2025
6 checks passed
@runarberg runarberg deleted the double-pipe branch March 13, 2025 02:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

double pipe should behave like single pipe

1 participant