member localRep.IsValWithRepresentation (v:Val) =

localRep.ValsWithRepresentation.Contains(v)

member localRep.IsValRepresentedAsLocalVar (v:Val) =

match localRep.LookupRepr v with

| InVar false -> true

| _ -> false

/// Make the elaborated expression that represents a use of a

/// a "let v = ..." class binding

member localRep.MakeValueLookup thisValOpt tinst safeStaticInitInfo v tyargs m =

// (c) rely on the fact that there are no 'let' bindings prior to the inherits expr.

let inheritsExpr =

match ctorInfo.InstanceCtorSafeThisValOpt with

| None ->

inheritsExpr

| Some v ->

| Some v when not (reps.IsValRepresentedAsLocalVar (v)) ->

// Rewrite the expression to convert it to a load of a field if needed.

// We are allowed to load fields from our own object even though we haven't called

// the super class constructor yet.

let ldexpr = reps.FixupIncrClassExprPhase2C (Some(thisVal)) safeStaticInitInfo thisTyInst (exprForVal m v)

mkInvisibleLet m v ldexpr inheritsExpr

| _ ->

inheritsExpr

let spAtSuperInit = (if inheritsIsVisible then SequencePointsAtSeq else SuppressSequencePointOnExprOfSequential)

mkSequential spAtSuperInit m inheritsExpr ctorBody

member valT= t

typeBroken()as bself=

inherit Parent(bself)

typeOk()as self=

inherit Parent<unit->Ok>(fun()-> self)

inherit Parent

new()as gself={inherit Parent(gself)}

inherit Parent<unit->Ok>

new()as self={inherit Parent<unit->Ok>(fun()-> self)}

letr= Implicit.Broken()

|:? InvalidOperationException->true

letr= Explicit.Broken()

|:? InvalidOperationException->true

letr= Implicit.Ok().T()

letr= Explicit.Ok().T()

letresults=[ case1(); case2(); case3(); case4()]

doifnot(List.forall id results)then exit1else exit0

SOURCE=AlternateGenericTypeSyntax01.fs# AlternateGenericTypeSyntax01.fs

SOURCE=MutuallyRecursive01.fs# MutuallyRecursive01.fs

SOURCE=ImplicitCtorsCallingBaseclassPassingSelf.fs # ImplicitCtorsCallingBaseclassPassingSelf.fs

SOURCE=ExplicitCtors01.fs# ExplicitCtors01.fs

SOURCE=WarningforLessGenericthanIndicated.fs# WarningforLessGenericthanIndicated.fs

SOURCE=E_ExtraneousFields01.fs SCFLAGS="--test:ErrorRanges"# E_ExtraneousFields01.fs