!= does not always give error messages
// 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.Submitted by Daco Harkes on 26 October 2016 at 16:09
Eclipse: org.eclipse.platform.ide 4.6.1.M20160907-1200 Spoofax: org.metaborg.spoofax.eclipse 22.214.171.12461020-125857-master System: Mac OS X x86_64 10.11.6
Fixed in latest master.
On 27 October 2016 at 12:05 Hendrik van Antwerpen closed this issue.
Log in to post comments