fix golden tests and lambda case

gelisam / klister

an implementation of stuck macros

BSD 3-Clause "New" or "Revised" License

132 stars 11 forks source link

fix golden tests and lambda case #138

Closed gelisam closed 3 years ago

gelisam commented 3 years ago

the existing implementation of lambda-case was strangely-limited: only a single pattern-rhs pair was allowed. with this PR, several are now allowed.

I added a new file to test this feature, and in doing so, I found a flaw in my reimplementation of the golden tests accidentally dropped an important feature: generating the golden files when they don't yet exist. this PR fixes that too.

gelisam commented 3 years ago

Darn, while we can easily fix the implementation in this repo, the incorrect implementation is immortalized in our TyDe presentation :(