anchor.diff:          member __.TranslateQuotationToCode qexprf (paramNames: string[]) (argExprs: Expr[]) =
               // Use the real variable names instead of indices, to improve output of Debug.fs
               // Add let bindings for arguments to ensure that arguments will be evaluated
  -            let vars = argExprs |> Array.mapi (fun i e -> Quotations.Var(paramNames.[i], e.Type))
  +            let vars = argExprs |> Array.mapi (fun i e -> Var(paramNames.[i], e.Type))
               let expr = qexprf ([for v in vars -> Expr.Var v])
   
               let pairs = Array.zip argExprs vars
  
positive.code:                      newT
                  | _ ->
                      let msg =
                          if toTgt then sprintf "The type '%O' utilized by a type provider was not found in reference assembly set '%A'. You may be referencing a portable profile which contains fewer types than those needed by the type provider you are using." t (getTargetAssemblies())
                          elif getSourceAssemblies().Length = 0 then sprintf "A failure occured while determining compilation references"
                          else sprintf "The runtime-time type '%O' utilized by a type provider was not found in the compilation-time assembly set '%A'. You may be referencing a portable profile which contains fewer types than those needed by the type provider you are using. Please report this problem to the project site for the type provider." t (getSourceAssemblies())
                      failwith msg
  
  
  
negative.code:         override __.GetGenericArguments() = [||]
          override __.ToString() = this.Name
  
          override x.Module = x.Assembly.ManifestModule
  
          override __.GUID = Guid.Empty
          override __.GetCustomAttributes(_inherit) = emptyAttributes
          override __.GetCustomAttributes(_attributeType, _inherit) = emptyAttributes
  