LambdaQs / arrays

An λ-Q# extension for safe qubit arrays
MIT License
0 stars 0 forks source link

Include function and operation lambdas in the Q# parser #3

Closed k4rtik closed 2 years ago

k4rtik commented 2 years ago

Currently, both fail.

Tests are Libraries/Standard/QuantumROM.qs and Libraries/Standard/SinglyControlled.qs

k4rtik commented 2 years ago

@jakezweifler I have spent enough time on this issue and feeling like it's not worth supporting. The main issue is the reduce/reduce conflict between parsing a list of names as either binders (for lambdas) or as variables. I don't see any easy solution so far with BNFC.

I am marking this issue as won't fix.

To conclude, we can parse all the Q# Standard library except the two files mentioned in OP.

k4rtik commented 2 years ago

We might still be able to fix this issue by editing the generated parsers directly.