存在量词会无声地破坏Template Haskell(makeLenses).为什么？

Question

我有这个文件:

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ExistentialQuantification #-}

module Toy where

import Control.Lens

data Bar = Bar { _barish :: String }
data Foo = forall a. Show a => Foo { _fooish :: a }

$(makeLenses ''Bar)
$(makeLenses ''Foo)

x = barish
y = fooish

我收到以下错误消息:

Toy.hs:15:5:
    Not in scope: `fooish'
    Perhaps you meant `_fooish' (line 9)

这是我第一次尝试使用存在量词; 我不知道为什么这些功能组合会中断.更令人担忧的是,为什么我没有收到有关makeLenses失败的错误消息？我跑了runhaskell Toy.hs

Answer 1

你实际上不能使用你的函数_fooish.如果您尝试这样做,则会收到错误消息:

Cannot use record selector `_fooish' as a function due to escaped type variables
Probable fix: use pattern-matching syntax instead
In the expression: _fooish

所以镜头不能为你生成镜头.为什么不给出错误？好吧,有时候你有额外的领域可以生成镜头.这似乎不是这里的情况,但我认为通常makeLenses只是跳过一切不可能做的事情并试图产生其余部分.