diff options
| author | Marius Bakke <marius@gnu.org> | 2022-07-13 23:34:58 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-07-13 23:34:58 +0200 |
| commit | 4442a5db773f79e05c37e014c63b4298e7de666b (patch) | |
| tree | 880a6fdce7b288eaa506828b9b500191ca60ce24 /tests/monads.scm | |
| parent | 5b48591176a08bddfd0147bd854785fb4f6a62ba (diff) | |
| parent | b160795a0b65d67ff5d64447f1b97c2f009517a0 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'tests/monads.scm')
| -rw-r--r-- | tests/monads.scm | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/tests/monads.scm b/tests/monads.scm index 18bf4119be..19b74f4fb9 100644 --- a/tests/monads.scm +++ b/tests/monads.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2014, 2015, 2016, 2022 Ludovic Courtès <ludo@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -137,6 +137,19 @@ %monads %monad-run)) +(test-assert "mparameterize" + (let ((parameter (make-parameter 'outside))) + (every (lambda (monad run) + (equal? + (run (mlet monad ((outer (return (parameter))) + (inner + (mparameterize monad ((parameter 'inside)) + (return (parameter))))) + (return (list outer inner (parameter))))) + '(outside inside outside))) + %monads + %monad-run))) + (test-assert "mlet* + text-file + package-file" (run-with-store %store (mlet* %store-monad ((guile (package-file %bootstrap-guile "bin/guile")) |