중첩 된 인용문과 중첩 인용문을 구별 할 수 있습니까?

Question

예를 들어, 주어진 <@ let x = <@ 1 @> in x @>과 <@ let x = <@@ 1 @@> in x @>은 모두 Patterns.Let(_, (Patterns.Quote(_) as q), _) -> q과 일치 할 수 있지만 입력 한 유형과 유형을 지정하지 않은 것을 구별 할 수는 없습니다 q.

Answer 1

흥미 롭습니다. 견적은 항상 입력 된 양식에 저장되는 것 같습니다.

인용문 내에있는 <@@ 1 @@> 하위 표현식의 유형은 항상 Expr<int>입니다.

match q1 with 
| Patterns.Let(v, (Patterns.Quote(_) as q), _) when v.Type = typeof<Expr> -> "untyped" 
| Patterns.Let(_, (Patterns.Quote(_) as q), _) -> "typed" 
| _ -> "other" 

하지만 일반적으로 두 경우를 구분하기 위해 사용하는 방법을 잘 모르겠어요 : 그러나 변수 x의 유형은 두 인용문에서 다르다. 문맥을 보면 (너무 많은 가능한 문맥이 있습니다 ...)