From 183205a639e54e3f1601dcb9a887c387b9b877fb Mon Sep 17 00:00:00 2001 From: Colin O'Keefe Date: Tue, 24 Sep 2024 15:59:37 -0700 Subject: [PATCH] cleaning --- src/coalton/ast/unresolved.lisp | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/src/coalton/ast/unresolved.lisp b/src/coalton/ast/unresolved.lisp index 757d19cb..3141df32 100644 --- a/src/coalton/ast/unresolved.lisp +++ b/src/coalton/ast/unresolved.lisp @@ -120,7 +120,7 @@ (define-type (MaybeFormal :t) "A wrapper type representing a value which may in some contexts be -represented by a formal name." + represented by a formal name." (Actual :t) (Formal String)) @@ -183,9 +183,9 @@ represented by a formal name." (define (offset-amount (MemOffset _ amount)) amount) (define-type (PauliTerm :num) - (PauliTerm String ; pauli word, string of pauli gate names X,Y,Z,I - :num ; prefactor - (List String))) ; arguments + (PauliTerm String ; pauli word, string of pauli gate names X,Y,Z,I + :num ; prefactor + (List String))) ; arguments (define (pauli-term-word (PauliTerm word _ _)) word) (define (pauli-term-prefactor (PauliTerm _ pf _)) pf) @@ -264,8 +264,6 @@ represented by a formal name." (Measure (MaybeFormal Ufix) (MaybeFormal Ref)) (MeasureDiscard (MaybeFormal Ufix))) - - ;; end module )