hare-specification: s/global namespace/root namespace/g v1 APPLIED

Sebastian: 1
 s/global namespace/root namespace/g

 1 files changed, 2 insertions(+), 2 deletions(-)

[PATCH hare-specification] s/global namespace/root namespace/g Export this patch

The term "root namespace" is defined elsewhere in the spec

Signed-off-by: Sebastian <sebastian@sebsite.pw>
---
 environment.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/environment.tex b/environment.tex
index a84613e..c28004f 100644
--- a/environment.tex
+++ b/environment.tex
@@ -109,7 +109,7 @@ freestanding environment.
 
 \specsubsubitem
 In the hosted environment, the program entry point shall be an exported
-function named \code{main} in the global namespace. It shall have no parameters
+function named \code{main} in the root namespace. It shall have no parameters
 and a result type of \terminal{void}.
 
 \informative{The signature of a conformant entry point follows:}
@@ -118,7 +118,7 @@ and a result type of \terminal{void}.
 export fn main() void;
 \end{codesample}
 
-\informative{The program shall provide this function in the global namespace.}
+\informative{The program shall provide this function in the root namespace.}
 
 \specsubsection{Program execution}
 
-- 
2.40.1

builds.sr.ht <builds@sr.ht>

3 months ago

hare-specification/patches/.build.yml: SUCCESS in 3m32s

[s/global namespace/root namespace/g][0] from [Sebastian][1]

[0]: https://lists.sr.ht/~sircmpwn/hare-dev/patches/41705
[1]: mailto:sebastian@sebsite.pw

✓ #1003058 SUCCESS hare-specification/patches/.build.yml https://builds.sr.ht/~sircmpwn/job/1003058

Ember Sawady <ecs@d2evs.net>

3 months ago

thanks!

to git@git.sr.ht:~sircmpwn/hare-specification
  63749a9..5679e84  master -> master