Re: [Ur] SQL table.field IN list

2019-01-13 Thread Adam Chlipala
Yes, "IN" isn't supported by Ur/Web at the moment, and I would be glad to see a PR adding support!  It could probably be as simple as modeling the second argument of "IN" as a regular Ur/Web list, processed internally with a fold similar to what Simon wrote externally (but generating "IN" synta

Re: [Ur] SQL table.field IN list

2019-01-12 Thread Artyom Shalkhakov
Hi Simon, сб, 12 янв. 2019 г. в 16:15, Simon Van Casteren : > > Hi, > > Am I correct in thinking that the standard library/compiler doesn't support > SQL "IN" statements? It's something that I use a lot in my programs, and in > psql for example you can just do: > > SELECT * > FROM uw_lesson_less

Re: [Ur] SQL table.field IN list

2019-01-12 Thread Athene Noctua
I've also run into this issue a while ago. I haven't found anything in a standard library, but I did find a function similar to yours in UPO so I copied it. Would it be worth adding to Top? Or maybe support for IN could be added to the compiler? ___ Ur ma

[Ur] SQL table.field IN list

2019-01-12 Thread Simon Van Casteren
Hi, Am I correct in thinking that the standard library/compiler doesn't support SQL "IN" statements? It's something that I use a lot in my programs, and in psql for example you can just do: SELECT * FROM uw_lesson_lessons WHERE uw_id in (1, 2, 3) I made my own function to handle this, using a bu