Skip to content
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

We shouldn't logShow effectful calls in the console #11

Open
IvantheTricourne opened this issue Mar 19, 2017 · 1 comment
Open

We shouldn't logShow effectful calls in the console #11

IvantheTricourne opened this issue Mar 19, 2017 · 1 comment

Comments

@IvantheTricourne
Copy link
Collaborator

This might be a little bit difficult, since, until now, most calls done inside of a REPL are pure values, which need to be logShowed.

On the other hand, running quickCheck is an effectful computation, which we generally do using the TEST button.

My idea is to use the TEST button to poll both the editor code and the input. In the event that there is input, that computation should be fed directly into the main without a logShow.

This seems to be the simplest way of handling this.

@IvantheTricourne
Copy link
Collaborator Author

Example:

quickCheck should not be logShowed. Doing so triggers a type error.

image

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

No branches or pull requests

1 participant