-
Notifications
You must be signed in to change notification settings - Fork 47
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
make showing something implicit #271
Comments
Indeed, this has annoyed me in the past as well, but this behavior is actually closer to ghci behavior than it may first appear. In ghci, without a ":" prefix, everything is basically run in a weird version of I do like that that the ":showexpr" makes the type of the expression completely unambiguous which can emphasize the various type of expressions, especially for beginners, so how about a compromise? Just like in ghci, we could trim the ":" commands to the minimum shortness. Would |
I put together a prototype of the shortened command version on the "271_shorten_colon_commands" branch in case you want to check it out. |
I see your point. Or does a :showatom |
In tutorial, a lot of example needs :showexpr to see results.
But in ghci, there is no need to type show. You just type it and it will show what it is.
Sometimes, I just want to try some ideas to see if it is what I think.
relations, atoms, relational expressions and function applications are something I want to see the results immediately.
It may help people trying things in tutd.
The text was updated successfully, but these errors were encountered: