Chris Smith

STAN-0302 is triggered on long contexts

2

The following code: ``` type Differentiable f = ( Functor f, GenericK f, GDifferentiable (RepK f), GBifunctor (GDiff (RepK f)) ) ``` triggers this message from stan in HLS: ```...

It seems that if "as" or "qualified" occur as substrings of the package name, they are highlighted as keywords

GHC 8.6 and 8.8 don't have unlifted newtypes, so Option is a type synonym for those versions. There are no tests, so I haven't tested this. It builds across all...

overlaps for Data.Vector.Mutable behaves oddly for empty vectors

2

The `basicOverlaps` implementation for Data.Vector.Mutable is: ``` haskell basicOverlaps (MVector i m arr1) (MVector j n arr2) = sameMutableArray arr1 arr2 && (between i j (j+n) || between j i...