-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Context blocks #14
Context blocks #14
Conversation
093ac68
to
7e4dec3
Compare
ac29904
to
a94933c
Compare
I think something is broken 😞 |
I think my comment above should fix the type errors! I'd just commit that change myself, but I've been swamped with other stuff |
note for myself: add adr about context block design |
39c5519
to
374309b
Compare
If we want to make a context block scoped to one comment then we need to figure out when a new comment begins. Currently we just get a list of comment lines without a distinction of when a new "block" starts. |
Yeah seems totally reasonable. I'm not totally convinced we want helpers locally scoped anyways. |
I think this is good enough for now. |
-- Setup for examples below: | ||
-- | ||
-- @ | ||
-- result :: Maybe [Char] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All imports from the module under verification are implicitly imported in the generated context module.
dc18e25
to
51e6158
Compare
51e6158
to
79ff047
Compare
f3f9247
to
ad7d32a
Compare
cc5e808
to
0036cbe
Compare
fixes #8