Use format-real when emitting a pauli sum prefactor

Closes #908
quil-lang · Jan 5, 2024 · 3448732 · 3448732
1 parent ac4effe
commit 3448732
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/ast.lisp b/src/ast.lisp
@@ -1738,7 +1738,7 @@ For example,
         (format stream "    ~a(" pauli-word)
         (typecase prefactor
           (number
-           (format stream "~a" prefactor))
+           (format-real prefactor stream))
           ((or symbol cons)
            (print-instruction (make-delayed-expression nil nil prefactor) stream)))
         (format stream ")")

diff --git a/tests/printer-test-files/gold-standard/gh-issue-908.quil b/tests/printer-test-files/gold-standard/gh-issue-908.quil
@@ -0,0 +1,12 @@
+# Input
+DEFGATE SQRTSWAP p q AS PAULI-SUM:
+    XX(pi/8) p q
+    YY(pi/8) p q
+    ZZ(pi/8) p q
+# Output
+DEFGATE SQRTSWAP p q AS PAULI-SUM:
+    XX(pi/8) p q
+    YY(pi/8) p q
+    ZZ(pi/8) p q
+
+