Re: question regarding substitute* and #t

2018-01-25 Thread Maxim Cournoyer
Andy Wingo writes: > On Thu 25 Jan 2018 06:31, Maxim Cournoyer writes: > >> Where does this `invoke' comes from? Geiser is unhelpful at finding it, >> and it doesn't seem to be documented in the Guile Reference? > > https://lists.gnu.org/archive/html/guix-devel/2018-01/msg00163.html OK, so `inv

Re: question regarding substitute* and #t

2018-01-25 Thread Mark H Weaver
Arun Isaac writes: > Mark H Weaver writes: > >> After we switch to using 'invoke' everywhere, or more precisely, after >> we arrange to never return #false from any phase or snippet, then >> there should be one more step before removing the vestigial #true >> returns: we should change the code t

Re: question regarding substitute* and #t

2018-01-25 Thread Arun Isaac
Mark H Weaver writes: > After we switch to using 'invoke' everywhere, or more precisely, after > we arrange to never return #false from any phase or snippet, then > there should be one more step before removing the vestigial #true > returns: we should change the code that calls phases or snippets

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Thu 25 Jan 2018 06:31, Maxim Cournoyer writes: > Where does this `invoke' comes from? Geiser is unhelpful at finding it, > and it doesn't seem to be documented in the Guile Reference? https://lists.gnu.org/archive/html/guix-devel/2018-01/msg00163.html

Re: question regarding substitute* and #t

2018-01-24 Thread Maxim Cournoyer
Andy Wingo writes: > On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > >> Andy Wingo writes: >> >>> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >>> + ;; Install to the right directory + (substitute* '("Makefile" +"Qsci/Make

Re: question regarding substitute* and #t

2018-01-24 Thread Ricardo Wurmus
Andy Wingo writes: >> I wonder why substitute* not simply returns #t?! > > There was a proposal to make it return #t! However then someone pointed > out that actually instead of making phases return boolean results, we > should instead signal problems via exceptions, and that drove the shift >

Re: question regarding substitute* and #t

2018-01-24 Thread Kei Kebreau
Andy Wingo writes: > On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > >> Andy Wingo writes: >> >>> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >>> + ;; Install to the right directory + (substitute* '("Makefile" +"Qsci/Make

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Wed 24 Jan 2018 15:45, Hartmut Goebel writes: > Am 24.01.2018 um 13:14 schrieb Andy Wingo: >> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >> >>> + ;; Install to the right directory >>> + (substitute* '("Makefile" >>> +"Qsci/Makefile") >>

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > Andy Wingo writes: > >> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >> >>> + ;; Install to the right directory >>> + (substitute* '("Makefile" >>> +"Qsci/Makefile") >>> + (("\

Re: question regarding substitute* and #t

2018-01-24 Thread Hartmut Goebel
Am 24.01.2018 um 13:14 schrieb Andy Wingo: > On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > >> + ;; Install to the right directory >> + (substitute* '("Makefile" >> +"Qsci/Makefile") >> + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+"

Re: question regarding substitute* and #t

2018-01-24 Thread Mark H Weaver
Hi Andy, Andy Wingo writes: > On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > >> + ;; Install to the right directory >> + (substitute* '("Makefile" >> +"Qsci/Makefile") >> + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+") >> +

question regarding substitute* and #t (was: Simplifications enabled by switching to 'invoke')

2018-01-24 Thread Andy Wingo
Hi! On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > + ;; Install to the right directory > + (substitute* '("Makefile" > +"Qsci/Makefile") > + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+") > +(assoc-ref outputs "out"