F # оценка оценки проблема

Question

У меня проблема с оценкой котировок F # Powerpack.

open Microsoft.FSharp.Linq.QuotationEvaluation 

let print x = System.Console.WriteLine(sprintf "%A" x) 

type record = { x:int; y:int } 
let val1 = { x = 1; y = 1; } 
let val2 = { x = 1; y = 1; } 
let result = val1 = val2 
print result 

let quote = <@ let value1 = { x = 1; y = 1; } 
       let value2 = { x = 1; y = 1; } 
       let result2 = value1 = value2 
       result2 @> 

print (quote.EvalUntyped()) 

Первый результат верен, как и следовало ожидать. Вторая ложь. Это ошибка, или я чего-то не хватает?

Answer 1

Это похоже на ошибку. Кто-то из команды F #, вероятно, даст четкий ответ на это :-). В то же время, это простой способ обхода, который вы можете использовать. Проблема заключается в компиляции оператора =. Вы можете определить свой собственный оператор (или функцию) и назовем этот оператор из цитируемого кода:

let (><) a b = a = b 
let quote = 
<@ let value1 = { x = 1; y = 1; } 
    let value2 = { x = 1; y = 1; } 
    let result2 = value1 >< value2 
    result2 @>  
print (quote.EvalUntyped()) 

Вместо того чтобы генерировать неправильный вызов стандартного = оператора, это будет генерировать код, который вызывает пользовательский оператор (который затем выполняется сравнение как стандартного, правильно скомпилированного кода F #), поэтому это дает ожидаемый результат.