3 Commits

Author	SHA1	Message	Date
Artturin	7e49471316	treewide: optional -> optionals where the argument is a list ... the argument to optional should not be list	2022-10-10 15:40:21 +03:00
wchresta	205b0f2c5e	Idris2: Refactor default.nix ... We take the idris2 projects version of the derivation. Originally, Idris2 did not maintain their own nix derivation, so we created our own. Now they maintain their own derivation, so we should try to keep ours as close to theirs. This change comes with the following differences: * support files are in its own output, instead of packaged with idris2 - This makes it necessary to provide --package for contrib and network !!! This is a breaking change !!! * IDIRS2_PREFIX is set to ~/.idris2 instead of pointing to nix-store - This makes --install work as expected for the user * Properly set IDRIS2_PACKAGE_PATH * non-linux platform uses chez-racket instead of chez	2022-01-10 22:01:42 +01:00
wchresta	7389893ebf	idris2: add package tests ... We had some bugs because simple compilation / execution cases failed. This adds some very simple package tests that should help us find these.	2021-12-23 18:25:24 +01:00