diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-28 18:07:04 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-28 18:07:04 +0000 |
| commit | 50ed8bf96290495632e99c28c3931d91bc91ccfe (patch) | |
| tree | c05e75a00457e1c5409694ad34dae4b0eb943f6d | |
| parent | e7fe326ba368d770b75e6b8fcc5356b72c68c8f3 (diff) | |
idris: ensure check returns true during failure.
| -rw-r--r-- | yellowsquid/packages/idris.scm | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index 7d6b9c2..64f5cc6 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -188,10 +188,11 @@ build us (which is potentially recursive), or use the captured compiler output ;; ;;(invoke-make "testenv") ;;(patch-shebang "build/stage2/runtests") - (,(if ignore-test-failures? - 'false-if-exception - 'begin) - (invoke-make "test")))))))) + ,(if ignore-test-failures? + '(begin + (false-if-exception (invoke-make "test")) + #true) + '(invoke-make "test")))))))) (properties `((hidden? . ,hidden?))) (home-page "https://www.idris-lang.org") (synopsis "General purpose language with full dependent types") |