The crash is due to the fact that the "_" is a placeholder for lambda expressions. However if the "_" appears without a surrounding "{ }" then the placeholder (Placeholder() instance) will make it all the way through to the translator and cause a MatchError.
The translator should catch this case and print a useful error.
The crash is due to the fact that the "_" is a placeholder for lambda expressions. However if the "_" appears without a surrounding "{ }" then the placeholder (Placeholder() instance) will make it all the way through to the translator and cause a MatchError.
The translator should catch this case and print a useful error.