You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was surprised to see that the output of the transform command is not a transformed expression, but two expressions with some supplementary information around. Only after some research I found out that I have to use the --single option in order to get a proper output. I suggest making --single option turned ON by default. Only if the user need more "verbose" output, we print both expressions.
The text was updated successfully, but these errors were encountered:
I was surprised to see that the output of the
transform
command is not a transformed expression, but two expressions with some supplementary information around. Only after some research I found out that I have to use the--single
option in order to get a proper output. I suggest making--single
option turned ON by default. Only if the user need more "verbose" output, we print both expressions.The text was updated successfully, but these errors were encountered: