Unquote 레이즈의 두 번째 매개 변수는 무엇입니까? 인용을 끝내 <a href="https://github.com/SwensenSoftware/unquote/wiki/UserGuide" rel="nofollow">userguide</a> 거기

Question

는 예를 들어 내가 이해하지 않는, 주어진 :

// raisesWith : Expr -> (#exn -> Expr<bool>) -> unit 
raisesWith<System.NullReferenceException> <@ ("s":string).Length @> (fun e -> <@ e.ToString() = null @>) 

당신은 짧은 설명과 또 다른 예를 줄 수 있습니까?

Answer 1

다음 예에서와 같이 오류에 주장 할 수

raisesWith<DivideByZeroException> <@ 1/0 @> (fun e -> <@ e.Message = "Attempted to divide by zero." @>)