diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 20:34:24 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 20:34:24 +1300 |
| commit | c9e156fdc3449d1cbc9dac4176cc460f6462ef18 (patch) | |
| tree | eff51bebfc12e4417a6d70c49d696d703bd43745 /src/kompsos-pretty_print.adb | |
| parent | 9ae0a7e7c5d7669a81fe9eba13ff9c6224635efe (diff) | |
Prelude now derives its own World so dot notation works for those subprograms
Diffstat (limited to 'src/kompsos-pretty_print.adb')
| -rw-r--r-- | src/kompsos-pretty_print.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb index 87131e1..88c13c7 100644 --- a/src/kompsos-pretty_print.adb +++ b/src/kompsos-pretty_print.adb @@ -29,6 +29,8 @@ package body Kompsos.Pretty_Print is end Image; + + function Image (Item : in ID_Number) return String is @@ -123,11 +125,11 @@ package body Kompsos.Pretty_Print is function Image - (Item : in World) + (Item : in Mu_World'Class) return String is Result : SU.Unbounded_String; - Scratch : World := Item; + Scratch : Mu_World'Class := Item; Counter : Positive := 1; begin if not Scratch.Has_State (Counter) then |