Error when I try Integrating FRET with Copilot

[lht011129]

As I tried integrating FRET with Copilot as gif I uploaded, I missed the error called "error: Variable not in scope: notPreviousNot :: Stream Bool -> Stream Bool". I have no idea about this error and could you please provide some instructions or complete example? Thank you very much!

[ivanperez-keera]

This should now be solved in the version in the repo. Please be aware that the new interface to compile these files is:

$ ogma standalone --file-name some_file.json