2
나는 실행하는 경우 :`[p |`에`zs`를 어떻게 대치합니까? zs @ (z : _) |]`나는 자신을 생성하는 이름을 가지고 있습니까?
> runQ [p| [email protected](z:_) |]
AsP zs_46 (InfixP (VarP z_47) GHC.Types.: WildP)
내가 나 자신을 생성 이름 zs
및 z
를 교체하고 싶습니다. 나는 z
를 대체 할 수
> let z = mkName "z"
> runQ [p| [email protected]($(varP z):_) |]
AsP zs_48 (InfixP (VarP z) GHC.Types.: WildP)
하지만 zs
을 교체하는 방법을 알아낼 수 없습니다. 따옴표 안에 그것을 할 수있는 방법이 있습니까 아니면 asP
, 등등 리조트해야합니까?