With the following rules:

	Conversion					-> PrimaryExpr{avoid}
	BuiltinCall					-> PrimaryExpr{avoid}
	PrimaryExpr Call			-> PrimaryExpr{cons("CallPrimaryExpr")}

I get the following amb:

            amb(
              [ Conversion(...))
              , BuiltinCall(...)
              , CallPrimaryExpr(...)
              ]
            )

Which should instead resolve to CallPrimaryExpr, since it is the only one not marked with avoid. Current (apparently) working workaround is to do the following:

	AvoidPrimaryExpr			-> PrimaryExpr{avoid}
	Conversion					-> AvoidPrimaryExpr
	BuiltinCall					-> AvoidPrimaryExpr
	PrimaryExpr Call			-> PrimaryExpr{cons("CallPrimaryExpr")}

Submitted by Sverre Rabbelier on 14 May 2011 at 20:00

With what version do you get this? If you disable parse filters (command-line parse with option -f) is the AST different for the workaround syntax?

Seems to be fixed on the nightly build.