Rules that do not work anymore (skipped duplicate and similar rules):

AttributeName(name) : type
where definition of name : type
	
Integer(x) : PrimitiveType("Int")

BinExp(exp1, operator, exp2) : exp2type
	where	exp1		: exp1type
	and		exp2		: exp2type
	and		exp1type == exp2type
	else error "Not the same types supplied to the Binary Operator." on exp2

NavigateIn(prevNav, navType, inRole, EntityType(relationType)) : relationType
	where prevNav	: prevNavType
	and inRole		: inRoleType
	and prevNavType == inRoleType
	else error "The inRole is of the wrong type." on inRole

Rules that work fine (without duplicates):

AttributeValue(attributeName, attributeValue) :-
	where	attributeName		: attributeType
	and		attributeValue	: valueType
	and		attributeType == valueType
	else error "Wrong type supplied" on attributeValue

The pattern seems to be that all the constraints work, but that everything that computes a type does not generate stratego code.

All these rules worked before the latest nightly.

Submitted by Daco Harkes on 5 March 2014 at 12:00

On 5 March 2014 at 13:04 Guido Wachsmuth commented:

This was caused by an erroneous merge of code added by Gabriƫl to allow for multiple patterns in the LHS of a rule, and by me to desugar type patterns into property patterns. Should be fixed now. If you do not want to wait for the next build, you can checkout TS into your workspace.


On 5 March 2014 at 13:04 Guido Wachsmuth closed this issue.

Log in to post comments