k0001

I think it's important to keep in mind the use case here. QuickCheck is used to write tests which we expect to fail in _some_ way if anything goes wrong....

It doesn't work because `"regexp_matches"` gets renamed to `"T1"`. See: ``` opa-test=> SELECT "regexp_matches0_1" as "result1_2" opa-test-> FROM (SELECT * opa-test(> FROM (SELECT "regexp_matches" as "regexp_matches0_1" opa-test(> FROM regexp_matches(E's1xs2',E's.',E'g') as...

If that inner `as "T1"` in `FROM regexp_matches(E's1xs2',E's.',E'g') as "T1"` could be omitted, it would work: ``` opa-test=> SELECT "regexp_matches0_1" as "result1_2" FROM (SELECT * FROM (SELECT "regexp_matches" as "regexp_matches0_1"...

@tomjaguarpaw is that reliable? Can I count on the column always being named `"T1"` even if this query will perhaps be used in larger queries, where perhaps there's a "T1"...

@tomjaguarpaw noted, thanks! I think we should leave this issue open, in any case, as this still needs fixing even if there is a workaround.

Sure, let's discuss it. A couple of more comments/opinion about this: - This is how the SQL ends up currently looking like in the system log: https://gist.githubusercontent.com/k0001/df57c255c5ad85c3f839/raw/1efa89e65f3c6fcb46e09bed9bed242e90b731be/gistfile1.txt (SQL from the...

In the project I'm currently working on I've been rewriting the `with*` functions so that they work on any `(MonadIO m, MonadCatch m)`. `MonadCatch` is from the [exceptions](http://hackage.haskell.org/package/exceptions) package by...

What I mean by saying that this is compatible with `Parser` is that `Parser` is: ``` haskell forall x. StateT (Producer a m x) m r ``` And this function...

That would be probably more useful, yes. I still won't fit in the `Parser` type, which might be confusing to users (though not more confusing than the proposed `atEndOfInput`). What...

I've changed it to `next` in `pipes-binary` and the result looks fine: https://github.com/k0001/pipes-binary/commit/0930cb07738b5754f53e230e93dddfec463bee4d I understand what you say about `next` or `draw'` unintentionally drawing a value. I think that in...