Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

pattern id with double quotes #19

Open
ndr-brt opened this issue Jul 20, 2021 · 1 comment
Open

pattern id with double quotes #19

ndr-brt opened this issue Jul 20, 2021 · 1 comment

Comments

@ndr-brt
Copy link

ndr-brt commented Jul 20, 2021

In the highlight messages now I receive the id correctly, but if I send an id like:
d1
i receive in the message an id like that:
"d1"

so I have to remove the double quotes to match it

@yaxu
Copy link
Member

yaxu commented Jul 20, 2021

Hmm right.. This is because via ghci you can use any type with a Show instance.. But with tidal-listener it's always a string. I guess we should remove the quotes on the server side as they are indeed redundant.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants