705830 - [ASC BUG] ASC computes wrong type for typeof operator, causes errors in strict mode

Status: VERIFIED FIXED

(Tamarin Graveyard :: Tools, defect, P1)

Description

[Erik Tierney]

New ASC in strict mode will give errors for code like:

var foo:Array;
var x:String = typeof(foo);

produces:

[Compiler] Error #1067: Implicit coercion of a value of type Array to an unrelated type String.
   test.as, Ln 2, Col 27: 
   var x:String = typeof(foo);
   ..........................^

Comment 1

[Erik Tierney]

Found this while looking at using new ASC in flex framework - if you change the type anno of 'foo' the type in the error changes as well.

Comment 2

[Lars T Hansen]

Blocks initial release of float/float4 -> P1.

Comment 3

[Lars T Hansen]

Clearly, evaluate(Context, UnaryExpressionNode) returns the wrong "val" for typeof.

Comment 4

[Lars T Hansen]

Looks like a simple workaround here, modifying "val" to be an indeterminate string value in the case of typeof, is sufficient.  Still testing.

Comment 5

[Lars T Hansen]

Probable fix landed here:

changeset:   69:77aa9540127a
tag:         tip
parent:      66:61574cff5b31
parent:      68:f6b50df1bcc5
user:        Lars T Hansen <[e-mail]>
date:        Tue Nov 29 16:04:36 2011 +0100
summary:     Merge

changeset:   66:61574cff5b31
user:        Lars T Hansen <[e-mail]>
date:        Tue Nov 29 16:02:26 2011 +0100
summary:     Fix 705830 - [ASC BUG] ASC computes wrong type for typeof operator, causes errors in strict mode

Comment 6

[Brent Baker]

Testmedia added in:

changeset:   7050:237162347a88
parent:      7048:2e3b3a868c0a
user:        Lars T Hansen <[e-mail]>
date:        Thu Dec 08 10:36:55 2011 +0100
summary:     Fix 708300 - [ASC BUG] ASC strict mode error comparing (float + int) > float, update asc.jar to asc-float 83:b67b2caffa58