Skip to content

Commit 834a621

Browse files
committed
Fix printer for label offsets.
1 parent f848dc6 commit 834a621

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

langs/a86/printer.rkt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -49,6 +49,8 @@
4949
[(? reg?) (reg->string t)]
5050
[(Offset (? reg? r) i)
5151
(string-append "[" (reg->string r) " + " (number->string i) "]")]
52+
[(Offset (? label? l) i)
53+
(string-append "[" (label-symbol->string l) " + " (number->string i) "]")]
5254
[_ (label-symbol->string t)]))
5355

5456
;; Arg -> String

0 commit comments

Comments
 (0)