plredmond comments

Results 71 comments of


                                            plredmond

Combining servers from APIs defined as generic records of routes

https://github.com/haskell-servant/servant/issues/1339 is related.

Mappend PrimitiveArrays or PrimitiveStreams of varying topologies.

Since the topologies of PrimitiveArrays and PrimitiveStreams and similar are represented as a type parameter, they're distinct types. As a result, they won't work with the `mappend` function which requires...

Buffer writes not happening in the right order

Are you still having this issue? It looks like your `renderObject` function could write uniform data or render arbitrary objects depending on the constructor of `RenderObject os`. This could perhaps...

Buffer writes not happening in the right order

Ok! Glad it's not affecting you anymore.

Operate on a shared object space from two threads concurrently

Might close this depending on discussion in #77.

Totality checker case hinting and assuming in proofs

No, this PR should be closed. I never merged it originally b/c the implementation is a very awkward hack (encoding arbitrary show/read data into `Tick`/`RealSrcSpan` and relying on the ability...

Totality checker case hinting and assuming in proofs

Closed per discussion and staleness.

Red Knot - Add symbol flags

> It says three flags are supported, but it seems like just two? That was a typo of "these". Sorry. I've added a commit for the other variant of Kind.

Add fix to remove unused standard library imports from `init.py` files

For the purposes of this check, I'm going to consider `from __future__ import ...` style imports to be "standard library".

Add fix to remove unused standard library imports from `init.py` files

Considered together with #10391, does this summary of behaviors seem right? Old table ``` for some unused import... future → no diagnostic or fix stdlib ∧ in_init → unsafe, remove...