diff options
-rw-r--r-- | blocking.arc.t | 1 | ||||
-rw-r--r-- | chessboard.arc.t | 1 | ||||
-rw-r--r-- | edit.arc.t | 1 | ||||
-rw-r--r-- | mu.arc | 18 | ||||
-rw-r--r-- | mu.arc.t | 2 |
5 files changed, 15 insertions, 8 deletions
diff --git a/blocking.arc.t b/blocking.arc.t index e7535506..80f7f229 100644 --- a/blocking.arc.t +++ b/blocking.arc.t @@ -1,4 +1,5 @@ (selective-load "mu.arc" section-level) +(set allow-raw-addresses*) (reset) (new-trace "blocking-example") diff --git a/chessboard.arc.t b/chessboard.arc.t index 78f9531a..71b456b6 100644 --- a/chessboard.arc.t +++ b/chessboard.arc.t @@ -1,4 +1,5 @@ (selective-load "mu.arc" section-level) +(set allow-raw-addresses*) (reset) (new-trace "read-move-legal") diff --git a/edit.arc.t b/edit.arc.t index 7a9d4f20..ff039602 100644 --- a/edit.arc.t +++ b/edit.arc.t @@ -1,4 +1,5 @@ (selective-load "mu.arc" section-level) +(set allow-raw-addresses*) (section 100 diff --git a/mu.arc b/mu.arc index 272a3b8a..71e2f251 100644 --- a/mu.arc +++ b/mu.arc @@ -1375,15 +1375,17 @@ (trace "cn1" instr)) instrs) +(= allow-raw-addresses* nil) (def check-default-space (instrs name) - (let oarg-names (accum yield - (each (oargs _ _) (map parse-instr (keep acons ; non-label - instrs)) - (each oarg oargs - (when nondummy.oarg - (yield v.oarg))))) - (when (~pos 'default-space oarg-names) - (prn "function @name has no default-space")))) + (unless allow-raw-addresses* + (let oarg-names (accum yield + (each (oargs _ _) (map parse-instr (keep acons ; non-label + instrs)) + (each oarg oargs + (when nondummy.oarg + (yield v.oarg))))) + (when (~pos 'default-space oarg-names) + (prn "function @name has no default-space"))))) ; assign an index to an arg (def maybe-add (arg location idx) diff --git a/mu.arc.t b/mu.arc.t index 622ea7a9..68dfbd73 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -116,6 +116,8 @@ (selective-load "mu.arc" section-level) ;? (quit) +(set allow-raw-addresses*) + (section 20 ; Our language is assembly-like in that functions consist of series of |