search

quil-lang / quilc

The optimizing Quil compiler.
Apache License 2.0
452 stars 73 forks source link

compile CONTROLLED R[XYZ] allowing symbolic parameters #833

Closed stylewarning closed 2 years ago

stylewarning commented 2 years ago

This allows programs like

DECLARE t REAL
CONTROLLED RX(t) 0 1
CONTROLLED RY(t) 0 1
CONTROLLED RZ(t) 0 1

to be compiled. It's unclear whether the forked compiler should handle these.

See https://github.com/quil-lang/quilc/issues/832 for details.

stylewarning commented 2 years ago

Ignore the force-pushes above. They were some typos and other goof-ups. Should be good-to-go now.

notmgsk commented 2 years ago

:chefskiss: