Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow escaping of characters in the delimiter #560

Open
Laschoking opened this issue Dec 5, 2024 · 0 comments
Open

Allow escaping of characters in the delimiter #560

Laschoking opened this issue Dec 5, 2024 · 0 comments
Labels
Parser Rule-Parser-Related Issue

Comments

@Laschoking
Copy link

Currently the delimiter must be a single character.
Maybe the escaping of characters should be allowed to have quotes as separator.
@export Test :- dsv{delimiter="\""}.

This would also allow an alternative formulation for tsv files with @export Test :- dsv{delimiter="\t"}. , that can be beneficial when translating Souffle into Nemo, and vice versa.

@github-project-automation github-project-automation bot moved this to Todo in nemo Dec 5, 2024
@mmarx mmarx added the Parser Rule-Parser-Related Issue label Dec 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Parser Rule-Parser-Related Issue
Projects
Status: Todo
Development

No branches or pull requests

2 participants