| 6 Oct 2025 |
Andrea Ciceri | E comunque non lo usi da dentro il modulo stesso, devi prendere il punto fisso gia' computato | 07:53:16 |
Andrea Ciceri | Ma e' computazionalmente pesante | 07:52:20 |
David | non si può fare il filter perché:
- se fai il set alla stessa priorità diventa un infinite recursion
- se fai il set a una priorità più alta non hai accesso alla versione calcolata delle altre priorità | 07:51:10 |
Andrea Ciceri | esatto, stavo per scrivere la prima! Forse puoi usare extendModules | 07:51:58 |
David | o forse si, ma è una cosa così internal che non la userei comunque | 07:51:30 |
Francesco | Anzi il filter non so se sia possibile, ma mkForce sì | 07:50:02 |
Francesco | Nel secondo caso credo che tu possa andare a fare un filter sulla lista. So che se vuoi forzare una lista ad essere vuota puoi usare mkForce tipo environment.defaultPackages = lib.mkForce [] ti toglie tutti i default packages | 07:48:57 |
Francesco | Eh sì hai ragione | 07:51:50 |