diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-12-07 23:16:40 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-08 00:47:26 +0100 |
commit | a1d7920861a8d6c6774149eaf939eb2636942090 (patch) | |
tree | efaff4d16b328112f28259fa260e4ec107789ce3 /gnu | |
parent | deeaa9e1993b9c4684be8879d154000d234a5c24 (diff) | |
download | patches-a1d7920861a8d6c6774149eaf939eb2636942090.tar patches-a1d7920861a8d6c6774149eaf939eb2636942090.tar.gz |
machine: Remove unnecessary record self-referencing bindings.
'this-machine' and 'this-machine-ssh-configuration' were useless given
that there are no thunked fields.
* gnu/machine.scm (<machine>)[this-machine]: Remove.
* gnu/machine/ssh.scm (<machine-ssh-configuration>)
[this-machine-ssh-configuration]: Remove.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/machine.scm | 5 | ||||
-rw-r--r-- | gnu/machine/ssh.scm | 1 |
2 files changed, 1 insertions, 5 deletions
diff --git a/gnu/machine.scm b/gnu/machine.scm index b342fe2144..bdd92d9592 100644 --- a/gnu/machine.scm +++ b/gnu/machine.scm @@ -33,7 +33,6 @@ machine machine? - this-machine machine-operating-system machine-environment @@ -89,10 +88,8 @@ ;;; Declarations for machines in a deployment. ;;; -(define-record-type* <machine> machine - make-machine +(define-record-type* <machine> machine make-machine machine? - this-machine (operating-system %machine-operating-system); <operating-system> (environment machine-environment) ; symbol (configuration machine-configuration ; configuration object diff --git a/gnu/machine/ssh.scm b/gnu/machine/ssh.scm index 1b88fb44cc..d6ce1253a4 100644 --- a/gnu/machine/ssh.scm +++ b/gnu/machine/ssh.scm @@ -74,7 +74,6 @@ (define-record-type* <machine-ssh-configuration> machine-ssh-configuration make-machine-ssh-configuration machine-ssh-configuration? - this-machine-ssh-configuration (host-name machine-ssh-configuration-host-name) ; string (system machine-ssh-configuration-system) ; string (build-locally? machine-ssh-configuration-build-locally? ; boolean |