search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
123 stars 16 forks source link

Preprocessor bug #394

Closed ionchirica closed 4 months ago

ionchirica commented 4 months ago

This simple PR aims to fix the issue #393.

I added a test that covers the function keyword, I think it suffices but let me know if more are needed :)

ionchirica commented 4 months ago

You are right!

I was trying to piggyback on a test file that was more closely related, but I see that it might not be so clear what it tried to achieve.

n-osborne commented 4 months ago

Do you want to clean up the git history or do I "squash and merge"?

ionchirica commented 4 months ago

Squash and merge would do just fine :smiley: