Ellie Hermaszewska

For example: - original: `let a@1 = 2 in a` -> `pattern match failure` - with `dsPatX`: `let {1 = 2; a_0 = 1} in a_0` -> `1` - with...

dsDoStmts doesn't support ApplicativeDo

2

It might be nice if `dsDoStmts` would use Applicative combinators rather than `>>=` where possible to enable make the output a little more general.

many and some for permutation parsers

9

Would be nice to have something like this. @recursion-ninja do you think this makes sense? ```haskell manyPerm :: Functor m => m a -> Permutation m [a] manyPerm parser =...

libGL isn't put in /run/opengl-driver/lib on Ubuntu 16.10

4

`glxinfo` doesn't work after running the install script on Ubuntu 16.10 as libGL.so isn't linked into `/run/opengl-driver/lib`. This might be a duplicate of #6

Alternative to the overlapping instance

4

Not sure if this is of interest: ```haskell newtype GStored a = GStored a instance (Generic a, GStorable' (Rep a), KnownNat (NoFields (Rep a))) => GStorable (GStored a) where gsizeOf...

Automatic import of pattern synonyms does not import the correct name

10

With files `Foo.hs` and `Bar.hs` ```haskell module Foo where pattern P = () ``` ```haskell module Bar where bar = P ``` in `Bar.hs` observe that the code actions available...

Closes #4441 and #4434

Closes #4533 Fixes part of #4531

For some targets we lower 1 vectors to just the element type, this prevents some snippets applying correctly because they're expecting a vector type.

`all` intrinsic fails codegen on cuda and spirv

1

blocking https://github.com/shader-slang/slang/pull/4529