1

Resolved

scope isn't started for a record field in a pattern match when a whole-record alias is defined

description

sample case:
 
    let code =
        "type AParameters = { a : int }\n" +
        "type X = | A of AParameters | B\n" +
        "let f (r : X) =\n" +
        "    match r with\n" +
        "    | X.A ( { a = aValue } as t )-> aValue\n" +
        "    | X.B -> 0\n"
 
while t's scope is bound correctly, the creation of aValue in scope is ignored.

comments

holoed wrote May 12, 2011 at 10:59 PM

73282 Fixed

wrote Feb 13, 2013 at 11:06 PM

wrote May 16, 2013 at 4:50 AM

wrote May 16, 2013 at 4:50 AM

wrote Jun 14, 2013 at 8:03 AM