Skip to content

Conversation

@thejohnfreeman
Copy link
Contributor

Closes #192

@thejohnfreeman
Copy link
Contributor Author

I have to say this is probably the best project I've ever seen when it comes to automated code quality management: tests with no failures, lint with no violations, and coverage near 100%, all automated. 👏

phadej
phadej previously requested changes Jan 8, 2017
}
});`
*/
function letrec(definition) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

smart. I see. The lazyArbs trick is because we don't know the key set before calling definition.

lib/arbitrary.js Outdated
}

/**
- `letrec(
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd prefer triple backtick js comments:

```js
var foo = 1 + 1:
```

@thejohnfreeman
Copy link
Contributor Author

Github tells me "Changes requested", and I pushed those changes. Is there anything left for me to do to move this forward? Do I need to click a button somewhere? I don't want to be pushy; just wondering if this PR is waiting on me.

@phadej
Copy link
Member

phadej commented Jan 12, 2017

I haven't time to review this. It's on my todo list. Sorry for delays.

@phadej phadej dismissed their stale review January 12, 2017 11:20

Needs rereview


/**
- ```js
letrec(
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is the formatting somehow off here, or is it just my eyes?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This has been fixed in the latest version. I don't know how to get Git to show that in the PR conversation, but you can see it in the commit.

});
arb.shrink = shrink.noop;
arb.show = show.def;
arb = arbitraryBless(arb);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the arbitraryBless could rebless the fields too. No need to do this, just a mental not for myself.

@phadej phadej merged commit bb6da57 into jsverify:master Mar 4, 2017
@thejohnfreeman
Copy link
Contributor Author

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants