Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

introduce a ParExpression AST node type

See original GitHub issue

I can no longer compile the language module, since new code like:

[""->""].map((k->v) => v else "<null>");

desugars to the invalid:

[""->""].map((entry) => let (k->v = entry) v else "null");

Ceylon AST complains:

Exception in thread "main" ceylon.language.AssertionError "Assertion failed: Check precedence
    violated is DisjoiningExpression|IfElseExpression|LetExpression expression = expressionToCeylon(letClause.expression, update)"
    at ceylon.ast.redhat.letExpressionToCeylon_.letExpressionToCeylon(LetExpression.ceylon:25)
    at ceylon.ast.redhat.expressionToCeylon_.expressionToCeylon(Expression.ceylon:31)

The Redhat AST is:

|  |  |  |  |  |  |  |  |  |  +  [Expression] (2:27-2:41) : String
|  |  |  |  |  |  |  |  |  |  |  +  [LetExpression] (2:27-2:41) : String
|  |  |  |  |  |  |  |  |  |  |  |  +  [LetClause] (2:27-2:41)
|  |  |  |  |  |  |  |  |  |  |  |  |  +  [Destructure] (2:18-2:21)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [ValueModifier] : unknown
|  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [KeyValuePattern] (2:18-2:21)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [VariablePattern] (2:18-2:18)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [Variable] (2:18-2:18) : value k => String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  + k [Identifier] (2:18-2:18)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [ValueModifier] : String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [VariablePattern] (2:21-2:21)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [Variable] (2:21-2:21) : value v => String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  + v [Identifier] (2:21-2:21)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [ValueModifier] : String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [SpecifierExpression]
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [Expression] : String->String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [BaseMemberExpression] : String->String : _0 : value run.anonymous#0._0 => String->String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  + _0 [Identifier]
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [InferredTypeArguments]
|  |  |  |  |  |  |  |  |  |  |  |  |  +  [Expression] (2:27-2:41) : String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  + else [DefaultOp] (2:27-2:41) : String
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [BaseMemberExpression] (2:27-2:27) : String : v : value v => String [!][expression type is not optional: 'String' cannot be null]
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  + v [Identifier] (2:27-2:27)
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  +  [InferredTypeArguments]
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  + <null> [StringLiteral] (2:34-2:41) : String