Leonardo Santiago
Leonardo Santiago
When I added this error check, there was really no way to no if a name had been defined before or not (maybe checking if arity was defined for it?...
I believe I've fixed the `nix flake check` issue. When rigille added the nix-filter, he forgot to add it for the tests too.
Thanks for your review! I will address some comments, but I think it is worth going back and rewrite it in a overlay based approach. The main ideas should stay...
But yeah, just to finish up. The `seen` argument present in all the functions is already the `prev:` argument provided in the overlay approach, I would just need to add...
I can, I will get it done next week. The actual code pertaining to that is much much smaller and relatively simple, compared to the resolver.
+1 It makes very hard to iterate through big package sets (like `nixpgs`) when every attribute is read strictly, no only because of infinite recursion (`pkgs.pkgs`) but also because it...
What about adding a way to pattern match an specific type? For example, adding a `#` to the variable in the following rule: ``` (Counter {Add #n}) = ask x...
Of course, if the lambda term has a different arity than the contract expects, it could also get stuck. ``` fun (LambdaTwoArgs f) { (LambdaTwoArgs f) = ask state =...
What about the space limit? I think it should be able to limit both mana and space, if were we to implement this.
I believe this error has been resolved by #1231, which removes all usages of generics in postgrest (and actually fixes typing). If it happens again, please let me know and...