Use Global in Jig and Mug examples.

Author: dvanhorn

www/notes/jig.scrbl

@@ -210,7 +210,8 @@ Here's what this code will compile to, roughly:
 @#reader scribble/comment-reader
 (ex
 (asm-interp
- (seq (Label 'entry)
+ (seq (Global 'entry)
+      (Label 'entry)
 
       ;; calling (f 100), so set up return address,
       ;; push argument, then jump
@@ -419,7 +420,8 @@ We can modify the code to embody these ideas:
 @#reader scribble/comment-reader
 (ex
 (asm-interp
- (seq (Label 'entry)
+ (seq (Global 'entry)
+      (Label 'entry)
 
       ;; calling (f 100), so set up return address,
       ;; push argument, then jump
@@ -535,7 +537,8 @@ call:
 @#reader scribble/comment-reader
 (ex
 (asm-interp
- (seq (Label 'entry)
+ (seq (Global 'entry)
+      (Label 'entry)
 
       ;; TAIL calling (f 100),
       ;; no args to pop

www/notes/mug.scrbl

@@ -82,7 +82,8 @@ We can run it just to make sure:
 @ex[
 (unload/free
  (asm-interp
-  (seq (Label 'entry)
+  (seq (Global 'entry)
+       (Label 'entry)
        (Mov 'rbx 'rdi)
        (compile-string "Hello!")
        (Ret))))
@@ -143,7 +144,8 @@ following:
 @ex[
 (unload/free
  (asm-interp
-  (seq (Label 'entry)
+  (seq (Global 'entry)
+       (Label 'entry)
        (Lea 'rax 'hi)
        (Or 'rax type-str)
        (Ret)
@@ -191,7 +193,8 @@ instruction, instead computing that type tagging at link time:
 @ex[
 (unload/free
  (asm-interp
-  (seq (Label 'entry)
+  (seq (Global 'entry)
+       (Label 'entry)
        (Lea 'rax (Plus 'hi type-str))
        (Ret)
        (Data)
@@ -225,7 +228,8 @@ efficient to evaluate string literals.  We could replace the old
 
 (unload/free
  (asm-interp
-  (seq (Label 'entry)
+  (seq (Global 'entry)
+       (Label 'entry)
        (compile-string "Hello!")
        (Ret))))
 ]