Ollie Charles comments

Results 536 comments of


                                            Ollie Charles

CI on GitHub for GHC 8.0 - 9.10 (cabal) and 8.10 - 9.8 (stack)

Thanks, looks good to me!

Anonymous ROW expressions?

I'm not sure I've been convinced yet. Yes, that SQL might be convenient, but in Rel8 you can already do ```haskell where_ $ (userRank, id) >: lit (10, 100) ```...

feat: key repeat for binds

Nice work everyone - been really missing this for changing laptop brightness! :partying_face:

Should `ki` force the return value of a thread to WHNF?

One option might be to add `fork'`, using the convention that `'` means strict

Schema type checker

Thanks for all your hard work here @abigailalice and @KaneTW! There's quite a lot here so it might take me a while to get through this as I'm really busy...

Schema type checker

> Just remember that the middle commits aren't anything related to the actual PR, only the first and last are. This makes it very difficult to review. Could you rebase...

Schema type checker

@abigailalice purely time constraints I'm afraid! It's still on my radar. I'll be on holiday in a few days so this might need to wait until mid September

Documentation and compiler errors

Does the new `Unsatisfiable` constraint let us write some better type errors for these cases?

Expand failure tracking in `NonDet`

Which starts looking a lot like `` from parser combinators :smile:

When using `newlines-between-decls: 2`, declarations inside class and instance declarations should be (optionally?) use only single blank lines

I use 2 lines between decls and find this formatting fine. For small classes with a bunch of one liners we use no newline at all, and for bigger definitions...