Re: clojure.spec: behaviour of ? macro

2017-01-28 Thread Marc Wilhelm Küster
Hi Leon, thanks a lot for your explanation that a "regex-op outside of a regex-op always specs a collection". Then the behaviour is indeed clear Best regards Marc Am Sonntag, 29. Januar 2017 00:32:14 UTC+1 schrieb Leon Grapenthin: > > Hi Marc, > > note that the return of gen/sample is 10

Re: clojure.spec: behaviour of ? macro

2017-01-28 Thread Leon Grapenthin
Hi Marc, note that the return of gen/sample is 10 examples. Each one is a collection. So the collection [] matches your spec, as does [:c]. And so on. A regex-op outside of a regex-op always specs a collection. If used within another regex-op, it just specs an element. To illustrate:

Re: A more mathematical kind of set object in clojure

2017-01-28 Thread Herwig Hochleitner
core.logic's CLP(FD) extensions, for finite domains, might also suit your needs: https://github.com/clojure/core.logic/wiki/Features#clpfd​ -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com

Re: A more mathematical kind of set object in clojure

2017-01-28 Thread Herwig Hochleitner
There is a talk by Alex Engelberg about constraint solvers and his clojure interface to one of them: https://github.com/aengelberg/loco https://www.youtube.com/watch?v=AEhULv4ruL4 I'm not quite familiar with it, but maybe it's relevant to your requirements. ​ -- You received this message because

Re: ANN: ClojureScript 1.9.456, Externs Inference & Comprehensive JS Modules Support

2017-01-28 Thread Francesco Bellomi
Found, thanks! Francesco -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this

clojure.spec: behaviour of ? macro

2017-01-28 Thread Marc Wilhelm Küster
Good afternoon, like obviously quite a few others on this list I am looking into the upcoming (and IMHO absolutely great) clojure.spec During this I noted that the ? macro seems to behave differently from what I would have naively expected from its documentation (cf.

Re: ANN: ClojureScript 1.9.456, Externs Inference & Comprehensive JS Modules Support

2017-01-28 Thread David Nolen
Looks like you have a dependency issue. Use `lein deps :tree` or the equivalent command to sort it out. HTH David On Saturday, January 28, 2017, Francesco Bellomi < francesco.bell...@gmail.com> wrote: > Hi, > > first of all, congratulations on this release, it's a huge step ahead. > > I'm

Re: ANN: ClojureScript 1.9.456, Externs Inference & Comprehensive JS Modules Support

2017-01-28 Thread Francesco Bellomi
Hi, first of all, congratulations on this release, it's a huge step ahead. I'm having an issue compiling a program with advanced optimizations, which worked fine with .293 I get the following exception, any ideas on how can i narrow down the problem within my source? Exception in thread