http://d.puremagic.com/issues/show_bug.cgi?id=2522
Summary: Combining two types Product: D Version: 1.038 Platform: PC OS/Version: Linux Status: NEW Keywords: spec Severity: major Priority: P2 Component: DMD AssignedTo: bugzi...@digitalmars.com ReportedBy: aziz.ke...@gmail.com What is the correct way to unify the types of two operands of a binary operator? The specs talk here and there a little bit about rules for implicit conversions, but that doesn't really tell me much about how to implement this stuff in my own compiler. I'd love to have a detailed guide for how to actually do semantic analysis in a D compiler. There really need to be documents that explain the D language with actual compiler writers in mind. I have seen such a thing for Java some time ago on the web. I would've given a link, but I don't remember anymore where I saw it. Perhaps somebody, who knows the front-end well, could help you out on typing up these kind of documents? A sort of collaborative project using a wiki system? Most of the time I simply have no clue what to do, SA is darn complex. :( --