Mustafa

Prune-unsorted when using reflected function in other modules

3

I have been receiving some "Constraint with free vars" errors while trying to reflect some functions and use them in proofs. After some digging, I found out the following reproduces...

crash SMTLIB2 on ADTs using dollar sign

4

Not sure how important is this to you, however, this: ```haskell proof1 :: Proof proof1 = Just 1 === (Just $ 1) ***QED ``` and this: ```haskell {-@ reflect foo...

Bedrock fails autocomplete: 'inferenceConfig.stopSequences' failed to satisfy constraint

3

### Before submitting your bug report - [X] I believe this is a bug. I'll try to join the [Continue Discord](https://discord.gg/NWtdYexhMs) for questions - [X] I'm not able to find...