Commit8ddd801

committed

fix 299

1 parent1251430 commit8ddd801Copy full SHA for 8ddd801

File tree

+40

-1

lines changed

+40

-1

lines changed

Lines changed: 17 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1001,7 +1001,7 @@ let ConvMethodBase cenv env (methName, v:Val) =`
`1001`	`1001`	`letparentTyconR= ConvTyconRef cenv v.TopValActualParent m`
`1002`	`1002`
`1003`	`1003`	`match v.MemberInfowith`
`1004`		`-\| Some(vspr)whennot v.IsExtensionMember->`
	`1004`	`+\| Somevsprwhennot v.IsExtensionMember->`
`1005`	`1005`
`1006`	`1006`	`letvref= mkLocalValRef v`
`1007`	`1007`	`lettps,argInfos,retTy,_= GetTypeOfMemberInMemberForm cenv.g vref`
`@@ -1028,6 +1028,22 @@ let ConvMethodBase cenv env (methName, v:Val) =`
`1028`	`1028`	`methRetType= methRetTypeR;`
`1029`	`1029`	`methName= methName;`
`1030`	`1030`	`numGenericArgs=numGenericArgs}`
	`1031`	`+`
	`1032`	`+\|_when v.IsExtensionMember->`
	`1033`	`+`
	`1034`	`+lettps,argInfos,retTy,_= GetTopValTypeInCompiledForm cenv.g v.ValReprInfo.Value v.Type v.Range`
	`1035`	`+letargTys= argInfos\|> List.concat\|> List.map fst`
	`1036`	`+letenvinner= BindFormalTypars env tps`
	`1037`	`+letmethArgTypesR= ConvTypes cenv envinner m argTys`
	`1038`	`+letmethRetTypeR= ConvReturnType cenv envinner m retTy`
	`1039`	`+letnumGenericArgs= tps.Length`
	`1040`	`+`
	`1041`	`+ QP.MethodBaseData.Method`
	`1042`	`+{ methParent= parentTyconR`
	`1043`	`+ methArgTypes= methArgTypesR`
	`1044`	`+ methRetType= methRetTypeR`
	`1045`	`+ methName= methName`
	`1046`	`+ numGenericArgs=numGenericArgs}`
`1031`	`1047`	`\|_->`
`1032`	`1048`
`1033`	`1049`	`QP.MethodBaseData.ModuleDefn`

Lines changed: 23 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -2684,6 +2684,29 @@ module NestedQuotations =`
`2684`	`2684`
`2685`	`2685`	`runAll()`
`2686`	`2686`
	`2687`	`+moduleExtensionMembersWithSameName=`
	`2688`	`+letcheck nm a b=ifnot(a= b)then printfn"%s failed, expected%A, got%A" nm b a`
	`2689`	`+openFSharp.Quotations`
	`2690`	`+typeSystem.Objectwith`
	`2691`	`+[<ReflectedDefinition>]`
	`2692`	`+memberthis.Add(x)= x`
	`2693`	`+[<ReflectedDefinition>]`
	`2694`	`+memberthis.Add(x,y)= x+ y`
	`2695`	`+`
	`2696`	`+letrunAll()=`
	`2697`	`+match<@ obj().Add(2)@>with`
	`2698`	`+\|(Patterns.Call(_, m,_))->`
	`2699`	`+lettext= m\|> Expr.TryGetReflectedDefinition\|> sprintf"%A"`
	`2700`	`+ check"clewwenf094" text"Some Lambda (this, Lambda (x, x))"`
	`2701`	`+\|_->()`
	`2702`	`+`
	`2703`	`+match<@ obj().Add(2,3)@>with`
	`2704`	`+\|(Patterns.Call(_, m,_))->`
	`2705`	`+lettext= m\|> Expr.TryGetReflectedDefinition\|> sprintf"%A"`
	`2706`	`+ check"clewwenf095"(m.GetParameters().Length)3`
	`2707`	`+\|_->()`
	`2708`	`+`
	`2709`	`+ runAll()`
`2687`	`2710`
`2688`	`2711`	`letaa=`
`2689`	`2712`	`ifnot failures.IsEmptythen(printfn"Test Failed, failures =%A" failures; exit1)`

Comments

(0)