Szabo Gergely

I would love to see something like a property testing tool, instead of a compile-time check. I agree with @nikita-volkov in that, the latter can get painful with different environments....

I added type definitions to the library itself in a [PR](https://github.com/conorhastings/use-reducer-with-side-effects/pull/37) and I currently use the generated definitions in one of my projects: ```ts import { Dispatch } from "react"...

Hey @ak3n ! It looks like this issue is still not fixed, could we reopen it?

@ak3n Just to make sure I understand it correctly, a primary solution would be to change wrong error calls such as this: https://github.com/input-output-hk/plutus/blob/master/plutus-tx/src/PlutusTx/Ratio.hs#L184 To traceError calls, such as this: https://github.com/input-output-hk/plutus/blob/master/plutus-tx/src/PlutusTx/List.hs#L139

People tend to assume a lot of things unfortunately, and also, people tend to not read the documentation. Could we expose some smart constructors that validate these values? Is it...

@michaelpj I just want to get some idea about where to go next, I think adding some docs would be a good first step, but I wonder if we could...

Thank you for the prompt reply. I'll try to start a postgres server with nix.

In some cases, additional restrictions need to be inserted in the middle of a query. For example, if the query has a `count(*)`, that also requires a `GROUP BY` at...

Putting this here for reference, if anyone else bumps into this later: https://github.com/purescript/spago/issues/888

> Seems like WCH-Link does not adhere to the spec, but I guess we can make this a bit more resilient! Yes, I'm not exactly sure if this is even...