Assignment of entity types
The typechecker accepts assignments from entity type names, like
var x := User;
where User is an entity name.
The type of the variable is now inferred as GenericSort(“EntityType”,[SimpleSort(“User”)]), on which the back-end gives an internal error.Submitted by Nathan Bruning on 21 May 2010 at 16:10
Log in to post comments