From 0cd1e7828d3f9c38bfde474c2d3c84afded3f6e3 Mon Sep 17 00:00:00 2001
From: John Ericson <John.Ericson@Obsidian.Systems>
Date: Sun, 19 Jan 2025 17:50:24 -0500
Subject: [PATCH] Change deriving path pseudo-code

---
 doc/manual/source/store/drv.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/manual/source/store/drv.md b/doc/manual/source/store/drv.md
index 11e792301..b9b6d1b31 100644
--- a/doc/manual/source/store/drv.md
+++ b/doc/manual/source/store/drv.md
@@ -143,7 +143,7 @@ In pseudo code:
 type OutputName = String
 
 data DerivingPath
-  = ConstantPath { path : StorePath }
+  = Constant { path : StorePath }
   | Output {
       drvPath : StorePath,
       output  : OutputName,
@@ -235,7 +235,7 @@ Derivations are the same except for using the new extended deriving path data ty
 type OutputName = String
 
 data DerivingPath
-  = ConstantPath { storeObj : StorePath }
+  = Constant { storeObj : StorePath }
   | Output {
       drv    : DerivingPath, -- Note: changed
       output : OutputName,
@@ -244,7 +244,7 @@ data DerivingPath
 
 Now, the `drv` field of `Output` is itself a `DerivingPath` instead of an `StorePath`.
 
-Under this extended model, `DerivingPath`s are thus inductively built up from an `ConstantPath`, contains in 0 or more outer `Output`s.
+Under this extended model, `DerivingPath`s are thus inductively built up from an `Constant`, contains in 0 or more outer `Output`s.
 
 ### Encoding {#deriving-path-encoding}