//  type_type_e_constructor != Trait()  | error "Cannot instantiate traits"@name,
    type_type_e_constructor == Entity() | error "Cannot instantiate traits"@name.

The above code gives Cannot not unify Entity() with Trait(), but using the commented out version gives no error at all.

Eclipse: org.eclipse.platform.ide 4.6.1.M20160907-1200
Spoofax: org.metaborg.spoofax.eclipse 2.1.0.20161020-125857-master
System: Mac OS X x86_64 10.11.6
Submitted by Daco Harkes on 26 October 2016 at 16:09

On 27 October 2016 at 12:05 Hendrik van Antwerpen commented:

Fixed in latest master.


On 27 October 2016 at 12:05 Hendrik van Antwerpen closed this issue.

Log in to post comments