Tracking issue: Implement all language features

[jlapeyre]

What constitutes "implement" is not defined here. Perhaps it means: does most things correctly end to end. But making sure semantic information and checking is correct is not required here. Although some of that is being added concurrently.

Task lists for each item are in the linked issue.

Expressions and statements

• Support version directive #118
• Support alias (let) statement #120
• Support annotations #121
• explicit casting implementation #153
• Assignment
• barrier Get barrier working end to end #39, No-argument form of barrier unsupported in semantic analysis #58
• Implement "block scope" #124
• Implement box #125
• break statement
• continue statement
• Implement cal statement #126
• Classical declaration
• Quantum declaration
• cal: calibration blocks
• Implement defcal #127
• Implement def #128
• Implement delay #129
• stretch implement end to end #148
• end statement
• Implement extern #130
• Implement for statement #131
• gate calls
  • modified gate calls
  • gphase calls
  • Durations on gate calls #149
• old-style gate declarations
• pragma Done in Implement pragma end to end #141
• reset statement reset: implement #132, Implement reset end to end #134
• return statement return: implement #133, Implement return #135
• switch-case statement
• while statement
• input keyword: implement end to end #144
• output
• duration literals: implement end to end #145
• concatenation (++): implement end to end #146

Types

• Array types. array type: implement #155 . Partially supported.
• Complex number type spec: Support complex type annotation (declaration) #191
• Complex literals: Support imaginary numbers and complex literals #190
• real() and imag()

Semantics

• Type promotion
  • Implicit type promotion for arithmetic operators #147

Built in functions

• durationof