fix bug introduced by pull request #395

au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

fix bug introduced by pull request #395 #409

Closed gteege closed 2 years ago

gteege commented 2 years ago

The bug caused an endless loop when generating the shallow embedding for BilbyFs. It could be prevented by flag --fno-simplify-shallow-tuples. Now it works again without the flag and produces a nice shallow embedding.