Path: utzoo!attcan!uunet!lll-winken!ames!mailrus!uflorida!haven!mimsy!chris
From: chris@mimsy.UUCP (Chris Torek)
Newsgroups: comp.lang.misc
Subject: Re: Expression Based Language
Message-ID: <15472@mimsy.UUCP>
Date: 14 Jan 89 18:10:04 GMT
References: <3300001@uxg.cso.uiuc.edu> <3290002@hpctdls.HP.COM> <2734@ficc.uu.net>
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Lines: 11

[re type-matching in multipart expression values]
>>Context outside of the expression itself?  I think that's dangerous ground.

In article <2734@ficc.uu.net> peter@ficc.uu.net (Peter da Silva) writes:
>That's the way it currently works for ?: [in C].

No: in `a ? b : c', the type of the result is based only on the
types of `b' and `c', much as though b and c were to be added.
-- 
In-Real-Life: Chris Torek, Univ of MD Comp Sci Dept (+1 301 454 7163)
Domain:	chris@mimsy.umd.edu	Path:	uunet!mimsy!chris