projects/ldc: dmd/opover.c annotate

annotate dmd/opover.c @ 1578:1dee66f6ec0b

Removed a chunk of code in favour of a shorter and more portable method

author	Robert Clipsham <robert@octarineparrot.com>
date	Tue, 08 Sep 2009 11:21:30 +0100
parents	78038e540342
children	def7a1d494fd

rev	line source
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	1
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	2 // Compiler implementation of the D programming language
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	3 // Copyright (c) 1999-2007 by Digital Mars
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	4 // All Rights Reserved
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	5 // written by Walter Bright
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	6 // http://www.digitalmars.com
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	7 // License for redistribution is by either the Artistic License
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	9 // See the included readme.txt for details.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	10
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	11 #include <stdio.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	12 #include <stdlib.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	13 #include <ctype.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	14 #include <assert.h>
1133 eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	15 #if _MSC_VER
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	16 #include <complex>
1133 eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	17 #else
eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	18 #include <complex>
eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	19 #endif
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	20
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	21 #include "rmem.h"
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	22
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	23 //#include "port.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	24 #include "mtype.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	25 #include "init.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	26 #include "expression.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	27 #include "id.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	28 #include "declaration.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	29 #include "aggregate.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	30 #include "template.h"
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	31 #include "scope.h"
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	32
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	33 static Expression build_overload(Loc loc, Scope sc, Expression ethis, Expression earg, Identifier *id);
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	34 static void inferApplyArgTypesX(Module* from, FuncDeclaration fstart, Arguments arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	35 static int inferApplyArgTypesY(TypeFunction tf, Arguments arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	36 static void templateResolve(Match m, TemplateDeclaration td, Scope sc, Loc loc, Objects targsi, Expressions *arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	37
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	38 /****************************** Expression ************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	39
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	40
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	41 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	42 * Determine if operands of binary op can be reversed
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	43 * to fit operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	44 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	45
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	46 int Expression::isCommutative()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	47 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	48 return FALSE; // default is no reverse
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	49 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	50
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	51 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	52 * Get Identifier for operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	53 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	54
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	55 Identifier *Expression::opId()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	56 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	57 assert(0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	58 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	59 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	60
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	61 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	62 * Get Identifier for reverse operator overload,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	63 * NULL if not supported for this operator.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	64 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	65
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	66 Identifier *Expression::opId_r()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	67 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	68 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	69 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	70
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	71 /*********************** Operators ***************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	72
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	73 Identifier *UAddExp::opId() { return Id::uadd; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	74
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	75 Identifier *NegExp::opId() { return Id::neg; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	76
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	77 Identifier *ComExp::opId() { return Id::com; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	78
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	79 Identifier *CastExp::opId() { return Id::cast; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	80
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	81 Identifier *InExp::opId() { return Id::opIn; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	82 Identifier *InExp::opId_r() { return Id::opIn_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	83
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	84 Identifier *PostExp::opId() { return (op == TOKplusplus)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	85 ? Id::postinc
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	86 : Id::postdec; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	87
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	88 int AddExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	89 Identifier *AddExp::opId() { return Id::add; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	90 Identifier *AddExp::opId_r() { return Id::add_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	91
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	92 Identifier *MinExp::opId() { return Id::sub; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	93 Identifier *MinExp::opId_r() { return Id::sub_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	94
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	95 int MulExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	96 Identifier *MulExp::opId() { return Id::mul; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	97 Identifier *MulExp::opId_r() { return Id::mul_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	98
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	99 Identifier *DivExp::opId() { return Id::div; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	100 Identifier *DivExp::opId_r() { return Id::div_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	101
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	102 Identifier *ModExp::opId() { return Id::mod; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	103 Identifier *ModExp::opId_r() { return Id::mod_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	104
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	105 Identifier *ShlExp::opId() { return Id::shl; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	106 Identifier *ShlExp::opId_r() { return Id::shl_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	107
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	108 Identifier *ShrExp::opId() { return Id::shr; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	109 Identifier *ShrExp::opId_r() { return Id::shr_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	110
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	111 Identifier *UshrExp::opId() { return Id::ushr; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	112 Identifier *UshrExp::opId_r() { return Id::ushr_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	113
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	114 int AndExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	115 Identifier *AndExp::opId() { return Id::iand; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	116 Identifier *AndExp::opId_r() { return Id::iand_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	117
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	118 int OrExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	119 Identifier *OrExp::opId() { return Id::ior; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	120 Identifier *OrExp::opId_r() { return Id::ior_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	121
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	122 int XorExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	123 Identifier *XorExp::opId() { return Id::ixor; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	124 Identifier *XorExp::opId_r() { return Id::ixor_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	125
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	126 Identifier *CatExp::opId() { return Id::cat; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	127 Identifier *CatExp::opId_r() { return Id::cat_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	128
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	129 Identifier * AssignExp::opId() { return Id::assign; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	130 Identifier * AddAssignExp::opId() { return Id::addass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	131 Identifier * MinAssignExp::opId() { return Id::subass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	132 Identifier * MulAssignExp::opId() { return Id::mulass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	133 Identifier * DivAssignExp::opId() { return Id::divass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	134 Identifier * ModAssignExp::opId() { return Id::modass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	135 Identifier * AndAssignExp::opId() { return Id::andass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	136 Identifier * OrAssignExp::opId() { return Id::orass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	137 Identifier * XorAssignExp::opId() { return Id::xorass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	138 Identifier * ShlAssignExp::opId() { return Id::shlass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	139 Identifier * ShrAssignExp::opId() { return Id::shrass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	140 Identifier *UshrAssignExp::opId() { return Id::ushrass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	141 Identifier * CatAssignExp::opId() { return Id::catass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	142
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	143 int EqualExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	144 Identifier *EqualExp::opId() { return Id::eq; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	145
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	146 int CmpExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	147 Identifier *CmpExp::opId() { return Id::cmp; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	148
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	149 Identifier *ArrayExp::opId() { return Id::index; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	150
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	151
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	152 /************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	153 * Operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	154 * Check for operator overload, if so, replace
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	155 * with function call.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	156 * Return NULL if not an operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	157 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	158
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	159 Expression UnaExp::op_overload(Scope sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	160 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	161 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	162 Dsymbol *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	163 Type *t1 = e1->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	164
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	165 if (t1->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	166 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	167 ad = ((TypeClass *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	168 goto L1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	169 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	170 else if (t1->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	171 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	172 ad = ((TypeStruct *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	173
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	174 L1:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	175 fd = search_function(ad, opId());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	176 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	177 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	178 if (op == TOKarray)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	179 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	180 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	181 ArrayExp ae = (ArrayExp )this;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	182
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	183 e = new DotIdExp(loc, e1, fd->ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	184 e = new CallExp(loc, e, ae->arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	185 e = e->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	186 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	187 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	188 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	189 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	190 // Rewrite +e1 as e1.add()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	191 return build_overload(loc, sc, e1, NULL, fd->ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	192 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	193 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	194 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	195 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	196 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	197
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	198
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	199 Expression BinExp::op_overload(Scope sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	200 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	201 //printf("BinExp::op_overload() (%s)\n", toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	202
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	203 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	204 Type *t1 = e1->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	205 Type *t2 = e2->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	206 Identifier *id = opId();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	207 Identifier *id_r = opId_r();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	208
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	209 Match m;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	210 Expressions args1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	211 Expressions args2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	212 int argsset = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	213
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	214 AggregateDeclaration *ad1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	215 if (t1->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	216 ad1 = ((TypeClass *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	217 else if (t1->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	218 ad1 = ((TypeStruct *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	219 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	220 ad1 = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	221
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	222 AggregateDeclaration *ad2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	223 if (t2->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	224 ad2 = ((TypeClass *)t2)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	225 else if (t2->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	226 ad2 = ((TypeStruct *)t2)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	227 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	228 ad2 = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	229
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	230 Dsymbol *s = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	231 Dsymbol *s_r = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	232 FuncDeclaration *fd = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	233 TemplateDeclaration *td = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	234 if (ad1 && id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	235 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	236 s = search_function(ad1, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	237 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	238 if (ad2 && id_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	239 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	240 s_r = search_function(ad2, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	241 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	242
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	243 if (s \|\| s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	244 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	245 /* Try:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	246 * a.opfunc(b)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	247 * b.opfunc_r(a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	248 * and see which is better.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	249 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	250 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	251 FuncDeclaration *lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	252
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	253 args1.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	254 args1.data[0] = (void*) e1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	255 args2.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	256 args2.data[0] = (void*) e2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	257 argsset = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	258
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	259 memset(&m, 0, sizeof(m));
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	260 m.last = MATCHnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	261
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	262 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	263 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	264 fd = s->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	265 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	266 {
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	267 overloadResolveX(&m, fd, &args2, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	268 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	269 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	270 { td = s->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	271 templateResolve(&m, td, sc, loc, NULL, &args2);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	272 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	273 }
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	274
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	275 lastf = m.lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	276
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	277 if (s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	278 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	279 fd = s_r->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	280 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	281 {
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	282 overloadResolveX(&m, fd, &args1, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	283 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	284 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	285 { td = s_r->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	286 templateResolve(&m, td, sc, loc, NULL, &args1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	287 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	288 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	289
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	290 if (m.count > 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	291 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	292 // Error, ambiguous
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	293 error("overloads %s and %s both match argument list for %s",
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	294 m.lastf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	295 m.nextf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	296 m.lastf->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	297 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	298 else if (m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	299 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	300 m.lastf = m.anyf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	301 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	302
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	303 if (op == TOKplusplus \|\| op == TOKminusminus)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	304 // Kludge because operator overloading regards e++ and e--
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	305 // as unary, but it's implemented as a binary.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	306 // Rewrite (e1 ++ e2) as e1.postinc()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	307 // Rewrite (e1 -- e2) as e1.postdec()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	308 e = build_overload(loc, sc, e1, NULL, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	309 else if (lastf && m.lastf == lastf \|\| m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	310 // Rewrite (e1 op e2) as e1.opfunc(e2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	311 e = build_overload(loc, sc, e1, e2, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	312 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	313 // Rewrite (e1 op e2) as e2.opfunc_r(e1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	314 e = build_overload(loc, sc, e2, e1, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	315 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	316 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	317
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	318 if (isCommutative())
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	319 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	320 s = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	321 s_r = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	322 if (ad1 && id_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	323 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	324 s_r = search_function(ad1, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	325 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	326 if (ad2 && id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	327 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	328 s = search_function(ad2, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	329 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	330
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	331 if (s \|\| s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	332 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	333 /* Try:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	334 * a.opfunc_r(b)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	335 * b.opfunc(a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	336 * and see which is better.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	337 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	338 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	339 FuncDeclaration *lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	340
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	341 if (!argsset)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	342 { args1.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	343 args1.data[0] = (void*) e1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	344 args2.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	345 args2.data[0] = (void*) e2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	346 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	347
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	348 memset(&m, 0, sizeof(m));
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	349 m.last = MATCHnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	350
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	351 if (s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	352 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	353 fd = s_r->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	354 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	355 {
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	356 overloadResolveX(&m, fd, &args2, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	357 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	358 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	359 { td = s_r->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	360 templateResolve(&m, td, sc, loc, NULL, &args2);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	361 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	362 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	363 lastf = m.lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	364
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	365 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	366 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	367 fd = s->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	368 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	369 {
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	370 overloadResolveX(&m, fd, &args1, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	371 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	372 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	373 { td = s->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	374 templateResolve(&m, td, sc, loc, NULL, &args1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	375 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	376 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	377
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	378 if (m.count > 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	379 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	380 // Error, ambiguous
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	381 error("overloads %s and %s both match argument list for %s",
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	382 m.lastf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	383 m.nextf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	384 m.lastf->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	385 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	386 else if (m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	387 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	388 m.lastf = m.anyf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	389 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	390
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	391 if (lastf && m.lastf == lastf \|\|
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	392 id_r && m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	393 // Rewrite (e1 op e2) as e1.opfunc_r(e2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	394 e = build_overload(loc, sc, e1, e2, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	395 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	396 // Rewrite (e1 op e2) as e2.opfunc(e1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	397 e = build_overload(loc, sc, e2, e1, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	398
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	399 // When reversing operands of comparison operators,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	400 // need to reverse the sense of the op
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	401 switch (op)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	402 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	403 case TOKlt: op = TOKgt; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	404 case TOKgt: op = TOKlt; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	405 case TOKle: op = TOKge; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	406 case TOKge: op = TOKle; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	407
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	408 // Floating point compares
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	409 case TOKule: op = TOKuge; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	410 case TOKul: op = TOKug; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	411 case TOKuge: op = TOKule; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	412 case TOKug: op = TOKul; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	413
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	414 // These are symmetric
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	415 case TOKunord:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	416 case TOKlg:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	417 case TOKleg:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	418 case TOKue:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	419 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	420 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	421
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	422 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	423 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	424 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	425
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	426 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	427 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	428
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	429 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	430 * Utility to build a function call out of this reference and argument.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	431 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	432
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	433 static Expression build_overload(Loc loc, Scope sc, Expression ethis, Expression earg, Identifier *id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	434 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	435 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	436
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	437 //printf("build_overload(id = '%s')\n", id->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	438 //earg->print();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	439 //earg->type->print();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	440 e = new DotIdExp(loc, ethis, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	441
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	442 if (earg)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	443 e = new CallExp(loc, e, earg);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	444 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	445 e = new CallExp(loc, e);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	446
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	447 e = e->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	448 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	449 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	450
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	451 /***************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	452 * Search for function funcid in aggregate ad.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	453 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	454
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	455 Dsymbol search_function(AggregateDeclaration ad, Identifier *funcid)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	456 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	457 Dsymbol *s;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	458 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	459 TemplateDeclaration *td;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	460
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	461 s = ad->search(0, funcid, 0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	462 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	463 { Dsymbol *s2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	464
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	465 //printf("search_function: s = '%s'\n", s->kind());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	466 s2 = s->toAlias();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	467 //printf("search_function: s2 = '%s'\n", s2->kind());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	468 fd = s2->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	469 if (fd && fd->type->ty == Tfunction)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	470 return fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	471
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	472 td = s2->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	473 if (td)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	474 return td;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	475 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	476 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	477 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	478
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	479
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	480 /*****************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	481 * Given array of arguments and an aggregate type,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	482 * if any of the argument types are missing, attempt to infer
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	483 * them from the aggregate type.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	484 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	485
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	486 void inferApplyArgTypes(enum TOK op, Arguments arguments, Expression aggr, Module* from)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	487 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	488 if (!arguments \|\| !arguments->dim)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	489 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	490
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	491 /* Return if no arguments need types.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	492 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	493 for (size_t u = 0; 1; u++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	494 { if (u == arguments->dim)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	495 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	496 Argument arg = (Argument )arguments->data[u];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	497 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	498 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	499 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	500
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	501 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	502 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	503
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	504 Argument arg = (Argument )arguments->data[0];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	505 Type *taggr = aggr->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	506 if (!taggr)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	507 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	508 Type *tab = taggr->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	509 switch (tab->ty)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	510 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	511 case Tarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	512 case Tsarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	513 case Ttuple:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	514 if (arguments->dim == 2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	515 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	516 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	517 arg->type = Type::tsize_t; // key type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	518 arg = (Argument *)arguments->data[1];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	519 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	520 if (!arg->type && tab->ty != Ttuple)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	521 arg->type = tab->nextOf(); // value type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	522 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	523
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	524 case Taarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	525 { TypeAArray taa = (TypeAArray )tab;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	526
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	527 if (arguments->dim == 2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	528 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	529 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	530 arg->type = taa->index; // key type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	531 arg = (Argument *)arguments->data[1];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	532 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	533 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	534 arg->type = taa->next; // value type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	535 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	536 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	537
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	538 case Tclass:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	539 ad = ((TypeClass *)tab)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	540 goto Laggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	541
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	542 case Tstruct:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	543 ad = ((TypeStruct *)tab)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	544 goto Laggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	545
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	546 Laggr:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	547 #if 0
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	548 if (arguments->dim == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	549 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	550 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	551 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	552 /* Look for an opNext() overload
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	553 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	554 Dsymbol *s = search_function(ad, Id::next);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	555 fd = s ? s->isFuncDeclaration() : NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	556 if (!fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	557 goto Lapply;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	558 arg->type = fd->type->next;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	559 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	560 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	561 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	562 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	563 Lapply:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	564 { /* Look for an
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	565 * int opApply(int delegate(ref Type [, ...]) dg);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	566 * overload
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	567 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	568 Dsymbol *s = search_function(ad,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	569 (op == TOKforeach_reverse) ? Id::applyReverse
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	570 : Id::apply);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	571 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	572 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	573 fd = s->isFuncDeclaration();
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	574 if (fd)
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	575 inferApplyArgTypesX(from, fd, arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	576 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	577 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	578 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	579
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	580 case Tdelegate:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	581 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	582 if (0 && aggr->op == TOKdelegate)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	583 { DelegateExp de = (DelegateExp )aggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	584
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	585 fd = de->func->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	586 if (fd)
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	587 inferApplyArgTypesX(from, fd, arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	588 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	589 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	590 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	591 inferApplyArgTypesY((TypeFunction *)tab->nextOf(), arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	592 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	593 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	594 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	595
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	596 default:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	597 break; // ignore error, caught later
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	598 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	599 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	600
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	601 /********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	602 * Recursive helper function,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	603 * analogous to func.overloadResolveX().
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	604 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	605
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	606 int fp3(void param, FuncDeclaration f)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	607 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	608 Arguments arguments = (Arguments )param;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	609 TypeFunction tf = (TypeFunction )f->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	610 if (inferApplyArgTypesY(tf, arguments) == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	611 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	612 if (arguments->dim == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	613 return 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	614 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	615 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	616
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	617 static void inferApplyArgTypesX(Module* from, FuncDeclaration fstart, Arguments arguments)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	618 {
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	619 overloadApply(from, fstart, &fp3, arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	620 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	621
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	622 #if 0
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	623 static void inferApplyArgTypesX(FuncDeclaration fstart, Arguments arguments)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	624 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	625 Declaration *d;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	626 Declaration *next;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	627
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	628 for (d = fstart; d; d = next)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	629 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	630 FuncDeclaration *f;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	631 FuncAliasDeclaration *fa;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	632 AliasDeclaration *a;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	633
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	634 fa = d->isFuncAliasDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	635 if (fa)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	636 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	637 inferApplyArgTypesX(fa->funcalias, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	638 next = fa->overnext;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	639 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	640 else if ((f = d->isFuncDeclaration()) != NULL)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	641 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	642 next = f->overnext;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	643
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	644 TypeFunction tf = (TypeFunction )f->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	645 if (inferApplyArgTypesY(tf, arguments) == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	646 continue;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	647 if (arguments->dim == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	648 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	649 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	650 else if ((a = d->isAliasDeclaration()) != NULL)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	651 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	652 Dsymbol *s = a->toAlias();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	653 next = s->isDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	654 if (next == a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	655 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	656 if (next == fstart)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	657 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	658 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	659 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	660 { d->error("is aliased to a function");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	661 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	662 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	663 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	664 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	665 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	666
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	667 /******************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	668 * Infer arguments from type of function.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	669 * Returns:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	670 * 0 match for this function
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	671 * 1 no match for this function
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	672 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	673
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	674 static int inferApplyArgTypesY(TypeFunction tf, Arguments arguments)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	675 { size_t nparams;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	676 Argument *p;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	677
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	678 if (Argument::dim(tf->parameters) != 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	679 goto Lnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	680 p = Argument::getNth(tf->parameters, 0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	681 if (p->type->ty != Tdelegate)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	682 goto Lnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	683 tf = (TypeFunction *)p->type->nextOf();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	684 assert(tf->ty == Tfunction);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	685
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	686 /* We now have tf, the type of the delegate. Match it against
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	687 * the arguments, filling in missing argument types.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	688 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	689 nparams = Argument::dim(tf->parameters);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	690 if (nparams == 0 \|\| tf->varargs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	691 goto Lnomatch; // not enough parameters
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	692 if (arguments->dim != nparams)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	693 goto Lnomatch; // not enough parameters
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	694
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	695 for (size_t u = 0; u < nparams; u++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	696 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	697 Argument arg = (Argument )arguments->data[u];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	698 Argument *param = Argument::getNth(tf->parameters, u);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	699 if (arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	700 { if (!arg->type->equals(param->type))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	701 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	702 /* Cannot resolve argument types. Indicate an
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	703 * error by setting the number of arguments to 0.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	704 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	705 arguments->dim = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	706 goto Lmatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	707 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	708 continue;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	709 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	710 arg->type = param->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	711 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	712 Lmatch:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	713 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	714
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	715 Lnomatch:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	716 return 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	717 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	718
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	719 /**************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	720 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	721
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	722 static void templateResolve(Match m, TemplateDeclaration td, Scope sc, Loc loc, Objects targsi, Expressions *arguments)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	723 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	724 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	725
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	726 assert(td);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	727 fd = td->deduceFunctionTemplate(sc, loc, targsi, NULL, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	728 if (!fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	729 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	730 m->anyf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	731 if (m->last >= MATCHexact)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	732 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	733 m->nextf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	734 m->count++;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	735 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	736 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	737 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	738 m->last = MATCHexact;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	739 m->lastf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	740 m->count = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	741 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	742 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	743

Mercurial > projects > ldc

annotate dmd/opover.c @ 1578:1dee66f6ec0b