search

Simn / haxe

6 stars 0 forks source link

fixed some unification problems like Type parameters are invariant, In should be In #9

Closed frabbit closed 10 years ago

frabbit commented 10 years ago

Is this a good idea?

Simn commented 10 years ago

I'm not sure. follow resolves typedefs, so you would not come across TType in e.g. unify_of. I guess we need some tests for that.

frabbit commented 10 years ago

I guess we need some specifications now,will try to create them after christmas.