effectfully
effectfully
> Let me have a look at this in the start of next week :) Sure, no rush. Please also review [this](https://github.com/input-output-hk/plutus/pull/4559/commits/5db7792218a0aa3ddc55b11a7eacaa124042aa88) commit that fixes handling of `TyIFix` in the...
I've run the tests ~500 times debugging an issue (more on that later) and got this once: Failure report ``` prop_genTypeCorrect: FAIL (0.40s) *** Failed! Falsified (after 483 tests): ty,tm...
I'm curious what happened to this PR.
> Unfortunately it really is the case that our fixpoint combinators can only handle things of function type (ultimately they're variants on the z combinator) It's fixable, though! We didn't...
The `metatheory` in general does not agree with the actual implementation w.r.t. builtins at the moment. This is to be fixed.
@zliu41 both 2 and 3 sound good to me. For 2 we could call the builtin `showSupported` or whatever to make it clear that it doesn't handle all the built-in...
@phadej > If it's possible to shuffle the type arguments to the front, that would be even better, but do you have such builtins? We don't. > (The specification doesn't...
> Is there `nil :: BuiltinList a` value? No. > EDIT: looks like that's what proposed at the end of that comment. I think you should investigate that. Lots of...
> I meant there doesn't seem to be a problem to make a binding for polymorphic error, even it's not a `BuiltinFun`. Ah, yeah, that wouldn't be a problem. But...
> Can builtin functions be partial at the moment? Yes, we have lots of those: [`HeadList`](https://github.com/input-output-hk/plutus/blob/c8c5183f7facd967d48fe07b3b14465b8dd48fe7/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs#L320-L330), [`DivideInteger`](https://github.com/input-output-hk/plutus/blob/c8c5183f7facd967d48fe07b3b14465b8dd48fe7/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs#L153-L156) (fails if the second argument is zero), [`IndexByteString`](https://github.com/input-output-hk/plutus/blob/c8c5183f7facd967d48fe07b3b14465b8dd48fe7/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs#L198-L201) etc.