Added some README remarks
Merge branch 'master' of github.com:fabianschuiki/Maxwell
Merge branch 'generics'
New problem set in debug.mw. Does not compile, somehow binding fails.
Removed obsolete files in php/lib.
Fixed README.
Removed broken lines from debug.php.
Improved display of null types in the LET dump. The unconstrained type is now shown.
Fixed a few constructor issues.
Only new specializations are being analyzed, not the entire scope anymore.
This implies that there now needs to be a mechanism that allows Func and ConcreteType nodes inform Ident nodes referencing them about changes in their type.
Highly improved specialization.
After the initial analysis, only new specializations are being analyzed. If they change type, other previously analyzed nodes are notified about the change an may then re-apply their constraints.
Minor fix that prevents Constraints from being added to a node's list of constraints twice.
Improved type change propagation for identifiers.
Now also call arguments are affected by changes in the called function's signature.
Improved type change notifications among the nodes.
The reverse case of debug.mw also works.
Fixed some issues with node cloning. BinaryOp_AST didn't adjust its tuple's parent property.
Added builtin binary operators. Improved ambiguity complaints.
Added more builtin types. Issue output is nicer. More nodes support the nice() and niceType() outputs.
Call now shows callee name if it is an Ident.
Fixed a small issue that prevented type changes to a Ident from getting propagated to the constraint target.